diff --git a/lib/utils.cairo b/lib/utils.cairo
index 5892aec..8d3a6b3 100644
--- a/lib/utils.cairo
+++ b/lib/utils.cairo
@@ -968,3 +968,262 @@ func pow2alloc128() -> (array: felt*) {
     dw 0x80000000000000000000000000000000;
     dw 0x100000000000000000000000000000000;
 }
+
+func pow2alloc251() -> (array: felt*) {
+    let (data_address) = get_label_location(data);
+    return (data_address,);
+
+    data:
+    dw 0x1;
+    dw 0x2;
+    dw 0x4;
+    dw 0x8;
+    dw 0x10;
+    dw 0x20;
+    dw 0x40;
+    dw 0x80;
+    dw 0x100;
+    dw 0x200;
+    dw 0x400;
+    dw 0x800;
+    dw 0x1000;
+    dw 0x2000;
+    dw 0x4000;
+    dw 0x8000;
+    dw 0x10000;
+    dw 0x20000;
+    dw 0x40000;
+    dw 0x80000;
+    dw 0x100000;
+    dw 0x200000;
+    dw 0x400000;
+    dw 0x800000;
+    dw 0x1000000;
+    dw 0x2000000;
+    dw 0x4000000;
+    dw 0x8000000;
+    dw 0x10000000;
+    dw 0x20000000;
+    dw 0x40000000;
+    dw 0x80000000;
+    dw 0x100000000;
+    dw 0x200000000;
+    dw 0x400000000;
+    dw 0x800000000;
+    dw 0x1000000000;
+    dw 0x2000000000;
+    dw 0x4000000000;
+    dw 0x8000000000;
+    dw 0x10000000000;
+    dw 0x20000000000;
+    dw 0x40000000000;
+    dw 0x80000000000;
+    dw 0x100000000000;
+    dw 0x200000000000;
+    dw 0x400000000000;
+    dw 0x800000000000;
+    dw 0x1000000000000;
+    dw 0x2000000000000;
+    dw 0x4000000000000;
+    dw 0x8000000000000;
+    dw 0x10000000000000;
+    dw 0x20000000000000;
+    dw 0x40000000000000;
+    dw 0x80000000000000;
+    dw 0x100000000000000;
+    dw 0x200000000000000;
+    dw 0x400000000000000;
+    dw 0x800000000000000;
+    dw 0x1000000000000000;
+    dw 0x2000000000000000;
+    dw 0x4000000000000000;
+    dw 0x8000000000000000;
+    dw 0x10000000000000000;
+    dw 0x20000000000000000;
+    dw 0x40000000000000000;
+    dw 0x80000000000000000;
+    dw 0x100000000000000000;
+    dw 0x200000000000000000;
+    dw 0x400000000000000000;
+    dw 0x800000000000000000;
+    dw 0x1000000000000000000;
+    dw 0x2000000000000000000;
+    dw 0x4000000000000000000;
+    dw 0x8000000000000000000;
+    dw 0x10000000000000000000;
+    dw 0x20000000000000000000;
+    dw 0x40000000000000000000;
+    dw 0x80000000000000000000;
+    dw 0x100000000000000000000;
+    dw 0x200000000000000000000;
+    dw 0x400000000000000000000;
+    dw 0x800000000000000000000;
+    dw 0x1000000000000000000000;
+    dw 0x2000000000000000000000;
+    dw 0x4000000000000000000000;
+    dw 0x8000000000000000000000;
+    dw 0x10000000000000000000000;
+    dw 0x20000000000000000000000;
+    dw 0x40000000000000000000000;
+    dw 0x80000000000000000000000;
+    dw 0x100000000000000000000000;
+    dw 0x200000000000000000000000;
+    dw 0x400000000000000000000000;
+    dw 0x800000000000000000000000;
+    dw 0x1000000000000000000000000;
+    dw 0x2000000000000000000000000;
+    dw 0x4000000000000000000000000;
+    dw 0x8000000000000000000000000;
+    dw 0x10000000000000000000000000;
+    dw 0x20000000000000000000000000;
+    dw 0x40000000000000000000000000;
+    dw 0x80000000000000000000000000;
+    dw 0x100000000000000000000000000;
+    dw 0x200000000000000000000000000;
+    dw 0x400000000000000000000000000;
+    dw 0x800000000000000000000000000;
+    dw 0x1000000000000000000000000000;
+    dw 0x2000000000000000000000000000;
+    dw 0x4000000000000000000000000000;
+    dw 0x8000000000000000000000000000;
+    dw 0x10000000000000000000000000000;
+    dw 0x20000000000000000000000000000;
+    dw 0x40000000000000000000000000000;
+    dw 0x80000000000000000000000000000;
+    dw 0x100000000000000000000000000000;
+    dw 0x200000000000000000000000000000;
+    dw 0x400000000000000000000000000000;
+    dw 0x800000000000000000000000000000;
+    dw 0x1000000000000000000000000000000;
+    dw 0x2000000000000000000000000000000;
+    dw 0x4000000000000000000000000000000;
+    dw 0x8000000000000000000000000000000;
+    dw 0x10000000000000000000000000000000;
+    dw 0x20000000000000000000000000000000;
+    dw 0x40000000000000000000000000000000;
+    dw 0x80000000000000000000000000000000;
+    dw 0x100000000000000000000000000000000;
+    dw 0x200000000000000000000000000000000;
+    dw 0x400000000000000000000000000000000;
+    dw 0x800000000000000000000000000000000;
+    dw 0x1000000000000000000000000000000000;
+    dw 0x2000000000000000000000000000000000;
+    dw 0x4000000000000000000000000000000000;
+    dw 0x8000000000000000000000000000000000;
+    dw 0x10000000000000000000000000000000000;
+    dw 0x20000000000000000000000000000000000;
+    dw 0x40000000000000000000000000000000000;
+    dw 0x80000000000000000000000000000000000;
+    dw 0x100000000000000000000000000000000000;
+    dw 0x200000000000000000000000000000000000;
+    dw 0x400000000000000000000000000000000000;
+    dw 0x800000000000000000000000000000000000;
+    dw 0x1000000000000000000000000000000000000;
+    dw 0x2000000000000000000000000000000000000;
+    dw 0x4000000000000000000000000000000000000;
+    dw 0x8000000000000000000000000000000000000;
+    dw 0x10000000000000000000000000000000000000;
+    dw 0x20000000000000000000000000000000000000;
+    dw 0x40000000000000000000000000000000000000;
+    dw 0x80000000000000000000000000000000000000;
+    dw 0x100000000000000000000000000000000000000;
+    dw 0x200000000000000000000000000000000000000;
+    dw 0x400000000000000000000000000000000000000;
+    dw 0x800000000000000000000000000000000000000;
+    dw 0x1000000000000000000000000000000000000000;
+    dw 0x2000000000000000000000000000000000000000;
+    dw 0x4000000000000000000000000000000000000000;
+    dw 0x8000000000000000000000000000000000000000;
+    dw 0x10000000000000000000000000000000000000000;
+    dw 0x20000000000000000000000000000000000000000;
+    dw 0x40000000000000000000000000000000000000000;
+    dw 0x80000000000000000000000000000000000000000;
+    dw 0x100000000000000000000000000000000000000000;
+    dw 0x200000000000000000000000000000000000000000;
+    dw 0x400000000000000000000000000000000000000000;
+    dw 0x800000000000000000000000000000000000000000;
+    dw 0x1000000000000000000000000000000000000000000;
+    dw 0x2000000000000000000000000000000000000000000;
+    dw 0x4000000000000000000000000000000000000000000;
+    dw 0x8000000000000000000000000000000000000000000;
+    dw 0x10000000000000000000000000000000000000000000;
+    dw 0x20000000000000000000000000000000000000000000;
+    dw 0x40000000000000000000000000000000000000000000;
+    dw 0x80000000000000000000000000000000000000000000;
+    dw 0x100000000000000000000000000000000000000000000;
+    dw 0x200000000000000000000000000000000000000000000;
+    dw 0x400000000000000000000000000000000000000000000;
+    dw 0x800000000000000000000000000000000000000000000;
+    dw 0x1000000000000000000000000000000000000000000000;
+    dw 0x2000000000000000000000000000000000000000000000;
+    dw 0x4000000000000000000000000000000000000000000000;
+    dw 0x8000000000000000000000000000000000000000000000;
+    dw 0x10000000000000000000000000000000000000000000000;
+    dw 0x20000000000000000000000000000000000000000000000;
+    dw 0x40000000000000000000000000000000000000000000000;
+    dw 0x80000000000000000000000000000000000000000000000;
+    dw 0x100000000000000000000000000000000000000000000000;
+    dw 0x200000000000000000000000000000000000000000000000;
+    dw 0x400000000000000000000000000000000000000000000000;
+    dw 0x800000000000000000000000000000000000000000000000;
+    dw 0x1000000000000000000000000000000000000000000000000;
+    dw 0x2000000000000000000000000000000000000000000000000;
+    dw 0x4000000000000000000000000000000000000000000000000;
+    dw 0x8000000000000000000000000000000000000000000000000;
+    dw 0x10000000000000000000000000000000000000000000000000;
+    dw 0x20000000000000000000000000000000000000000000000000;
+    dw 0x40000000000000000000000000000000000000000000000000;
+    dw 0x80000000000000000000000000000000000000000000000000;
+    dw 0x100000000000000000000000000000000000000000000000000;
+    dw 0x200000000000000000000000000000000000000000000000000;
+    dw 0x400000000000000000000000000000000000000000000000000;
+    dw 0x800000000000000000000000000000000000000000000000000;
+    dw 0x1000000000000000000000000000000000000000000000000000;
+    dw 0x2000000000000000000000000000000000000000000000000000;
+    dw 0x4000000000000000000000000000000000000000000000000000;
+    dw 0x8000000000000000000000000000000000000000000000000000;
+    dw 0x10000000000000000000000000000000000000000000000000000;
+    dw 0x20000000000000000000000000000000000000000000000000000;
+    dw 0x40000000000000000000000000000000000000000000000000000;
+    dw 0x80000000000000000000000000000000000000000000000000000;
+    dw 0x100000000000000000000000000000000000000000000000000000;
+    dw 0x200000000000000000000000000000000000000000000000000000;
+    dw 0x400000000000000000000000000000000000000000000000000000;
+    dw 0x800000000000000000000000000000000000000000000000000000;
+    dw 0x1000000000000000000000000000000000000000000000000000000;
+    dw 0x2000000000000000000000000000000000000000000000000000000;
+    dw 0x4000000000000000000000000000000000000000000000000000000;
+    dw 0x8000000000000000000000000000000000000000000000000000000;
+    dw 0x10000000000000000000000000000000000000000000000000000000;
+    dw 0x20000000000000000000000000000000000000000000000000000000;
+    dw 0x40000000000000000000000000000000000000000000000000000000;
+    dw 0x80000000000000000000000000000000000000000000000000000000;
+    dw 0x100000000000000000000000000000000000000000000000000000000;
+    dw 0x200000000000000000000000000000000000000000000000000000000;
+    dw 0x400000000000000000000000000000000000000000000000000000000;
+    dw 0x800000000000000000000000000000000000000000000000000000000;
+    dw 0x1000000000000000000000000000000000000000000000000000000000;
+    dw 0x2000000000000000000000000000000000000000000000000000000000;
+    dw 0x4000000000000000000000000000000000000000000000000000000000;
+    dw 0x8000000000000000000000000000000000000000000000000000000000;
+    dw 0x10000000000000000000000000000000000000000000000000000000000;
+    dw 0x20000000000000000000000000000000000000000000000000000000000;
+    dw 0x40000000000000000000000000000000000000000000000000000000000;
+    dw 0x80000000000000000000000000000000000000000000000000000000000;
+    dw 0x100000000000000000000000000000000000000000000000000000000000;
+    dw 0x200000000000000000000000000000000000000000000000000000000000;
+    dw 0x400000000000000000000000000000000000000000000000000000000000;
+    dw 0x800000000000000000000000000000000000000000000000000000000000;
+    dw 0x1000000000000000000000000000000000000000000000000000000000000;
+    dw 0x2000000000000000000000000000000000000000000000000000000000000;
+    dw 0x4000000000000000000000000000000000000000000000000000000000000;
+    dw 0x8000000000000000000000000000000000000000000000000000000000000;
+    dw 0x10000000000000000000000000000000000000000000000000000000000000;
+    dw 0x20000000000000000000000000000000000000000000000000000000000000;
+    dw 0x40000000000000000000000000000000000000000000000000000000000000;
+    dw 0x80000000000000000000000000000000000000000000000000000000000000;
+    dw 0x100000000000000000000000000000000000000000000000000000000000000;
+    dw 0x200000000000000000000000000000000000000000000000000000000000000;
+    dw 0x400000000000000000000000000000000000000000000000000000000000000;
+    dw 0x800000000000000000000000000000000000000000000000000000000000000;
+}