magic_struct(struct1,0,0,long)
magic_struct(struct2,4,1,ptrT(arrT(ptrT(structT(struct3)))))
magic_struct(struct2,0,0,long)
magic_struct(struct3,4,1,long)
magic_struct(struct3,0,0,long)
magic_phi(DestroyTable,[x14],[long],[y212],[long],label_.BB000,[label_.BB000-return],1)
magic_phi(Hash,[x4,x5],[long,long],[y90,y91,y92],[long,long,long],label_.BB000,[label_.BB000-assign(lvar(y92),lval(lvar(x4)),assign(lvar(y92),binop(div,lval(lvar(y92)),lval(lvar(x5))),assign(lvar(y92),binop(mul,lval(lvar(y92)),lval(lvar(x5))),assign(lvar(y91),lval(lvar(x4)),assign(lvar(y91),binop(sub,lval(lvar(y91)),lval(lvar(y92))),assign(lvar(y90),lval(lvar(y91)),return))))))],1)
magic_phi(NextPrime,[x3],[long],[y79,y80,y81,y82,y83,y84,y85,y86,y87,y88,y89],[long,long,long,long,long,long,long,long,long,long,long],label_.BB000,[label_.BB000-assign(lvar(y81),lval(lvar(x3)),assign(lvar(y81),binop(and,lval(lvar(y81)),lit(1)),if(y81,label_.BB5,assign(lvar(x3),binop(add,lval(lvar(x3)),lit(1)),assign(lvar(y80),lit(3),goto(label_.BB3)))))),label_.BB0-assign(lvar(y80),lit(3),goto(label_.BB3)),label_.BB1-assign(lvar(y83),lval(lvar(x3)),assign(lvar(y83),binop(div,lval(lvar(y83)),lval(lvar(y80))),assign(lvar(y83),binop(mul,lval(lvar(y83)),lval(lvar(y80))),assign(lvar(y82),lval(lvar(x3)),assign(lvar(y82),binop(sub,lval(lvar(y82)),lval(lvar(y83))),if(y82,label_.BB2,goto(label_.BB4))))))),label_.BB2-assign(lvar(y84),lval(lvar(y80)),assign(lvar(y84),binop(add,lval(lvar(y84)),lit(2)),assign(lvar(y80),lval(lvar(y84)),assign(lvar(y85),lval(lvar(y80)),assign(lvar(y85),binop(mul,lval(lvar(y85)),lval(lvar(y80))),assign(lvar(y86),lval(lvar(x3)),assign(lvar(y86),binop(sub,lval(lvar(y86)),lval(lvar(y85))),assign(lvar(y86),binop(mul,lval(lvar(y86)),lit(-1)),assign(lvar(y86),binop(add,lval(lvar(y86)),lit(-1)),assign(lvar(y87),lval(lvar(y85)),assign(lvar(y88),lval(lvar(y85)),assign(lvar(y87),binop(or,lval(lvar(y87)),lval(lvar(x3))),assign(lvar(y88),binop(and,lval(lvar(y88)),lval(lvar(x3))),assign(lvar(y87),binop(sub,lval(lvar(y87)),lval(lvar(y88))),assign(lvar(y87),binop(or,lval(lvar(y87)),lval(lvar(y86))),assign(lvar(y86),lval(lvar(x3)),assign(lvar(y86),binop(mul,lval(lvar(y86)),lit(-1)),assign(lvar(y86),binop(add,lval(lvar(y86)),lit(-1)),assign(lvar(y86),binop(or,lval(lvar(y86)),lval(lvar(y85))),assign(lvar(y86),binop(and,lval(lvar(y86)),lval(lvar(y87))),assign(lvar(y86),binop(sr,lval(lvar(y86)),lit(31)),if(y86,label_.BB1,assign(lvar(y79),lval(lvar(x3)),goto(label_.BB6)))))))))))))))))))))))),label_.BB3-assign(lvar(y85),lval(lvar(y80)),assign(lvar(y85),binop(mul,lval(lvar(y85)),lval(lvar(y80))),assign(lvar(y86),lval(lvar(x3)),assign(lvar(y86),binop(sub,lval(lvar(y86)),lval(lvar(y85))),assign(lvar(y86),binop(mul,lval(lvar(y86)),lit(-1)),assign(lvar(y86),binop(add,lval(lvar(y86)),lit(-1)),assign(lvar(y87),lval(lvar(y85)),assign(lvar(y88),lval(lvar(y85)),assign(lvar(y87),binop(or,lval(lvar(y87)),lval(lvar(x3))),assign(lvar(y88),binop(and,lval(lvar(y88)),lval(lvar(x3))),assign(lvar(y87),binop(sub,lval(lvar(y87)),lval(lvar(y88))),assign(lvar(y87),binop(or,lval(lvar(y87)),lval(lvar(y86))),assign(lvar(y86),lval(lvar(x3)),assign(lvar(y86),binop(mul,lval(lvar(y86)),lit(-1)),assign(lvar(y86),binop(add,lval(lvar(y86)),lit(-1)),assign(lvar(y86),binop(or,lval(lvar(y86)),lval(lvar(y85))),assign(lvar(y86),binop(and,lval(lvar(y86)),lval(lvar(y87))),assign(lvar(y86),binop(sr,lval(lvar(y86)),lit(31)),if(y86,label_.BB1,assign(lvar(y79),lval(lvar(x3)),goto(label_.BB6))))))))))))))))))))),label_.BB4-assign(lvar(y89),lval(lvar(x3)),assign(lvar(y89),binop(add,lval(lvar(y89)),lit(2)),assign(lvar(x3),lval(lvar(y89)),goto(label_.BB0)))),label_.BB5-goto(label_.BB0),label_.BB6-return],1)
magic_phi(hashquad.istr5,[],[],[y75,y76,y77,y78],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y76),lit(2),assign(lvar(y75),newArr(byte,binop(mul,lval(lvar(y76)),lit(1))),assign(lvar(y77),lval(lvar(y75)),assign(lvar(y78),lit(10),assign(arr(y77,lit(0)),lval(lvar(y78)),assign(lvar(y77),binop(add,lval(lvar(y77)),lit(1)),assign(lvar(y78),lit(0),assign(arr(y77,lit(0)),lval(lvar(y78)),return))))))))],1)
magic_phi(hashquad.istr4,[],[],[y71,y72,y73,y74],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y72),lit(16),assign(lvar(y71),newArr(byte,binop(mul,lval(lvar(y72)),lit(1))),assign(lvar(y73),lval(lvar(y71)),assign(lvar(y74),lit(79),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(117),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(116),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(32),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(111),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(102),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(32),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(115),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(112),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(97),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(99),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(101),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(33),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(33),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(33),assign(arr(y73,lit(0)),lval(lvar(y74)),assign(lvar(y73),binop(add,lval(lvar(y73)),lit(1)),assign(lvar(y74),lit(0),assign(arr(y73,lit(0)),lval(lvar(y74)),return))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(hashquad.istr3,[],[],[y67,y68,y69,y70],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y68),lit(2),assign(lvar(y67),newArr(byte,binop(mul,lval(lvar(y68)),lit(1))),assign(lvar(y69),lval(lvar(y67)),assign(lvar(y70),lit(10),assign(arr(y69,lit(0)),lval(lvar(y70)),assign(lvar(y69),binop(add,lval(lvar(y69)),lit(1)),assign(lvar(y70),lit(0),assign(arr(y69,lit(0)),lval(lvar(y70)),return))))))))],1)
magic_phi(hashquad.istr2,[],[],[y63,y64,y65,y66],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y64),lit(16),assign(lvar(y63),newArr(byte,binop(mul,lval(lvar(y64)),lit(1))),assign(lvar(y65),lval(lvar(y63)),assign(lvar(y66),lit(79),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(117),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(116),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(32),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(111),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(102),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(32),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(115),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(112),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(97),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(99),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(101),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(33),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(33),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(33),assign(arr(y65,lit(0)),lval(lvar(y66)),assign(lvar(y65),binop(add,lval(lvar(y65)),lit(1)),assign(lvar(y66),lit(0),assign(arr(y65,lit(0)),lval(lvar(y66)),return))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(hashquad.istr1,[],[],[y59,y60,y61,y62],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y60),lit(2),assign(lvar(y59),newArr(byte,binop(mul,lval(lvar(y60)),lit(1))),assign(lvar(y61),lval(lvar(y59)),assign(lvar(y62),lit(10),assign(arr(y61,lit(0)),lval(lvar(y62)),assign(lvar(y61),binop(add,lval(lvar(y61)),lit(1)),assign(lvar(y62),lit(0),assign(arr(y61,lit(0)),lval(lvar(y62)),return))))))))],1)
magic_phi(hashquad.istr0,[],[],[y55,y56,y57,y58],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y56),lit(21),assign(lvar(y55),newArr(byte,binop(mul,lval(lvar(y56)),lit(1))),assign(lvar(y57),lval(lvar(y55)),assign(lvar(y58),lit(84),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(97),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(98),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(108),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(101),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(32),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(115),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(105),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(122),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(101),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(32),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(116),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(111),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(111),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(32),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(115),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(109),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(97),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(108),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(108),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(0),assign(arr(y57,lit(0)),lval(lvar(y58)),return)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(Retrieve,[x12,x13],[long,ptrT(structT(struct2))],[y207,y208,y209,y210,y211],[long,ptrT(arrT(ptrT(long))),ptrT(arrT(ptrT(long))),ptrT(long),long],label_.BB000,[label_.BB000-assign(lvar(y208),lval(field(x13,1)),assign(lvar(y209),lval(lvar(y208)),assign(lvar(y209),binop(add,lval(lvar(y209)),binop(mul,lval(lvar(x12)),lit(1))),assign(lvar(y210),lval(arr(y209,lit(0))),assign(lvar(y211),lval(deref(y210)),assign(lvar(y207),lval(lvar(y211)),return))))))],1)
magic_phi(Find,[x7,x8],[long,ptrT(structT(struct2))],[y142,y143,y144,y145,y146,y147,y148,y149,y150,y151,y152,y153,y154,y155,y156,y157,y158,y159,y160,y161,y162,y163,y164,y165,y166,y167,y168,y169,y170],[long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,long,ptrT(arrT(ptrT(structT(struct3)))),ptrT(arrT(ptrT(structT(struct3)))),ptrT(structT(struct3)),long,long,long,ptrT(arrT(ptrT(long))),ptrT(arrT(ptrT(long))),ptrT(long),long,long,long],label_.BB000,[label_.BB000-assign(lvar(y144),lit(0),assign(lvar(y145),lval(field(x8,0)),assign(lvar(y143),call(Hash,[lval(lvar(x7)),lval(lvar(y145))]),goto(label_.BB16)))),label_.BB15-assign(lvar(y144),binop(add,lval(lvar(y144)),lit(1)),assign(lvar(y146),lit(2),assign(lvar(y147),lval(lvar(y146)),assign(lvar(y147),binop(mul,lval(lvar(y147)),lval(lvar(y144))),assign(lvar(y148),lval(lvar(y147)),assign(lvar(y148),binop(add,lval(lvar(y148)),lit(-1)),assign(lvar(y149),lval(lvar(y143)),assign(lvar(y149),binop(add,lval(lvar(y149)),lval(lvar(y148))),assign(lvar(y143),lval(lvar(y149)),assign(lvar(y150),lval(field(x8,0)),assign(lvar(y151),lval(lvar(y143)),assign(lvar(y151),binop(sub,lval(lvar(y151)),lval(lvar(y150))),assign(lvar(y152),lval(lvar(y143)),assign(lvar(y154),lval(lvar(y143)),assign(lvar(y152),binop(or,lval(lvar(y152)),lval(lvar(y150))),assign(lvar(y154),binop(and,lval(lvar(y154)),lval(lvar(y150))),assign(lvar(y152),binop(sub,lval(lvar(y152)),lval(lvar(y154))),assign(lvar(y153),lval(lvar(y151)),assign(lvar(y155),lval(lvar(y151)),assign(lvar(y153),binop(or,lval(lvar(y153)),lval(lvar(y143))),assign(lvar(y155),binop(and,lval(lvar(y155)),lval(lvar(y143))),assign(lvar(y153),binop(sub,lval(lvar(y153)),lval(lvar(y155))),assign(lvar(y152),binop(and,lval(lvar(y152)),lval(lvar(y153))),assign(lvar(y153),lval(lvar(y151)),assign(lvar(y156),lval(lvar(y151)),assign(lvar(y153),binop(or,lval(lvar(y153)),lval(lvar(y152))),assign(lvar(y156),binop(and,lval(lvar(y156)),lval(lvar(y152))),assign(lvar(y153),binop(sub,lval(lvar(y153)),lval(lvar(y156))),assign(lvar(y153),binop(sr,lval(lvar(y153)),lit(31)),if(y153,label_.BB16,assign(lvar(y157),lval(field(x8,0)),assign(lvar(y158),lval(lvar(y143)),assign(lvar(y158),binop(sub,lval(lvar(y158)),lval(lvar(y157))),assign(lvar(y143),lval(lvar(y158)),assign(lvar(y159),lval(field(x8,1)),assign(lvar(y160),lval(lvar(y159)),assign(lvar(y160),binop(add,lval(lvar(y160)),binop(mul,lval(lvar(y143)),lit(1))),assign(lvar(y161),lval(arr(y160,lit(0))),assign(lvar(y162),lval(field(y161,1)),assign(lvar(y164),lit(1),assign(lvar(y163),binop(eq,lval(lvar(y162)),lval(lvar(y164))),if(y163,label_.BB17,assign(lvar(y165),lval(field(x8,1)),assign(lvar(y166),lval(lvar(y165)),assign(lvar(y166),binop(add,lval(lvar(y166)),binop(mul,lval(lvar(y143)),lit(1))),assign(lvar(y167),lval(arr(y166,lit(0))),assign(lvar(y168),lval(deref(y167)),assign(lvar(y169),binop(eq,lval(lvar(y168)),lval(lvar(x7))),if(y169,label_.BB22,assign(lvar(y170),lit(1),goto(label_.BB23))))))))))))))))))))))))))))))))))))))))))))))))))),label_.BB16-assign(lvar(y159),lval(field(x8,1)),assign(lvar(y160),lval(lvar(y159)),assign(lvar(y160),binop(add,lval(lvar(y160)),binop(mul,lval(lvar(y143)),lit(1))),assign(lvar(y161),lval(arr(y160,lit(0))),assign(lvar(y162),lval(field(y161,1)),assign(lvar(y164),lit(1),assign(lvar(y163),binop(eq,lval(lvar(y162)),lval(lvar(y164))),if(y163,label_.BB17,assign(lvar(y165),lval(field(x8,1)),assign(lvar(y166),lval(lvar(y165)),assign(lvar(y166),binop(add,lval(lvar(y166)),binop(mul,lval(lvar(y143)),lit(1))),assign(lvar(y167),lval(arr(y166,lit(0))),assign(lvar(y168),lval(deref(y167)),assign(lvar(y169),binop(eq,lval(lvar(y168)),lval(lvar(x7))),if(y169,label_.BB22,assign(lvar(y170),lit(1),goto(label_.BB23))))))))))))))))),label_.BB22-assign(lvar(y170),lit(0),if(y170,label_.BB15,assign(lvar(y142),lval(lvar(y143)),return))),label_.BB23-if(y170,label_.BB15,assign(lvar(y142),lval(lvar(y143)),return)),label_.BB17-assign(lvar(y142),lval(lvar(y143)),return)],1)
magic_phi(Insert,[x9,x10],[long,ptrT(structT(struct2))],[y171,y172,y173,y174,y175,y176,y177,y178,y179,y180,y181,y182,y183,y184,y185],[long,long,ptrT(arrT(ptrT(structT(struct3)))),ptrT(arrT(ptrT(structT(struct3)))),ptrT(structT(struct3)),long,long,long,ptrT(arrT(ptrT(structT(struct3)))),ptrT(arrT(ptrT(structT(struct3)))),ptrT(structT(struct3)),long,ptrT(arrT(ptrT(long))),ptrT(arrT(ptrT(long))),ptrT(long)],label_.BB000,[label_.BB000-assign(lvar(y172),call(Find,[lval(lvar(x9)),lval(lvar(x10))]),assign(lvar(y173),lval(field(x10,1)),assign(lvar(y174),lval(lvar(y173)),assign(lvar(y174),binop(add,lval(lvar(y174)),binop(mul,lval(lvar(y172)),lit(1))),assign(lvar(y175),lval(arr(y174,lit(0))),assign(lvar(y176),lval(field(y175,1)),assign(lvar(y177),lval(lvar(y176)),assign(lvar(y177),binop(sub,lval(lvar(y177)),lit(1)),assign(lvar(y178),lval(lvar(y176)),assign(lvar(y178),binop(mul,lval(lvar(y178)),lit(-1)),assign(lvar(y178),binop(add,lval(lvar(y178)),lit(-1)),assign(lvar(y177),binop(and,lval(lvar(y177)),lval(lvar(y178))),assign(lvar(y177),binop(sr,lval(lvar(y177)),lit(31)),if(y177,label_.BB18,assign(lvar(y179),lval(field(x10,1)),assign(lvar(y180),lval(lvar(y179)),assign(lvar(y180),binop(add,lval(lvar(y180)),binop(mul,lval(lvar(y172)),lit(1))),assign(lvar(y181),lval(arr(y180,lit(0))),assign(lvar(y182),lit(0),assign(field(y181,1),lval(lvar(y182)),assign(lvar(y183),lval(field(x10,1)),assign(lvar(y184),lval(lvar(y183)),assign(lvar(y184),binop(add,lval(lvar(y184)),binop(mul,lval(lvar(y172)),lit(1))),assign(lvar(y185),lval(arr(y184,lit(0))),assign(deref(y185),lval(lvar(x9)),return))))))))))))))))))))))))),label_.BB18-return],1)
magic_phi(Rehash,[x11],[ptrT(structT(struct2))],[y186,y187,y188,y189,y190,y191,y192,y193,y194,y195,y196,y197,y198,y199,y200,y201,y202,y203,y204,y205,y206],[ptrT(structT(struct2)),long,long,ptrT(arrT(ptrT(structT(struct3)))),ptrT(arrT(ptrT(structT(struct3)))),long,long,long,ptrT(arrT(ptrT(structT(struct3)))),ptrT(structT(struct3)),long,ptrT(arrT(ptrT(long))),ptrT(long),long,long,long,long,long,long,long,long],label_.BB000,[label_.BB000-assign(lvar(y190),lval(field(x11,1)),assign(lvar(y189),lval(lvar(y190)),assign(lvar(y191),lval(field(x11,0)),assign(lvar(y188),lval(lvar(y191)),assign(lvar(y192),lit(2),assign(lvar(y193),lval(lvar(y192)),assign(lvar(y193),binop(mul,lval(lvar(y193)),lval(lvar(y188))),assign(lvar(x11),call(InitializeTable,[lval(lvar(y193))]),assign(lvar(y187),lit(0),goto(label_.BB21)))))))))),label_.BB19-assign(lvar(y194),lval(lvar(y189)),assign(lvar(y194),binop(add,lval(lvar(y194)),binop(mul,lval(lvar(y187)),lit(1))),assign(lvar(y195),lval(arr(y194,lit(0))),assign(lvar(y196),lval(field(y195,1)),if(y196,label_.BB20,assign(lvar(y197),lval(lvar(y189)),assign(lvar(y197),binop(add,lval(lvar(y197)),binop(mul,lval(lvar(y187)),lit(1))),assign(lvar(y198),lval(arr(y197,lit(0))),assign(lvar(y199),lval(deref(y198)),assign(lvar(y200),call(Insert,[lval(lvar(y199)),lval(lvar(x11))]),assign(lvar(y187),binop(add,lval(lvar(y187)),lit(1)),assign(lvar(y201),lval(lvar(y187)),assign(lvar(y201),binop(sub,lval(lvar(y201)),lval(lvar(y188))),assign(lvar(y202),lval(lvar(y187)),assign(lvar(y204),lval(lvar(y187)),assign(lvar(y202),binop(or,lval(lvar(y202)),lval(lvar(y188))),assign(lvar(y204),binop(and,lval(lvar(y204)),lval(lvar(y188))),assign(lvar(y202),binop(sub,lval(lvar(y202)),lval(lvar(y204))),assign(lvar(y203),lval(lvar(y201)),assign(lvar(y205),lval(lvar(y201)),assign(lvar(y203),binop(or,lval(lvar(y203)),lval(lvar(y187))),assign(lvar(y205),binop(and,lval(lvar(y205)),lval(lvar(y187))),assign(lvar(y203),binop(sub,lval(lvar(y203)),lval(lvar(y205))),assign(lvar(y202),binop(and,lval(lvar(y202)),lval(lvar(y203))),assign(lvar(y203),lval(lvar(y201)),assign(lvar(y206),lval(lvar(y201)),assign(lvar(y203),binop(or,lval(lvar(y203)),lval(lvar(y202))),assign(lvar(y206),binop(and,lval(lvar(y206)),lval(lvar(y202))),assign(lvar(y203),binop(sub,lval(lvar(y203)),lval(lvar(y206))),assign(lvar(y203),binop(sr,lval(lvar(y203)),lit(31)),if(y203,label_.BB19,assign(lvar(y186),lval(lvar(x11)),return)))))))))))))))))))))))))))))))),label_.BB20-assign(lvar(y187),binop(add,lval(lvar(y187)),lit(1)),assign(lvar(y201),lval(lvar(y187)),assign(lvar(y201),binop(sub,lval(lvar(y201)),lval(lvar(y188))),assign(lvar(y202),lval(lvar(y187)),assign(lvar(y204),lval(lvar(y187)),assign(lvar(y202),binop(or,lval(lvar(y202)),lval(lvar(y188))),assign(lvar(y204),binop(and,lval(lvar(y204)),lval(lvar(y188))),assign(lvar(y202),binop(sub,lval(lvar(y202)),lval(lvar(y204))),assign(lvar(y203),lval(lvar(y201)),assign(lvar(y205),lval(lvar(y201)),assign(lvar(y203),binop(or,lval(lvar(y203)),lval(lvar(y187))),assign(lvar(y205),binop(and,lval(lvar(y205)),lval(lvar(y187))),assign(lvar(y203),binop(sub,lval(lvar(y203)),lval(lvar(y205))),assign(lvar(y202),binop(and,lval(lvar(y202)),lval(lvar(y203))),assign(lvar(y203),lval(lvar(y201)),assign(lvar(y206),lval(lvar(y201)),assign(lvar(y203),binop(or,lval(lvar(y203)),lval(lvar(y202))),assign(lvar(y206),binop(and,lval(lvar(y206)),lval(lvar(y202))),assign(lvar(y203),binop(sub,lval(lvar(y203)),lval(lvar(y206))),assign(lvar(y203),binop(sr,lval(lvar(y203)),lit(31)),if(y203,label_.BB19,assign(lvar(y186),lval(lvar(x11)),return)))))))))))))))))))))),label_.BB21-assign(lvar(y201),lval(lvar(y187)),assign(lvar(y201),binop(sub,lval(lvar(y201)),lval(lvar(y188))),assign(lvar(y202),lval(lvar(y187)),assign(lvar(y204),lval(lvar(y187)),assign(lvar(y202),binop(or,lval(lvar(y202)),lval(lvar(y188))),assign(lvar(y204),binop(and,lval(lvar(y204)),lval(lvar(y188))),assign(lvar(y202),binop(sub,lval(lvar(y202)),lval(lvar(y204))),assign(lvar(y203),lval(lvar(y201)),assign(lvar(y205),lval(lvar(y201)),assign(lvar(y203),binop(or,lval(lvar(y203)),lval(lvar(y187))),assign(lvar(y205),binop(and,lval(lvar(y205)),lval(lvar(y187))),assign(lvar(y203),binop(sub,lval(lvar(y203)),lval(lvar(y205))),assign(lvar(y202),binop(and,lval(lvar(y202)),lval(lvar(y203))),assign(lvar(y203),lval(lvar(y201)),assign(lvar(y206),lval(lvar(y201)),assign(lvar(y203),binop(or,lval(lvar(y203)),lval(lvar(y202))),assign(lvar(y206),binop(and,lval(lvar(y206)),lval(lvar(y202))),assign(lvar(y203),binop(sub,lval(lvar(y203)),lval(lvar(y206))),assign(lvar(y203),binop(sr,lval(lvar(y203)),lit(31)),if(y203,label_.BB19,assign(lvar(y186),lval(lvar(x11)),return)))))))))))))))))))))],1)
magic_phi(InitializeTable,[x6],[long],[y93,y94,y95,y96,y97,y98,y99,y100,y101,y102,y103,y104,y105,y106,y107,y108,y109,y110,y111,y112,y113,y114,y115,y116,y117,y118,y119,y120,y121,y122,y123,y124,y125,y126,y127,y128,y129,y130,y131,y132,y133,y134,y135,y136,y137,y138,y139,y140,y141],[ptrT(structT(struct2)),ptrT(structT(struct2)),long,long,long,long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,long,long,ptrT(arrT(ptrT(structT(struct3)))),ptrT(ptrT(structT(struct3))),ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,ptrT(arrT(ptrT(long))),ptrT(arrT(ptrT(long))),ptrT(structT(struct1)),long,long,long,long,long,long,long,ptrT(arrT(ptrT(structT(struct3)))),ptrT(arrT(ptrT(structT(struct3)))),ptrT(structT(struct3)),long,long,long,long,long,long,long,long],label_.BB000,[label_.BB000-assign(lvar(y96),lval(lvar(x6)),assign(lvar(y96),binop(sub,lval(lvar(y96)),lit(10)),assign(lvar(y96),binop(mul,lval(lvar(y96)),lit(-1)),assign(lvar(y96),binop(add,lval(lvar(y96)),lit(-1)),assign(lvar(y97),lit(10),assign(lvar(y98),lit(10),assign(lvar(y97),binop(or,lval(lvar(y97)),lval(lvar(x6))),assign(lvar(y98),binop(and,lval(lvar(y98)),lval(lvar(x6))),assign(lvar(y97),binop(sub,lval(lvar(y97)),lval(lvar(y98))),assign(lvar(y97),binop(or,lval(lvar(y97)),lval(lvar(y96))),assign(lvar(y96),lval(lvar(x6)),assign(lvar(y96),binop(mul,lval(lvar(y96)),lit(-1)),assign(lvar(y96),binop(add,lval(lvar(y96)),lit(-1)),assign(lvar(y96),binop(or,lval(lvar(y96)),lit(10)),assign(lvar(y96),binop(and,lval(lvar(y96)),lval(lvar(y97))),assign(lvar(y96),binop(sr,lval(lvar(y96)),lit(31)),if(y96,label_.BB7,assign(lvar(y99),call(hashquad.istr0,[]),assign(lvar(y100),call(prints,[lval(lvar(y99))]),assign(lvar(y101),call(hashquad.istr1,[]),assign(lvar(y102),call(prints,[lval(lvar(y101))]),assign(lvar(y104),lit(1),assign(lvar(y103),call(mincexit,[lval(lvar(y104))]),assign(lvar(y93),lit(0),goto(label_.BB14))))))))))))))))))))))))),label_.BB7-assign(lvar(y94),newStruct(struct2),if(y94,label_.BB8,assign(lvar(y105),call(hashquad.istr2,[]),assign(lvar(y106),call(prints,[lval(lvar(y105))]),assign(lvar(y107),call(hashquad.istr3,[]),assign(lvar(y108),call(prints,[lval(lvar(y107))]),assign(lvar(y110),lit(1),assign(lvar(y109),call(mincexit,[lval(lvar(y110))]),assign(lvar(y111),call(NextPrime,[lval(lvar(x6))]),assign(field(y94,0),lval(lvar(y111)),assign(lvar(y112),lval(field(y94,0)),assign(lvar(y113),newArr(ptrT(structT(struct3)),binop(mul,lval(lvar(y112)),lit(1))),assign(field(y94,1),lval(lvar(y113)),assign(lvar(y114),lval(field(y94,1)),if(y114,label_.BB9,assign(lvar(y115),call(hashquad.istr4,[]),assign(lvar(y116),call(prints,[lval(lvar(y115))]),assign(lvar(y117),call(hashquad.istr5,[]),assign(lvar(y118),call(prints,[lval(lvar(y117))]),assign(lvar(y120),lit(1),assign(lvar(y119),call(mincexit,[lval(lvar(y120))]),assign(lvar(y95),lit(0),goto(label_.BB11))))))))))))))))))))))),label_.BB8-assign(lvar(y111),call(NextPrime,[lval(lvar(x6))]),assign(field(y94,0),lval(lvar(y111)),assign(lvar(y112),lval(field(y94,0)),assign(lvar(y113),newArr(ptrT(structT(struct3)),binop(mul,lval(lvar(y112)),lit(1))),assign(field(y94,1),lval(lvar(y113)),assign(lvar(y114),lval(field(y94,1)),if(y114,label_.BB9,assign(lvar(y115),call(hashquad.istr4,[]),assign(lvar(y116),call(prints,[lval(lvar(y115))]),assign(lvar(y117),call(hashquad.istr5,[]),assign(lvar(y118),call(prints,[lval(lvar(y117))]),assign(lvar(y120),lit(1),assign(lvar(y119),call(mincexit,[lval(lvar(y120))]),assign(lvar(y95),lit(0),goto(label_.BB11))))))))))))))),label_.BB9-assign(lvar(y95),lit(0),goto(label_.BB11)),label_.BB10-assign(lvar(y121),lval(field(y94,1)),assign(lvar(y122),lval(lvar(y121)),assign(lvar(y122),binop(add,lval(lvar(y122)),binop(mul,lval(lvar(y95)),lit(1))),assign(lvar(y123),newStruct(struct1),assign(arr(y122,lit(0)),lval(lvar(y123)),assign(lvar(y95),binop(add,lval(lvar(y95)),lit(1)),assign(lvar(y124),lval(field(y94,0)),assign(lvar(y125),lval(lvar(y95)),assign(lvar(y125),binop(sub,lval(lvar(y125)),lval(lvar(y124))),assign(lvar(y126),lval(lvar(y95)),assign(lvar(y128),lval(lvar(y95)),assign(lvar(y126),binop(or,lval(lvar(y126)),lval(lvar(y124))),assign(lvar(y128),binop(and,lval(lvar(y128)),lval(lvar(y124))),assign(lvar(y126),binop(sub,lval(lvar(y126)),lval(lvar(y128))),assign(lvar(y127),lval(lvar(y125)),assign(lvar(y129),lval(lvar(y125)),assign(lvar(y127),binop(or,lval(lvar(y127)),lval(lvar(y95))),assign(lvar(y129),binop(and,lval(lvar(y129)),lval(lvar(y95))),assign(lvar(y127),binop(sub,lval(lvar(y127)),lval(lvar(y129))),assign(lvar(y126),binop(and,lval(lvar(y126)),lval(lvar(y127))),assign(lvar(y127),lval(lvar(y125)),assign(lvar(y130),lval(lvar(y125)),assign(lvar(y127),binop(or,lval(lvar(y127)),lval(lvar(y126))),assign(lvar(y130),binop(and,lval(lvar(y130)),lval(lvar(y126))),assign(lvar(y127),binop(sub,lval(lvar(y127)),lval(lvar(y130))),assign(lvar(y127),binop(sr,lval(lvar(y127)),lit(31)),if(y127,label_.BB10,assign(lvar(y95),lit(0),goto(label_.BB13))))))))))))))))))))))))))))),label_.BB11-assign(lvar(y124),lval(field(y94,0)),assign(lvar(y125),lval(lvar(y95)),assign(lvar(y125),binop(sub,lval(lvar(y125)),lval(lvar(y124))),assign(lvar(y126),lval(lvar(y95)),assign(lvar(y128),lval(lvar(y95)),assign(lvar(y126),binop(or,lval(lvar(y126)),lval(lvar(y124))),assign(lvar(y128),binop(and,lval(lvar(y128)),lval(lvar(y124))),assign(lvar(y126),binop(sub,lval(lvar(y126)),lval(lvar(y128))),assign(lvar(y127),lval(lvar(y125)),assign(lvar(y129),lval(lvar(y125)),assign(lvar(y127),binop(or,lval(lvar(y127)),lval(lvar(y95))),assign(lvar(y129),binop(and,lval(lvar(y129)),lval(lvar(y95))),assign(lvar(y127),binop(sub,lval(lvar(y127)),lval(lvar(y129))),assign(lvar(y126),binop(and,lval(lvar(y126)),lval(lvar(y127))),assign(lvar(y127),lval(lvar(y125)),assign(lvar(y130),lval(lvar(y125)),assign(lvar(y127),binop(or,lval(lvar(y127)),lval(lvar(y126))),assign(lvar(y130),binop(and,lval(lvar(y130)),lval(lvar(y126))),assign(lvar(y127),binop(sub,lval(lvar(y127)),lval(lvar(y130))),assign(lvar(y127),binop(sr,lval(lvar(y127)),lit(31)),if(y127,label_.BB10,assign(lvar(y95),lit(0),goto(label_.BB13))))))))))))))))))))))),label_.BB12-assign(lvar(y131),lval(field(y94,1)),assign(lvar(y132),lval(lvar(y131)),assign(lvar(y132),binop(add,lval(lvar(y132)),binop(mul,lval(lvar(y95)),lit(1))),assign(lvar(y133),lval(arr(y132,lit(0))),assign(lvar(y134),lit(1),assign(field(y133,1),lval(lvar(y134)),assign(lvar(y95),binop(add,lval(lvar(y95)),lit(1)),assign(lvar(y135),lval(field(y94,0)),assign(lvar(y136),lval(lvar(y95)),assign(lvar(y136),binop(sub,lval(lvar(y136)),lval(lvar(y135))),assign(lvar(y137),lval(lvar(y95)),assign(lvar(y139),lval(lvar(y95)),assign(lvar(y137),binop(or,lval(lvar(y137)),lval(lvar(y135))),assign(lvar(y139),binop(and,lval(lvar(y139)),lval(lvar(y135))),assign(lvar(y137),binop(sub,lval(lvar(y137)),lval(lvar(y139))),assign(lvar(y138),lval(lvar(y136)),assign(lvar(y140),lval(lvar(y136)),assign(lvar(y138),binop(or,lval(lvar(y138)),lval(lvar(y95))),assign(lvar(y140),binop(and,lval(lvar(y140)),lval(lvar(y95))),assign(lvar(y138),binop(sub,lval(lvar(y138)),lval(lvar(y140))),assign(lvar(y137),binop(and,lval(lvar(y137)),lval(lvar(y138))),assign(lvar(y138),lval(lvar(y136)),assign(lvar(y141),lval(lvar(y136)),assign(lvar(y138),binop(or,lval(lvar(y138)),lval(lvar(y137))),assign(lvar(y141),binop(and,lval(lvar(y141)),lval(lvar(y137))),assign(lvar(y138),binop(sub,lval(lvar(y138)),lval(lvar(y141))),assign(lvar(y138),binop(sr,lval(lvar(y138)),lit(31)),if(y138,label_.BB12,assign(lvar(y93),lval(lvar(y94)),return))))))))))))))))))))))))))))),label_.BB13-assign(lvar(y135),lval(field(y94,0)),assign(lvar(y136),lval(lvar(y95)),assign(lvar(y136),binop(sub,lval(lvar(y136)),lval(lvar(y135))),assign(lvar(y137),lval(lvar(y95)),assign(lvar(y139),lval(lvar(y95)),assign(lvar(y137),binop(or,lval(lvar(y137)),lval(lvar(y135))),assign(lvar(y139),binop(and,lval(lvar(y139)),lval(lvar(y135))),assign(lvar(y137),binop(sub,lval(lvar(y137)),lval(lvar(y139))),assign(lvar(y138),lval(lvar(y136)),assign(lvar(y140),lval(lvar(y136)),assign(lvar(y138),binop(or,lval(lvar(y138)),lval(lvar(y95))),assign(lvar(y140),binop(and,lval(lvar(y140)),lval(lvar(y95))),assign(lvar(y138),binop(sub,lval(lvar(y138)),lval(lvar(y140))),assign(lvar(y137),binop(and,lval(lvar(y137)),lval(lvar(y138))),assign(lvar(y138),lval(lvar(y136)),assign(lvar(y141),lval(lvar(y136)),assign(lvar(y138),binop(or,lval(lvar(y138)),lval(lvar(y137))),assign(lvar(y141),binop(and,lval(lvar(y141)),lval(lvar(y137))),assign(lvar(y138),binop(sub,lval(lvar(y138)),lval(lvar(y141))),assign(lvar(y138),binop(sr,lval(lvar(y138)),lit(31)),if(y138,label_.BB12,assign(lvar(y93),lval(lvar(y94)),return)))))))))))))))))))))),label_.BB14-return],1)
magic_phi(main,[x1,x2],[long,ptrT(arrT(ptrT(arrT(byte))))],[y17,y18,y19,y20,y21,y22,y23,y24,y25,y26,y27,y28,y29,y30,y31,y32,y33,y34,y35,y36,y37,y38,y39,y40,y41,y42,y43,y44,y45,y46,y47,y48,y49,y50,y51,y52,y53,y54],[long,ptrT(structT(struct2)),long,long,long,long,long,long,long,long,long,ptrT(arrT(byte)),long,long,long,long,long,long,long,long,long,long,long,long,ptrT(arrT(byte)),long,long,ptrT(arrT(byte)),long,long,long,long,long,long,long,long,ptrT(arrT(byte)),long],label_.BB000,[label_.BB000-assign(lvar(y21),lit(0),assign(lvar(y22),lit(13),assign(lvar(y18),call(InitializeTable,[lval(lvar(y22))]),assign(lvar(y20),lit(0),goto(label_.BB2))))),label_.BB0-assign(lvar(y24),lval(lvar(y22)),assign(lvar(y23),lit(-2147483648),assign(lvar(y24),binop(add,lval(lvar(y24)),lit(-2147483648)),assign(lvar(y24),binop(sr,lval(lvar(y24)),lit(1)),assign(lvar(y23),binop(sr,lval(lvar(y23)),lit(1)),assign(lvar(y24),binop(sub,lval(lvar(y24)),lval(lvar(y23))),assign(lvar(y25),lval(lvar(y24)),assign(lvar(y25),binop(sub,lval(lvar(y25)),lval(lvar(y20))),assign(lvar(y25),binop(mul,lval(lvar(y25)),lit(-1)),assign(lvar(y25),binop(add,lval(lvar(y25)),lit(-1)),assign(lvar(y26),lval(lvar(y20)),assign(lvar(y27),lval(lvar(y20)),assign(lvar(y26),binop(or,lval(lvar(y26)),lval(lvar(y24))),assign(lvar(y27),binop(and,lval(lvar(y27)),lval(lvar(y24))),assign(lvar(y26),binop(sub,lval(lvar(y26)),lval(lvar(y27))),assign(lvar(y26),binop(or,lval(lvar(y26)),lval(lvar(y25))),assign(lvar(y25),lval(lvar(y24)),assign(lvar(y25),binop(mul,lval(lvar(y25)),lit(-1)),assign(lvar(y25),binop(add,lval(lvar(y25)),lit(-1)),assign(lvar(y25),binop(or,lval(lvar(y25)),lval(lvar(y20))),assign(lvar(y25),binop(and,lval(lvar(y25)),lval(lvar(y26))),assign(lvar(y25),binop(sr,lval(lvar(y25)),lit(31)),if(y25,label_.BB1,assign(lvar(y18),call(Rehash,[lval(lvar(y18))]),assign(lvar(y28),call(testhash.istr0,[]),assign(lvar(y29),call(prints,[lval(lvar(y28))]),assign(lvar(y30),lval(lvar(y22)),assign(lvar(y30),binop(sl,lval(lvar(y30)),lit(1)),assign(lvar(y22),lval(lvar(y30)),assign(lvar(y31),call(Insert,[lval(lvar(y21)),lval(lvar(y18))]),assign(lvar(y20),binop(add,lval(lvar(y20)),lit(1)),assign(lvar(y32),lval(lvar(y21)),assign(lvar(y32),binop(add,lval(lvar(y32)),lit(71)),assign(lvar(y21),lval(lvar(y32)),assign(lvar(y33),lval(lvar(y20)),assign(lvar(y33),binop(sub,lval(lvar(y33)),lit(400)),assign(lvar(y34),lval(lvar(y20)),assign(lvar(y36),lval(lvar(y20)),assign(lvar(y34),binop(or,lval(lvar(y34)),lit(400)),assign(lvar(y36),binop(and,lval(lvar(y36)),lit(400)),assign(lvar(y34),binop(sub,lval(lvar(y34)),lval(lvar(y36))),assign(lvar(y35),lval(lvar(y33)),assign(lvar(y37),lval(lvar(y33)),assign(lvar(y35),binop(or,lval(lvar(y35)),lval(lvar(y20))),assign(lvar(y37),binop(and,lval(lvar(y37)),lval(lvar(y20))),assign(lvar(y35),binop(sub,lval(lvar(y35)),lval(lvar(y37))),assign(lvar(y34),binop(and,lval(lvar(y34)),lval(lvar(y35))),assign(lvar(y35),lval(lvar(y33)),assign(lvar(y38),lval(lvar(y33)),assign(lvar(y35),binop(or,lval(lvar(y35)),lval(lvar(y34))),assign(lvar(y38),binop(and,lval(lvar(y38)),lval(lvar(y34))),assign(lvar(y35),binop(sub,lval(lvar(y35)),lval(lvar(y38))),assign(lvar(y35),binop(sr,lval(lvar(y35)),lit(31)),if(y35,label_.BB0,assign(lvar(y20),lit(0),assign(lvar(y21),lit(0),goto(label_.BB5))))))))))))))))))))))))))))))))))))))))))))))))))))))))),label_.BB1-assign(lvar(y31),call(Insert,[lval(lvar(y21)),lval(lvar(y18))]),assign(lvar(y20),binop(add,lval(lvar(y20)),lit(1)),assign(lvar(y32),lval(lvar(y21)),assign(lvar(y32),binop(add,lval(lvar(y32)),lit(71)),assign(lvar(y21),lval(lvar(y32)),assign(lvar(y33),lval(lvar(y20)),assign(lvar(y33),binop(sub,lval(lvar(y33)),lit(400)),assign(lvar(y34),lval(lvar(y20)),assign(lvar(y36),lval(lvar(y20)),assign(lvar(y34),binop(or,lval(lvar(y34)),lit(400)),assign(lvar(y36),binop(and,lval(lvar(y36)),lit(400)),assign(lvar(y34),binop(sub,lval(lvar(y34)),lval(lvar(y36))),assign(lvar(y35),lval(lvar(y33)),assign(lvar(y37),lval(lvar(y33)),assign(lvar(y35),binop(or,lval(lvar(y35)),lval(lvar(y20))),assign(lvar(y37),binop(and,lval(lvar(y37)),lval(lvar(y20))),assign(lvar(y35),binop(sub,lval(lvar(y35)),lval(lvar(y37))),assign(lvar(y34),binop(and,lval(lvar(y34)),lval(lvar(y35))),assign(lvar(y35),lval(lvar(y33)),assign(lvar(y38),lval(lvar(y33)),assign(lvar(y35),binop(or,lval(lvar(y35)),lval(lvar(y34))),assign(lvar(y38),binop(and,lval(lvar(y38)),lval(lvar(y34))),assign(lvar(y35),binop(sub,lval(lvar(y35)),lval(lvar(y38))),assign(lvar(y35),binop(sr,lval(lvar(y35)),lit(31)),if(y35,label_.BB0,assign(lvar(y20),lit(0),assign(lvar(y21),lit(0),goto(label_.BB5)))))))))))))))))))))))))))),label_.BB2-assign(lvar(y33),lval(lvar(y20)),assign(lvar(y33),binop(sub,lval(lvar(y33)),lit(400)),assign(lvar(y34),lval(lvar(y20)),assign(lvar(y36),lval(lvar(y20)),assign(lvar(y34),binop(or,lval(lvar(y34)),lit(400)),assign(lvar(y36),binop(and,lval(lvar(y36)),lit(400)),assign(lvar(y34),binop(sub,lval(lvar(y34)),lval(lvar(y36))),assign(lvar(y35),lval(lvar(y33)),assign(lvar(y37),lval(lvar(y33)),assign(lvar(y35),binop(or,lval(lvar(y35)),lval(lvar(y20))),assign(lvar(y37),binop(and,lval(lvar(y37)),lval(lvar(y20))),assign(lvar(y35),binop(sub,lval(lvar(y35)),lval(lvar(y37))),assign(lvar(y34),binop(and,lval(lvar(y34)),lval(lvar(y35))),assign(lvar(y35),lval(lvar(y33)),assign(lvar(y38),lval(lvar(y33)),assign(lvar(y35),binop(or,lval(lvar(y35)),lval(lvar(y34))),assign(lvar(y38),binop(and,lval(lvar(y38)),lval(lvar(y34))),assign(lvar(y35),binop(sub,lval(lvar(y35)),lval(lvar(y38))),assign(lvar(y35),binop(sr,lval(lvar(y35)),lit(31)),if(y35,label_.BB0,assign(lvar(y20),lit(0),assign(lvar(y21),lit(0),goto(label_.BB5))))))))))))))))))))))),label_.BB3-assign(lvar(y19),call(Find,[lval(lvar(y21)),lval(lvar(y18))]),assign(lvar(y39),call(Retrieve,[lval(lvar(y19)),lval(lvar(y18))]),assign(lvar(y40),binop(eq,lval(lvar(y39)),lval(lvar(y21))),if(y40,label_.BB4,assign(lvar(y41),call(testhash.istr1,[]),assign(lvar(y42),call(prints,[lval(lvar(y41))]),assign(lvar(y43),call(print32,[lval(lvar(y21))]),assign(lvar(y44),call(testhash.istr2,[]),assign(lvar(y45),call(prints,[lval(lvar(y44))]),assign(lvar(y20),binop(add,lval(lvar(y20)),lit(1)),assign(lvar(y46),lval(lvar(y21)),assign(lvar(y46),binop(add,lval(lvar(y46)),lit(71)),assign(lvar(y21),lval(lvar(y46)),assign(lvar(y47),lval(lvar(y20)),assign(lvar(y47),binop(sub,lval(lvar(y47)),lit(400)),assign(lvar(y48),lval(lvar(y20)),assign(lvar(y50),lval(lvar(y20)),assign(lvar(y48),binop(or,lval(lvar(y48)),lit(400)),assign(lvar(y50),binop(and,lval(lvar(y50)),lit(400)),assign(lvar(y48),binop(sub,lval(lvar(y48)),lval(lvar(y50))),assign(lvar(y49),lval(lvar(y47)),assign(lvar(y51),lval(lvar(y47)),assign(lvar(y49),binop(or,lval(lvar(y49)),lval(lvar(y20))),assign(lvar(y51),binop(and,lval(lvar(y51)),lval(lvar(y20))),assign(lvar(y49),binop(sub,lval(lvar(y49)),lval(lvar(y51))),assign(lvar(y48),binop(and,lval(lvar(y48)),lval(lvar(y49))),assign(lvar(y49),lval(lvar(y47)),assign(lvar(y52),lval(lvar(y47)),assign(lvar(y49),binop(or,lval(lvar(y49)),lval(lvar(y48))),assign(lvar(y52),binop(and,lval(lvar(y52)),lval(lvar(y48))),assign(lvar(y49),binop(sub,lval(lvar(y49)),lval(lvar(y52))),assign(lvar(y49),binop(sr,lval(lvar(y49)),lit(31)),if(y49,label_.BB3,assign(lvar(y53),call(testhash.istr3,[]),assign(lvar(y54),call(prints,[lval(lvar(y53))]),assign(lvar(y17),lit(0),return)))))))))))))))))))))))))))))))))))),label_.BB4-assign(lvar(y20),binop(add,lval(lvar(y20)),lit(1)),assign(lvar(y46),lval(lvar(y21)),assign(lvar(y46),binop(add,lval(lvar(y46)),lit(71)),assign(lvar(y21),lval(lvar(y46)),assign(lvar(y47),lval(lvar(y20)),assign(lvar(y47),binop(sub,lval(lvar(y47)),lit(400)),assign(lvar(y48),lval(lvar(y20)),assign(lvar(y50),lval(lvar(y20)),assign(lvar(y48),binop(or,lval(lvar(y48)),lit(400)),assign(lvar(y50),binop(and,lval(lvar(y50)),lit(400)),assign(lvar(y48),binop(sub,lval(lvar(y48)),lval(lvar(y50))),assign(lvar(y49),lval(lvar(y47)),assign(lvar(y51),lval(lvar(y47)),assign(lvar(y49),binop(or,lval(lvar(y49)),lval(lvar(y20))),assign(lvar(y51),binop(and,lval(lvar(y51)),lval(lvar(y20))),assign(lvar(y49),binop(sub,lval(lvar(y49)),lval(lvar(y51))),assign(lvar(y48),binop(and,lval(lvar(y48)),lval(lvar(y49))),assign(lvar(y49),lval(lvar(y47)),assign(lvar(y52),lval(lvar(y47)),assign(lvar(y49),binop(or,lval(lvar(y49)),lval(lvar(y48))),assign(lvar(y52),binop(and,lval(lvar(y52)),lval(lvar(y48))),assign(lvar(y49),binop(sub,lval(lvar(y49)),lval(lvar(y52))),assign(lvar(y49),binop(sr,lval(lvar(y49)),lit(31)),if(y49,label_.BB3,assign(lvar(y53),call(testhash.istr3,[]),assign(lvar(y54),call(prints,[lval(lvar(y53))]),assign(lvar(y17),lit(0),return))))))))))))))))))))))))))),label_.BB5-assign(lvar(y47),lval(lvar(y20)),assign(lvar(y47),binop(sub,lval(lvar(y47)),lit(400)),assign(lvar(y48),lval(lvar(y20)),assign(lvar(y50),lval(lvar(y20)),assign(lvar(y48),binop(or,lval(lvar(y48)),lit(400)),assign(lvar(y50),binop(and,lval(lvar(y50)),lit(400)),assign(lvar(y48),binop(sub,lval(lvar(y48)),lval(lvar(y50))),assign(lvar(y49),lval(lvar(y47)),assign(lvar(y51),lval(lvar(y47)),assign(lvar(y49),binop(or,lval(lvar(y49)),lval(lvar(y20))),assign(lvar(y51),binop(and,lval(lvar(y51)),lval(lvar(y20))),assign(lvar(y49),binop(sub,lval(lvar(y49)),lval(lvar(y51))),assign(lvar(y48),binop(and,lval(lvar(y48)),lval(lvar(y49))),assign(lvar(y49),lval(lvar(y47)),assign(lvar(y52),lval(lvar(y47)),assign(lvar(y49),binop(or,lval(lvar(y49)),lval(lvar(y48))),assign(lvar(y52),binop(and,lval(lvar(y52)),lval(lvar(y48))),assign(lvar(y49),binop(sub,lval(lvar(y49)),lval(lvar(y52))),assign(lvar(y49),binop(sr,lval(lvar(y49)),lit(31)),if(y49,label_.BB3,assign(lvar(y53),call(testhash.istr3,[]),assign(lvar(y54),call(prints,[lval(lvar(y53))]),assign(lvar(y17),lit(0),return)))))))))))))))))))))))],1)
magic_phi(testhash.istr3,[],[],[y13,y14,y15,y16],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y14),lit(17),assign(lvar(y13),newArr(byte,binop(mul,lval(lvar(y14)),lit(1))),assign(lvar(y15),lval(lvar(y13)),assign(lvar(y16),lit(69),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(110),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(100),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(32),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(111),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(102),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(32),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(112),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(114),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(111),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(103),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(114),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(97),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(109),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(46),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(10),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(0),assign(arr(y15,lit(0)),lval(lvar(y16)),return)))))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(testhash.istr2,[],[],[y9,y10,y11,y12],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y10),lit(2),assign(lvar(y9),newArr(byte,binop(mul,lval(lvar(y10)),lit(1))),assign(lvar(y11),lval(lvar(y9)),assign(lvar(y12),lit(10),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(0),assign(arr(y11,lit(0)),lval(lvar(y12)),return))))))))],1)
magic_phi(testhash.istr1,[],[],[y5,y6,y7,y8],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y6),lit(10),assign(lvar(y5),newArr(byte,binop(mul,lval(lvar(y6)),lit(1))),assign(lvar(y7),lval(lvar(y5)),assign(lvar(y8),lit(69),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(114),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(114),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(111),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(114),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(32),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(97),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(116),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(32),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(0),assign(arr(y7,lit(0)),lval(lvar(y8)),return))))))))))))))))))))))))))))))))],1)
magic_phi(testhash.istr0,[],[],[y1,y2,y3,y4],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y2),lit(14),assign(lvar(y1),newArr(byte,binop(mul,lval(lvar(y2)),lit(1))),assign(lvar(y3),lval(lvar(y1)),assign(lvar(y4),lit(82),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(101),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(104),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(97),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(115),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(104),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(105),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(110),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(103),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(46),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(46),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(46),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(10),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(0),assign(arr(y3,lit(0)),lval(lvar(y4)),return))))))))))))))))))))))))))))))))))))))))))))],1)
