magic_struct(struct1,12,3,long)
magic_struct(struct1,8,2,ptrT(structT(struct1)))
magic_struct(struct1,4,1,ptrT(structT(struct1)))
magic_struct(struct1,0,0,long)
magic_phi(SwapChildren,[x5],[ptrT(structT(struct1))],[y72,y73,y74,y75],[long,ptrT(structT(struct1)),ptrT(structT(struct1)),ptrT(structT(struct1))],label_.BB000,[label_.BB000-assign(lvar(y74),lval(field(x5,1)),assign(lvar(y73),lval(lvar(y74)),assign(lvar(y75),lval(field(x5,2)),assign(field(x5,1),lval(lvar(y75)),assign(field(x5,2),lval(lvar(y73)),return)))))],1)
magic_phi(Merge1,[x6,x7],[ptrT(structT(struct1)),ptrT(structT(struct1))],[y76,y77,y78,y79,y80,y81,y82,y83,y84,y85,y86,y87,y88,y89,y90],[ptrT(structT(struct1)),ptrT(long),ptrT(structT(struct1)),ptrT(structT(struct1)),ptrT(structT(struct1)),long,ptrT(structT(struct1)),long,long,long,long,long,ptrT(structT(struct1)),long,long],label_.BB000,[label_.BB000-assign(lvar(y77),lval(field(x6,1)),if(y77,label_.BB4,assign(field(x6,1),lval(lvar(x7)),goto(label_.BB6)))),label_.BB4-assign(lvar(y78),lval(field(x6,2)),assign(lvar(y79),call(Merge,[lval(lvar(y78)),lval(lvar(x7))]),assign(field(x6,2),lval(lvar(y79)),assign(lvar(y80),lval(field(x6,1)),assign(lvar(y81),lval(field(y80,3)),assign(lvar(y82),lval(field(x6,2)),assign(lvar(y83),lval(field(y82,3)),assign(lvar(y84),lval(lvar(y81)),assign(lvar(y84),binop(sub,lval(lvar(y84)),lval(lvar(y83))),assign(lvar(y84),binop(mul,lval(lvar(y84)),lit(-1)),assign(lvar(y84),binop(add,lval(lvar(y84)),lit(-1)),assign(lvar(y85),lval(lvar(y83)),assign(lvar(y86),lval(lvar(y83)),assign(lvar(y85),binop(or,lval(lvar(y85)),lval(lvar(y81))),assign(lvar(y86),binop(and,lval(lvar(y86)),lval(lvar(y81))),assign(lvar(y85),binop(sub,lval(lvar(y85)),lval(lvar(y86))),assign(lvar(y85),binop(or,lval(lvar(y85)),lval(lvar(y84))),assign(lvar(y84),lval(lvar(y81)),assign(lvar(y84),binop(mul,lval(lvar(y84)),lit(-1)),assign(lvar(y84),binop(add,lval(lvar(y84)),lit(-1)),assign(lvar(y84),binop(or,lval(lvar(y84)),lval(lvar(y83))),assign(lvar(y84),binop(and,lval(lvar(y84)),lval(lvar(y85))),assign(lvar(y84),binop(sr,lval(lvar(y84)),lit(31)),if(y84,label_.BB5,assign(lvar(y87),call(SwapChildren,[lval(lvar(x6))]),assign(lvar(y88),lval(field(x6,2)),assign(lvar(y89),lval(field(y88,3)),assign(lvar(y90),lval(lvar(y89)),assign(lvar(y90),binop(add,lval(lvar(y90)),lit(1)),assign(field(x6,3),lval(lvar(y90)),assign(lvar(y76),lval(lvar(x6)),return))))))))))))))))))))))))))))))),label_.BB5-assign(lvar(y88),lval(field(x6,2)),assign(lvar(y89),lval(field(y88,3)),assign(lvar(y90),lval(lvar(y89)),assign(lvar(y90),binop(add,lval(lvar(y90)),lit(1)),assign(field(x6,3),lval(lvar(y90)),assign(lvar(y76),lval(lvar(x6)),return)))))),label_.BB6-assign(lvar(y76),lval(lvar(x6)),return)],1)
magic_phi(Merge,[x3,x4],[ptrT(structT(struct1)),ptrT(structT(struct1))],[y64,y65,y66,y67,y68,y69,y70,y71],[ptrT(structT(struct1)),long,long,long,long,long,ptrT(structT(struct1)),ptrT(structT(struct1))],label_.BB000,[label_.BB000-if(x3,label_.BB0,assign(lvar(y64),lval(lvar(x4)),goto(label_.BB3))),label_.BB0-if(x4,label_.BB1,assign(lvar(y64),lval(lvar(x3)),goto(label_.BB3))),label_.BB1-assign(lvar(y65),lval(field(x3,0)),assign(lvar(y66),lval(field(x4,0)),assign(lvar(y67),lval(lvar(y65)),assign(lvar(y67),binop(sub,lval(lvar(y67)),lval(lvar(y66))),assign(lvar(y67),binop(mul,lval(lvar(y67)),lit(-1)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(-1)),assign(lvar(y68),lval(lvar(y66)),assign(lvar(y69),lval(lvar(y66)),assign(lvar(y68),binop(or,lval(lvar(y68)),lval(lvar(y65))),assign(lvar(y69),binop(and,lval(lvar(y69)),lval(lvar(y65))),assign(lvar(y68),binop(sub,lval(lvar(y68)),lval(lvar(y69))),assign(lvar(y68),binop(or,lval(lvar(y68)),lval(lvar(y67))),assign(lvar(y67),lval(lvar(y65)),assign(lvar(y67),binop(mul,lval(lvar(y67)),lit(-1)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(-1)),assign(lvar(y67),binop(or,lval(lvar(y67)),lval(lvar(y66))),assign(lvar(y67),binop(and,lval(lvar(y67)),lval(lvar(y68))),assign(lvar(y67),binop(sr,lval(lvar(y67)),lit(31)),if(y67,label_.BB2,assign(lvar(y70),call(Merge1,[lval(lvar(x3)),lval(lvar(x4))]),assign(lvar(y64),lval(lvar(y70)),goto(label_.BB3)))))))))))))))))))))),label_.BB2-assign(lvar(y71),call(Merge1,[lval(lvar(x4)),lval(lvar(x3))]),assign(lvar(y64),lval(lvar(y71)),return)),label_.BB3-return],1)
magic_phi(leftheap.istr5,[],[],[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(leftheap.istr4,[],[],[y55,y56,y57,y58],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y56),lit(24),assign(lvar(y55),newArr(byte,binop(mul,lval(lvar(y56)),lit(1))),assign(lvar(y57),lval(lvar(y55)),assign(lvar(y58),lit(80),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(114),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(111),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(114),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(116),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(121),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(81),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(117),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(117),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(105),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(32),assign(arr(y57,lit(0)),lval(lvar(y58)),assign(lvar(y57),binop(add,lval(lvar(y57)),lit(1)),assign(lvar(y58),lit(69),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(112),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(121),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(leftheap.istr3,[],[],[y51,y52,y53,y54],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y52),lit(2),assign(lvar(y51),newArr(byte,binop(mul,lval(lvar(y52)),lit(1))),assign(lvar(y53),lval(lvar(y51)),assign(lvar(y54),lit(10),assign(arr(y53,lit(0)),lval(lvar(y54)),assign(lvar(y53),binop(add,lval(lvar(y53)),lit(1)),assign(lvar(y54),lit(0),assign(arr(y53,lit(0)),lval(lvar(y54)),return))))))))],1)
magic_phi(leftheap.istr2,[],[],[y47,y48,y49,y50],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y48),lit(24),assign(lvar(y47),newArr(byte,binop(mul,lval(lvar(y48)),lit(1))),assign(lvar(y49),lval(lvar(y47)),assign(lvar(y50),lit(80),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(114),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(105),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(111),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(114),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(105),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(116),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(121),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(32),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(113),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(117),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(101),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(117),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(101),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(32),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(105),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(115),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(32),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(101),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(109),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(112),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(116),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(121),assign(arr(y49,lit(0)),lval(lvar(y50)),assign(lvar(y49),binop(add,lval(lvar(y49)),lit(1)),assign(lvar(y50),lit(0),assign(arr(y49,lit(0)),lval(lvar(y50)),return))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(leftheap.istr1,[],[],[y43,y44,y45,y46],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y44),lit(2),assign(lvar(y43),newArr(byte,binop(mul,lval(lvar(y44)),lit(1))),assign(lvar(y45),lval(lvar(y43)),assign(lvar(y46),lit(10),assign(arr(y45,lit(0)),lval(lvar(y46)),assign(lvar(y45),binop(add,lval(lvar(y45)),lit(1)),assign(lvar(y46),lit(0),assign(arr(y45,lit(0)),lval(lvar(y46)),return))))))))],1)
magic_phi(leftheap.istr0,[],[],[y39,y40,y41,y42],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y40),lit(16),assign(lvar(y39),newArr(byte,binop(mul,lval(lvar(y40)),lit(1))),assign(lvar(y41),lval(lvar(y39)),assign(lvar(y42),lit(79),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(117),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(116),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(32),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(111),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(102),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(32),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(115),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(112),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(97),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(99),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(101),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(33),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(33),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(33),assign(arr(y41,lit(0)),lval(lvar(y42)),assign(lvar(y41),binop(add,lval(lvar(y41)),lit(1)),assign(lvar(y42),lit(0),assign(arr(y41,lit(0)),lval(lvar(y42)),return))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(IsEmpty,[x12],[ptrT(long)],[y126,y127,y128],[long,long,long],label_.BB000,[label_.BB000-if(x12,label_.BB15,assign(lvar(y127),lit(1),goto(label_.BB16))),label_.BB15-assign(lvar(y127),lit(0),if(y127,label_.BB13,assign(lvar(y128),lit(0),goto(label_.BB14)))),label_.BB16-if(y127,label_.BB13,assign(lvar(y128),lit(0),goto(label_.BB14))),label_.BB13-assign(lvar(y128),lit(1),assign(lvar(y126),lval(lvar(y128)),return)),label_.BB14-assign(lvar(y126),lval(lvar(y128)),return)],1)
magic_phi(DeleteMin1,[x10],[ptrT(structT(struct1))],[y102,y103,y104,y105,y106,y107,y108,y109,y110,y111,y112,y113,y114,y115,y116],[ptrT(structT(struct1)),ptrT(structT(struct1)),ptrT(structT(struct1)),long,long,long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,ptrT(structT(struct1)),ptrT(structT(struct1)),ptrT(structT(struct1))],label_.BB000,[label_.BB000-assign(lvar(y105),call(IsEmpty,[lval(lvar(x10))]),assign(lvar(y106),lval(lvar(y105)),assign(lvar(y106),binop(sub,lval(lvar(y106)),lit(1)),assign(lvar(y107),lval(lvar(y105)),assign(lvar(y107),binop(mul,lval(lvar(y107)),lit(-1)),assign(lvar(y107),binop(add,lval(lvar(y107)),lit(-1)),assign(lvar(y106),binop(and,lval(lvar(y106)),lval(lvar(y107))),assign(lvar(y106),binop(sr,lval(lvar(y106)),lit(31)),if(y106,label_.BB9,assign(lvar(y108),call(leftheap.istr2,[]),assign(lvar(y109),call(prints,[lval(lvar(y108))]),assign(lvar(y110),call(leftheap.istr3,[]),assign(lvar(y111),call(prints,[lval(lvar(y110))]),assign(lvar(y113),lit(1),assign(lvar(y112),call(mincexit,[lval(lvar(y113))]),assign(lvar(y102),lval(lvar(x10)),goto(label_.BB10))))))))))))))))),label_.BB9-assign(lvar(y114),lval(field(x10,1)),assign(lvar(y103),lval(lvar(y114)),assign(lvar(y115),lval(field(x10,2)),assign(lvar(y104),lval(lvar(y115)),assign(lvar(y116),call(Merge,[lval(lvar(y103)),lval(lvar(y104))]),assign(lvar(y102),lval(lvar(y116)),return)))))),label_.BB10-return],1)
magic_phi(FindMin,[x11],[ptrT(long)],[y117,y118,y119,y120,y121,y122,y123,y124,y125],[long,long,long,ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long],label_.BB000,[label_.BB000-assign(lvar(y118),call(IsEmpty,[lval(lvar(x11))]),if(y118,label_.BB11,assign(lvar(y119),lval(deref(x11)),assign(lvar(y117),lval(lvar(y119)),goto(label_.BB12))))),label_.BB11-assign(lvar(y120),call(leftheap.istr4,[]),assign(lvar(y121),call(prints,[lval(lvar(y120))]),assign(lvar(y122),call(leftheap.istr5,[]),assign(lvar(y123),call(prints,[lval(lvar(y122))]),assign(lvar(y125),lit(1),assign(lvar(y124),call(mincexit,[lval(lvar(y125))]),assign(lvar(y117),lit(0),return))))))),label_.BB12-return],1)
magic_phi(Insert1,[x8,x9],[long,ptrT(structT(struct1))],[y91,y92,y93,y94,y95,y96,y97,y98,y99,y100,y101],[ptrT(structT(struct1)),ptrT(structT(struct1)),ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,long,ptrT(structT(struct1)),ptrT(structT(struct1))],label_.BB000,[label_.BB000-assign(lvar(y92),newStruct(struct1),if(y92,label_.BB7,assign(lvar(y93),call(leftheap.istr0,[]),assign(lvar(y94),call(prints,[lval(lvar(y93))]),assign(lvar(y95),call(leftheap.istr1,[]),assign(lvar(y96),call(prints,[lval(lvar(y95))]),assign(lvar(y98),lit(1),assign(lvar(y97),call(mincexit,[lval(lvar(y98))]),goto(label_.BB8))))))))),label_.BB7-assign(field(y92,0),lval(lvar(x8)),assign(lvar(y99),lit(0),assign(field(y92,3),lval(lvar(y99)),assign(lvar(y100),lit(0),assign(field(y92,2),lval(lvar(y100)),assign(lvar(y101),lval(field(y92,2)),assign(field(y92,1),lval(lvar(y101)),assign(lvar(x9),call(Merge,[lval(lvar(y92)),lval(lvar(x9))]),assign(lvar(y91),lval(lvar(x9)),return))))))))),label_.BB8-assign(lvar(y91),lval(lvar(x9)),return)],1)
magic_phi(Initialize,[],[],[y63],[ptrT(structT(struct1))],label_.BB000,[label_.BB000-assign(lvar(y63),lit(0),return)],1)
magic_phi(main,[x1,x2],[long,ptrT(arrT(ptrT(arrT(byte))))],[y13,y14,y15,y16,y17,y18,y19,y20,y21,y22,y23,y24,y25,y26,y27,y28,y29,y30,y31,y32,y33,y34,y35,y36,y37,y38],[long,ptrT(structT(struct1)),long,long,long,long,long,long,long,long,long,long,long,long,long,long,ptrT(arrT(byte)),long,long,ptrT(arrT(byte)),long,long,long,long,ptrT(arrT(byte)),long],label_.BB000,[label_.BB000-assign(lvar(y14),call(Initialize,[]),assign(lvar(y15),lit(0),assign(lvar(y16),lit(500),goto(label_.BB1)))),label_.BB0-assign(lvar(y14),call(Insert1,[lval(lvar(y16)),lval(lvar(y14))]),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y17),lval(lvar(y16)),assign(lvar(y17),binop(add,lval(lvar(y17)),lit(17)),assign(lvar(y19),lval(lvar(y17)),assign(lvar(y19),binop(div,lval(lvar(y19)),lit(1000)),assign(lvar(y19),binop(mul,lval(lvar(y19)),lit(1000)),assign(lvar(y18),lval(lvar(y17)),assign(lvar(y18),binop(sub,lval(lvar(y18)),lval(lvar(y19))),assign(lvar(y16),lval(lvar(y18)),assign(lvar(y20),lval(lvar(y15)),assign(lvar(y20),binop(sub,lval(lvar(y20)),lit(1000)),assign(lvar(y21),lval(lvar(y15)),assign(lvar(y23),lval(lvar(y15)),assign(lvar(y21),binop(or,lval(lvar(y21)),lit(1000)),assign(lvar(y23),binop(and,lval(lvar(y23)),lit(1000)),assign(lvar(y21),binop(sub,lval(lvar(y21)),lval(lvar(y23))),assign(lvar(y22),lval(lvar(y20)),assign(lvar(y24),lval(lvar(y20)),assign(lvar(y22),binop(or,lval(lvar(y22)),lval(lvar(y15))),assign(lvar(y24),binop(and,lval(lvar(y24)),lval(lvar(y15))),assign(lvar(y22),binop(sub,lval(lvar(y22)),lval(lvar(y24))),assign(lvar(y21),binop(and,lval(lvar(y21)),lval(lvar(y22))),assign(lvar(y22),lval(lvar(y20)),assign(lvar(y25),lval(lvar(y20)),assign(lvar(y22),binop(or,lval(lvar(y22)),lval(lvar(y21))),assign(lvar(y25),binop(and,lval(lvar(y25)),lval(lvar(y21))),assign(lvar(y22),binop(sub,lval(lvar(y22)),lval(lvar(y25))),assign(lvar(y22),binop(sr,lval(lvar(y22)),lit(31)),if(y22,label_.BB0,assign(lvar(y16),lit(0),goto(label_.BB4)))))))))))))))))))))))))))))))),label_.BB1-assign(lvar(y20),lval(lvar(y15)),assign(lvar(y20),binop(sub,lval(lvar(y20)),lit(1000)),assign(lvar(y21),lval(lvar(y15)),assign(lvar(y23),lval(lvar(y15)),assign(lvar(y21),binop(or,lval(lvar(y21)),lit(1000)),assign(lvar(y23),binop(and,lval(lvar(y23)),lit(1000)),assign(lvar(y21),binop(sub,lval(lvar(y21)),lval(lvar(y23))),assign(lvar(y22),lval(lvar(y20)),assign(lvar(y24),lval(lvar(y20)),assign(lvar(y22),binop(or,lval(lvar(y22)),lval(lvar(y15))),assign(lvar(y24),binop(and,lval(lvar(y24)),lval(lvar(y15))),assign(lvar(y22),binop(sub,lval(lvar(y22)),lval(lvar(y24))),assign(lvar(y21),binop(and,lval(lvar(y21)),lval(lvar(y22))),assign(lvar(y22),lval(lvar(y20)),assign(lvar(y25),lval(lvar(y20)),assign(lvar(y22),binop(or,lval(lvar(y22)),lval(lvar(y21))),assign(lvar(y25),binop(and,lval(lvar(y25)),lval(lvar(y21))),assign(lvar(y22),binop(sub,lval(lvar(y22)),lval(lvar(y25))),assign(lvar(y22),binop(sr,lval(lvar(y22)),lit(31)),if(y22,label_.BB0,assign(lvar(y16),lit(0),goto(label_.BB4)))))))))))))))))))))),label_.BB2-assign(lvar(y26),call(FindMin,[lval(lvar(y14))]),assign(lvar(y27),lval(lvar(y16)),assign(lvar(y16),binop(add,lval(lvar(y16)),lit(1)),assign(lvar(y28),binop(eq,lval(lvar(y26)),lval(lvar(y27))),if(y28,label_.BB3,assign(lvar(y29),call(testleft.istr0,[]),assign(lvar(y30),call(prints,[lval(lvar(y29))]),assign(lvar(y31),call(print32,[lval(lvar(y16))]),assign(lvar(y32),call(testleft.istr1,[]),assign(lvar(y33),call(prints,[lval(lvar(y32))]),goto(label_.BB4))))))))))),label_.BB3-assign(lvar(y14),call(DeleteMin1,[lval(lvar(y14))]),assign(lvar(y34),call(IsEmpty,[lval(lvar(y14))]),assign(lvar(y35),lval(lvar(y34)),assign(lvar(y35),binop(sub,lval(lvar(y35)),lit(1)),assign(lvar(y36),lval(lvar(y34)),assign(lvar(y36),binop(mul,lval(lvar(y36)),lit(-1)),assign(lvar(y36),binop(add,lval(lvar(y36)),lit(-1)),assign(lvar(y35),binop(and,lval(lvar(y35)),lval(lvar(y36))),assign(lvar(y35),binop(sr,lval(lvar(y35)),lit(31)),if(y35,label_.BB2,assign(lvar(y37),call(testleft.istr2,[]),assign(lvar(y38),call(prints,[lval(lvar(y37))]),assign(lvar(y13),lit(0),return))))))))))))),label_.BB4-assign(lvar(y34),call(IsEmpty,[lval(lvar(y14))]),assign(lvar(y35),lval(lvar(y34)),assign(lvar(y35),binop(sub,lval(lvar(y35)),lit(1)),assign(lvar(y36),lval(lvar(y34)),assign(lvar(y36),binop(mul,lval(lvar(y36)),lit(-1)),assign(lvar(y36),binop(add,lval(lvar(y36)),lit(-1)),assign(lvar(y35),binop(and,lval(lvar(y35)),lval(lvar(y36))),assign(lvar(y35),binop(sr,lval(lvar(y35)),lit(31)),if(y35,label_.BB2,assign(lvar(y37),call(testleft.istr2,[]),assign(lvar(y38),call(prints,[lval(lvar(y37))]),assign(lvar(y13),lit(0),return))))))))))))],1)
magic_phi(testleft.istr2,[],[],[y9,y10,y11,y12],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y10),lit(9),assign(lvar(y9),newArr(byte,binop(mul,lval(lvar(y10)),lit(1))),assign(lvar(y11),lval(lvar(y9)),assign(lvar(y12),lit(68),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(111),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(110),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(101),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(46),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(46),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(46),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),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(testleft.istr1,[],[],[y5,y6,y7,y8],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y6),lit(2),assign(lvar(y5),newArr(byte,binop(mul,lval(lvar(y6)),lit(1))),assign(lvar(y7),lval(lvar(y5)),assign(lvar(y8),lit(10),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(testleft.istr0,[],[],[y1,y2,y3,y4],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y2),lit(21),assign(lvar(y1),newArr(byte,binop(mul,lval(lvar(y2)),lit(1))),assign(lvar(y3),lval(lvar(y1)),assign(lvar(y4),lit(69),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(114),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(114),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(111),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(114),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(32),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(32),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(68),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(108),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(116),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(77),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(44),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(32),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)
