/src/mint/afl-tests/
- ../
- id:000000,orig:admin_add_incoming.req
- id:000001,orig:deposit.req
- id:000002,orig:keys.req
- id:000003,orig:refresh_link.req
- id:000004,orig:refresh_melt.req
- id:000005,orig:refresh_reveal.req
- id:000006,orig:reserve_status.req
- id:000007,orig:reserve_withdraw.req
- id:000008,orig:wire.req
- id:000009,orig:wire_sepa.req
- id:000010,orig:wire_test.req
- id:000011,src:000000,op:flip1,pos:2,+cov
- id:000012,src:000000,op:flip1,pos:4,+cov
- id:000013,src:000000,op:flip1,pos:5,+cov
- id:000014,src:000000,op:flip1,pos:5,+cov
- id:000015,src:000000,op:flip1,pos:8,+cov
- id:000016,src:000000,op:flip1,pos:11
- id:000017,src:000000,op:flip1,pos:13,+cov
- id:000018,src:000000,op:flip1,pos:13,+cov
- id:000019,src:000000,op:flip1,pos:19,+cov
- id:000020,src:000000,op:flip1,pos:19,+cov
- id:000021,src:000000,op:flip1,pos:21,+cov
- id:000022,src:000000,op:flip1,pos:23,+cov
- id:000023,src:000000,op:flip1,pos:24,+cov
- id:000024,src:000000,op:flip1,pos:24,+cov
- id:000025,src:000000,op:flip1,pos:24,+cov
- id:000026,src:000000,op:flip1,pos:25,+cov
- id:000027,src:000000,op:flip1,pos:26,+cov
- id:000028,src:000000,op:flip1,pos:26,+cov
- id:000029,src:000000,op:flip1,pos:27,+cov
- id:000030,src:000000,op:flip1,pos:27
- id:000031,src:000000,op:flip1,pos:28,+cov
- id:000032,src:000000,op:flip1,pos:30,+cov
- id:000033,src:000000,op:flip1,pos:30,+cov
- id:000034,src:000000,op:flip1,pos:30,+cov
- id:000035,src:000000,op:flip1,pos:30,+cov
- id:000036,src:000000,op:flip1,pos:31,+cov
- id:000037,src:000000,op:flip1,pos:32,+cov
- id:000038,src:000000,op:flip1,pos:32
- id:000039,src:000000,op:flip1,pos:34,+cov
- id:000040,src:000000,op:flip1,pos:34,+cov
- id:000041,src:000000,op:flip1,pos:36,+cov
- id:000042,src:000000,op:flip1,pos:36,+cov
- id:000043,src:000000,op:flip1,pos:37,+cov
- id:000044,src:000000,op:flip1,pos:38
- id:000045,src:000000,op:flip1,pos:39,+cov
- id:000046,src:000000,op:flip1,pos:39,+cov
- id:000047,src:000000,op:flip1,pos:39,+cov
- id:000048,src:000000,op:flip1,pos:40,+cov
- id:000049,src:000000,op:flip1,pos:41,+cov
- id:000050,src:000000,op:flip1,pos:42,+cov
- id:000051,src:000000,op:flip1,pos:47,+cov
- id:000052,src:000000,op:flip1,pos:47,+cov
- id:000053,src:000000,op:flip1,pos:47,+cov
- id:000054,src:000000,op:flip1,pos:49,+cov
- id:000055,src:000000,op:flip1,pos:52,+cov
- id:000056,src:000000,op:flip1,pos:52,+cov
- id:000057,src:000000,op:flip1,pos:54,+cov
- id:000058,src:000000,op:flip1,pos:54,+cov
- id:000059,src:000000,op:flip1,pos:55,+cov
- id:000060,src:000000,op:flip1,pos:56,+cov
- id:000061,src:000000,op:flip1,pos:59,+cov
- id:000062,src:000000,op:flip1,pos:60,+cov
- id:000063,src:000000,op:flip1,pos:61,+cov
- id:000064,src:000000,op:flip1,pos:62,+cov
- id:000065,src:000000,op:flip1,pos:63,+cov
- id:000066,src:000000,op:flip1,pos:63,+cov
- id:000067,src:000000,op:flip1,pos:65,+cov
- id:000068,src:000000,op:flip1,pos:66,+cov
- id:000069,src:000000,op:flip1,pos:67,+cov
- id:000070,src:000000,op:flip1,pos:69,+cov
- id:000071,src:000000,op:flip1,pos:74,+cov
- id:000072,src:000000,op:flip1,pos:76,+cov
- id:000073,src:000000,op:flip1,pos:81,+cov
- id:000074,src:000000,op:flip1,pos:82,+cov
- id:000075,src:000000,op:flip1,pos:82,+cov
- id:000076,src:000000,op:flip1,pos:83,+cov
- id:000077,src:000000,op:flip1,pos:85,+cov
- id:000078,src:000000,op:flip1,pos:87,+cov
- id:000079,src:000000,op:flip1,pos:87,+cov
- id:000080,src:000000,op:flip1,pos:87,+cov
- id:000081,src:000000,op:flip1,pos:90,+cov
- id:000082,src:000000,op:flip1,pos:92,+cov
- id:000083,src:000000,op:flip1,pos:93,+cov
- id:000084,src:000000,op:flip1,pos:95,+cov
- id:000085,src:000000,op:flip1,pos:95,+cov
- id:000086,src:000000,op:flip1,pos:96,+cov
- id:000087,src:000000,op:flip1,pos:96,+cov
- id:000088,src:000000,op:flip1,pos:100,+cov
- id:000089,src:000000,op:flip1,pos:105
- id:000090,src:000000,op:flip1,pos:113,+cov
- id:000091,src:000000,op:flip1,pos:114,+cov
- id:000092,src:000000,op:flip1,pos:121,+cov
- id:000093,src:000000,op:flip1,pos:123,+cov
- id:000094,src:000000,op:flip1,pos:126,+cov
- id:000095,src:000000,op:flip1,pos:135,+cov
- id:000096,src:000000,op:flip1,pos:135,+cov
- id:000097,src:000000,op:flip1,pos:135,+cov
- id:000098,src:000000,op:flip1,pos:136,+cov
- id:000099,src:000000,op:flip1,pos:136,+cov
- id:000100,src:000000,op:flip1,pos:136,+cov
- id:000101,src:000000,op:flip1,pos:136,+cov
- id:000102,src:000000,op:flip1,pos:137,+cov
- id:000103,src:000000,op:flip1,pos:138,+cov
- id:000104,src:000000,op:flip1,pos:138,+cov
- id:000105,src:000000,op:flip1,pos:139,+cov
- id:000106,src:000000,op:flip1,pos:139,+cov
- id:000107,src:000000,op:flip1,pos:140,+cov
- id:000108,src:000000,op:flip1,pos:141,+cov
- id:000109,src:000000,op:flip1,pos:141,+cov
- id:000110,src:000000,op:flip1,pos:143,+cov
- id:000111,src:000000,op:flip1,pos:145,+cov
- id:000112,src:000000,op:flip1,pos:147,+cov
- id:000113,src:000000,op:flip1,pos:147,+cov
- id:000114,src:000000,op:flip1,pos:150,+cov
- id:000115,src:000000,op:flip1,pos:153,+cov
- id:000116,src:000000,op:flip1,pos:154,+cov
- id:000117,src:000000,op:flip1,pos:155,+cov
- id:000118,src:000000,op:flip1,pos:157,+cov
- id:000119,src:000000,op:flip1,pos:158,+cov
- id:000120,src:000000,op:flip1,pos:158,+cov
- id:000121,src:000000,op:flip1,pos:159,+cov
- id:000122,src:000000,op:flip1,pos:159,+cov
- id:000123,src:000000,op:flip1,pos:161,+cov
- id:000124,src:000000,op:flip1,pos:164,+cov
- id:000125,src:000000,op:flip1,pos:166,+cov
- id:000126,src:000000,op:flip1,pos:166,+cov
- id:000127,src:000000,op:flip1,pos:167,+cov
- id:000128,src:000000,op:flip1,pos:170,+cov
- id:000129,src:000000,op:flip1,pos:173,+cov
- id:000130,src:000000,op:flip1,pos:173,+cov
- id:000131,src:000000,op:flip1,pos:174,+cov
- id:000132,src:000000,op:flip1,pos:176,+cov
- id:000133,src:000000,op:flip1,pos:178,+cov
- id:000134,src:000000,op:flip1,pos:178,+cov
- id:000135,src:000000,op:flip1,pos:179,+cov
- id:000136,src:000000,op:flip1,pos:183,+cov
- id:000137,src:000000,op:flip1,pos:184,+cov
- id:000138,src:000000,op:flip1,pos:185,+cov
- id:000139,src:000000,op:flip1,pos:190
- id:000140,src:000000,op:flip1,pos:200,+cov
- id:000141,src:000000,op:flip1,pos:205,+cov
- id:000142,src:000000,op:flip1,pos:211,+cov
- id:000143,src:000000,op:flip1,pos:238,+cov
- id:000144,src:000000,op:flip1,pos:238,+cov
- id:000145,src:000000,op:flip1,pos:241,+cov
- id:000146,src:000000,op:flip1,pos:245
- id:000147,src:000000,op:flip1,pos:255,+cov
- id:000148,src:000000,op:flip1,pos:262,+cov
- id:000149,src:000000,op:flip1,pos:270,+cov
- id:000150,src:000000,op:flip1,pos:279,+cov
- id:000151,src:000000,op:flip1,pos:279,+cov
- id:000152,src:000000,op:flip1,pos:283,+cov
- id:000153,src:000000,op:flip1,pos:291,+cov
- id:000154,src:000000,op:flip1,pos:298,+cov
- id:000155,src:000000,op:flip1,pos:302,+cov
- id:000156,src:000000,op:flip1,pos:305,+cov
- id:000157,src:000000,op:flip1,pos:307,+cov
- id:000158,src:000000,op:flip1,pos:313,+cov
- id:000159,src:000000,op:flip1,pos:313,+cov
- id:000160,src:000000,op:flip1,pos:314,+cov
- id:000161,src:000000,op:flip1,pos:314,+cov
- id:000162,src:000000,op:flip1,pos:315,+cov
- id:000163,src:000000,op:flip1,pos:316,+cov
- id:000164,src:000000,op:flip1,pos:317
- id:000165,src:000000,op:flip1,pos:317,+cov
- id:000166,src:000000,op:flip1,pos:319,+cov
- id:000167,src:000000,op:flip1,pos:320,+cov
- id:000168,src:000000,op:flip1,pos:322,+cov
- id:000169,src:000000,op:flip1,pos:326,+cov
- id:000170,src:000000,op:flip1,pos:328,+cov
- id:000171,src:000000,op:flip1,pos:329
- id:000172,src:000000,op:flip1,pos:332,+cov
- id:000173,src:000000,op:flip2,pos:8,+cov
- id:000174,src:000000,op:flip2,pos:8,+cov
- id:000175,src:000000,op:flip2,pos:28,+cov
- id:000176,src:000000,op:flip2,pos:30,+cov
- id:000177,src:000000,op:flip2,pos:30,+cov
- id:000178,src:000000,op:flip2,pos:31,+cov
- id:000179,src:000000,op:flip2,pos:31,+cov
- id:000180,src:000000,op:flip2,pos:32,+cov
- id:000181,src:000000,op:flip2,pos:36,+cov
- id:000182,src:000000,op:flip2,pos:38
- id:000183,src:000000,op:flip2,pos:39,+cov
- id:000184,src:000000,op:flip2,pos:40,+cov
- id:000185,src:000000,op:flip2,pos:40,+cov
- id:000186,src:000000,op:flip2,pos:40,+cov
- id:000187,src:000000,op:flip2,pos:46,+cov
- id:000188,src:000000,op:flip2,pos:47,+cov
- id:000189,src:000000,op:flip2,pos:48,+cov
- id:000190,src:000000,op:flip2,pos:49,+cov
- id:000191,src:000000,op:flip2,pos:53,+cov
- id:000192,src:000000,op:flip2,pos:53,+cov
- id:000193,src:000000,op:flip2,pos:62,+cov
- id:000194,src:000000,op:flip2,pos:68,+cov
- id:000195,src:000000,op:flip2,pos:70,+cov
- id:000196,src:000000,op:flip2,pos:73,+cov
- id:000197,src:000000,op:flip2,pos:73,+cov
- id:000198,src:000000,op:flip2,pos:76,+cov
- id:000199,src:000000,op:flip2,pos:76,+cov
- id:000200,src:000000,op:flip2,pos:80,+cov
- id:000201,src:000000,op:flip2,pos:86,+cov
- id:000202,src:000000,op:flip2,pos:90,+cov
- id:000203,src:000000,op:flip2,pos:93,+cov
- id:000204,src:000000,op:flip2,pos:100,+cov
- id:000205,src:000000,op:flip2,pos:114
- id:000206,src:000000,op:flip2,pos:115,+cov
- id:000207,src:000000,op:flip2,pos:116,+cov
- id:000208,src:000000,op:flip2,pos:124,+cov
- id:000209,src:000000,op:flip2,pos:135,+cov
- id:000210,src:000000,op:flip2,pos:137,+cov
- id:000211,src:000000,op:flip2,pos:138,+cov
- id:000212,src:000000,op:flip2,pos:138,+cov
- id:000213,src:000000,op:flip2,pos:139,+cov
- id:000214,src:000000,op:flip2,pos:143,+cov
- id:000215,src:000000,op:flip2,pos:146,+cov
- id:000216,src:000000,op:flip2,pos:156,+cov
- id:000217,src:000000,op:flip2,pos:161,+cov
- id:000218,src:000000,op:flip2,pos:176,+cov
- id:000219,src:000000,op:flip2,pos:185,+cov
- id:000220,src:000000,op:flip2,pos:193,+cov
- id:000221,src:000000,op:flip2,pos:226,+cov
- id:000222,src:000000,op:flip2,pos:232,+cov
- id:000223,src:000000,op:flip2,pos:239,+cov
- id:000224,src:000000,op:flip2,pos:241,+cov
- id:000225,src:000000,op:flip2,pos:250,+cov
- id:000226,src:000000,op:flip2,pos:272,+cov
- id:000227,src:000000,op:flip2,pos:277,+cov
- id:000228,src:000000,op:flip2,pos:316,+cov
- id:000229,src:000000,op:flip2,pos:316,+cov
- id:000230,src:000000,op:flip2,pos:316,+cov
- id:000231,src:000000,op:flip2,pos:317,+cov
- id:000232,src:000000,op:flip2,pos:320,+cov
- id:000233,src:000000,op:flip2,pos:321,+cov
- id:000234,src:000000,op:flip2,pos:327,+cov
- id:000235,src:000000,op:flip2,pos:328,+cov
- id:000236,src:000000,op:flip2,pos:330,+cov
- id:000237,src:000000,op:flip2,pos:331,+cov
- id:000238,src:000000,op:flip4,pos:5,+cov
- id:000239,src:000000,op:flip4,pos:25,+cov
- id:000240,src:000000,op:flip4,pos:29,+cov
- id:000241,src:000000,op:flip4,pos:30
- id:000242,src:000000,op:flip4,pos:32
- id:000243,src:000000,op:flip4,pos:37,+cov
- id:000244,src:000000,op:flip4,pos:39,+cov
- id:000245,src:000000,op:flip4,pos:45,+cov
- id:000246,src:000000,op:flip4,pos:47,+cov
- id:000247,src:000000,op:flip4,pos:50,+cov
- id:000248,src:000000,op:flip4,pos:60,+cov
- id:000249,src:000000,op:flip4,pos:68,+cov
- id:000250,src:000000,op:flip4,pos:68,+cov
- id:000251,src:000000,op:flip4,pos:74,+cov
- id:000252,src:000000,op:flip4,pos:75,+cov
- id:000253,src:000000,op:flip4,pos:75,+cov
- id:000254,src:000000,op:flip4,pos:76,+cov
- id:000255,src:000000,op:flip4,pos:81,+cov
- id:000256,src:000000,op:flip4,pos:83,+cov
- id:000257,src:000000,op:flip4,pos:86,+cov
- id:000258,src:000000,op:flip4,pos:88,+cov
- id:000259,src:000000,op:flip4,pos:91,+cov
- id:000260,src:000000,op:flip4,pos:112,+cov
- id:000261,src:000000,op:flip4,pos:139,+cov
- id:000262,src:000000,op:flip4,pos:142,+cov
- id:000263,src:000000,op:flip4,pos:147,+cov
- id:000264,src:000000,op:flip4,pos:157,+cov
- id:000265,src:000000,op:flip4,pos:157,+cov
- id:000266,src:000000,op:flip4,pos:177,+cov
- id:000267,src:000000,op:flip4,pos:225,+cov
- id:000268,src:000000,op:flip4,pos:258,+cov
- id:000269,src:000000,op:flip4,pos:270,+cov
- id:000270,src:000000,op:flip4,pos:280,+cov
- id:000271,src:000000,op:flip4,pos:284,+cov
- id:000272,src:000000,op:flip4,pos:317,+cov
- id:000273,src:000000,op:flip4,pos:328,+cov
- id:000274,src:000000,op:flip4,pos:330,+cov
- id:000275,src:000000,op:flip8,pos:32,+cov
- id:000276,src:000000,op:flip8,pos:47,+cov
- id:000277,src:000000,op:flip8,pos:52,+cov
- id:000278,src:000000,op:flip8,pos:62,+cov
- id:000279,src:000000,op:flip8,pos:87,+cov
- id:000280,src:000000,op:flip8,pos:88,+cov
- id:000281,src:000000,op:flip8,pos:331,+cov
- id:000282,src:000000,op:flip16,pos:39,+cov
- id:000283,src:000000,op:flip16,pos:85,+cov
- id:000284,src:000000,op:flip32,pos:49,+cov
- id:000285,src:000000,op:flip32,pos:62
- id:000286,src:000000,op:flip32,pos:86,+cov
- id:000287,src:000000,op:flip32,pos:92,+cov
- id:000288,src:000000,op:arith8,pos:4,val:-19
- id:000289,src:000000,op:arith8,pos:4,val:-22
- id:000290,src:000000,op:arith8,pos:5,val:-10,+cov
- id:000291,src:000000,op:arith8,pos:5,val:-34
- id:000292,src:000000,op:arith8,pos:6,val:-34,+cov
- id:000293,src:000000,op:arith8,pos:7,val:-34,+cov
- id:000294,src:000000,op:arith8,pos:11,val:-34
- id:000295,src:000000,op:arith8,pos:15,val:-10,+cov
- id:000296,src:000000,op:arith8,pos:25,val:+24,+cov
- id:000297,src:000000,op:arith8,pos:27,val:+26,+cov
- id:000298,src:000000,op:arith8,pos:28,val:+9,+cov
- id:000299,src:000000,op:arith8,pos:28,val:-17
- id:000300,src:000000,op:arith8,pos:28,val:-33,+cov
- id:000301,src:000000,op:arith8,pos:29,val:+14,+cov
- id:000302,src:000000,op:arith8,pos:30,val:+3,+cov
- id:000303,src:000000,op:arith8,pos:30,val:+31,+cov
- id:000304,src:000000,op:arith8,pos:31,val:-33,+cov
- id:000305,src:000000,op:arith8,pos:32,val:+19,+cov
- id:000306,src:000000,op:arith8,pos:33,val:+15,+cov
- id:000307,src:000000,op:arith8,pos:33,val:-15,+cov
- id:000308,src:000000,op:arith8,pos:34,val:-27,+cov
- id:000309,src:000000,op:arith8,pos:34,val:+34,+cov
- id:000310,src:000000,op:arith8,pos:35,val:+18,+cov
- id:000311,src:000000,op:arith8,pos:35,val:-27,+cov
- id:000312,src:000000,op:arith8,pos:35,val:+35,+cov
- id:000313,src:000000,op:arith8,pos:36,val:+13,+cov
- id:000314,src:000000,op:arith8,pos:36,val:+32,+cov
- id:000315,src:000000,op:arith8,pos:37,val:+24,+cov
- id:000316,src:000000,op:arith8,pos:37,val:+32,+cov
- id:000317,src:000000,op:arith8,pos:38,val:-35,+cov
- id:000318,src:000000,op:arith8,pos:39,val:+18,+cov
- id:000319,src:000000,op:arith8,pos:39,val:-23,+cov
- id:000320,src:000000,op:arith8,pos:39,val:-24,+cov
- id:000321,src:000000,op:arith8,pos:39,val:+25,+cov
- id:000322,src:000000,op:arith8,pos:40,val:-21,+cov
- id:000323,src:000000,op:arith8,pos:41,val:-5,+cov
- id:000324,src:000000,op:arith8,pos:41,val:+13,+cov
- id:000325,src:000000,op:arith8,pos:41,val:+26,+cov
- id:000326,src:000000,op:arith8,pos:41,val:+27,+cov
- id:000327,src:000000,op:arith8,pos:41,val:-33,+cov
- id:000328,src:000000,op:arith8,pos:41,val:+35,+cov
- id:000329,src:000000,op:arith8,pos:42,val:-6,+cov
- id:000330,src:000000,op:arith8,pos:42,val:+13,+cov
- id:000331,src:000000,op:arith8,pos:42,val:+18,+cov
- id:000332,src:000000,op:arith8,pos:43,val:-23,+cov
- id:000333,src:000000,op:arith8,pos:43,val:+33,+cov
- id:000334,src:000000,op:arith8,pos:44,val:+11,+cov
- id:000335,src:000000,op:arith8,pos:45,val:-24,+cov
- id:000336,src:000000,op:arith8,pos:45,val:-27,+cov
- id:000337,src:000000,op:arith8,pos:46,val:+7,+cov
- id:000338,src:000000,op:arith8,pos:46,val:-21,+cov
- id:000339,src:000000,op:arith8,pos:46,val:+31,+cov
- id:000340,src:000000,op:arith8,pos:49,val:+16,+cov
- id:000341,src:000000,op:arith8,pos:49,val:-26,+cov
- id:000342,src:000000,op:arith8,pos:49,val:+34,+cov
- id:000343,src:000000,op:arith8,pos:50,val:-7,+cov
- id:000344,src:000000,op:arith8,pos:50,val:+22,+cov
- id:000345,src:000000,op:arith8,pos:50,val:+24,+cov
- id:000346,src:000000,op:arith8,pos:50,val:-31,+cov
- id:000347,src:000000,op:arith8,pos:51,val:-1,+cov
- id:000348,src:000000,op:arith8,pos:51,val:+18,+cov
- id:000349,src:000000,op:arith8,pos:52,val:-6,+cov
- id:000350,src:000000,op:arith8,pos:52,val:+22,+cov
- id:000351,src:000000,op:arith8,pos:52,val:-31,+cov
- id:000352,src:000000,op:arith8,pos:53,val:-18,+cov
- id:000353,src:000000,op:arith8,pos:53,val:+27,+cov
- id:000354,src:000000,op:arith8,pos:53,val:-27,+cov
- id:000355,src:000000,op:arith8,pos:53,val:-28,+cov
- id:000356,src:000000,op:arith8,pos:55,val:-2,+cov
- id:000357,src:000000,op:arith8,pos:55,val:-7
- id:000358,src:000000,op:arith8,pos:55,val:-33,+cov
- id:000359,src:000000,op:arith8,pos:56,val:-17,+cov
- id:000360,src:000000,op:arith8,pos:56,val:+34,+cov
- id:000361,src:000000,op:arith8,pos:57,val:-23,+cov
- id:000362,src:000000,op:arith8,pos:58,val:+34,+cov
- id:000363,src:000000,op:arith8,pos:60,val:-14,+cov
- id:000364,src:000000,op:arith8,pos:60,val:-15,+cov
- id:000365,src:000000,op:arith8,pos:60,val:-27,+cov
- id:000366,src:000000,op:arith8,pos:62,val:+13,+cov
- id:000367,src:000000,op:arith8,pos:62,val:-21,+cov
- id:000368,src:000000,op:arith8,pos:62,val:-23,+cov
- id:000369,src:000000,op:arith8,pos:63,val:+6,+cov
- id:000370,src:000000,op:arith8,pos:63,val:-18,+cov
- id:000371,src:000000,op:arith8,pos:63,val:-28,+cov
- id:000372,src:000000,op:arith8,pos:64,val:-5,+cov
- id:000373,src:000000,op:arith8,pos:64,val:-13,+cov
- id:000374,src:000000,op:arith8,pos:64,val:-18,+cov
- id:000375,src:000000,op:arith8,pos:64,val:-35,+cov
- id:000376,src:000000,op:arith8,pos:65,val:-27,+cov
- id:000377,src:000000,op:arith8,pos:65,val:+29,+cov
- id:000378,src:000000,op:arith8,pos:66,val:-20,+cov
- id:000379,src:000000,op:arith8,pos:66,val:+28,+cov
- id:000380,src:000000,op:arith8,pos:66,val:-31,+cov
- id:000381,src:000000,op:arith8,pos:67,val:-9
- id:000382,src:000000,op:arith8,pos:67,val:+10,+cov
- id:000383,src:000000,op:arith8,pos:67,val:-15,+cov
- id:000384,src:000000,op:arith8,pos:67,val:-35
- id:000385,src:000000,op:arith8,pos:68,val:+32,+cov
- id:000386,src:000000,op:arith8,pos:69,val:+14,+cov
- id:000387,src:000000,op:arith8,pos:70,val:-21,+cov
- id:000388,src:000000,op:arith8,pos:71,val:+3
- id:000389,src:000000,op:arith8,pos:72,val:-7,+cov
- id:000390,src:000000,op:arith8,pos:72,val:+30,+cov
- id:000391,src:000000,op:arith8,pos:73,val:-13,+cov
- id:000392,src:000000,op:arith8,pos:73,val:-29,+cov
- id:000393,src:000000,op:arith8,pos:73,val:-35,+cov
- id:000394,src:000000,op:arith8,pos:75,val:-20,+cov
- id:000395,src:000000,op:arith8,pos:76,val:+21,+cov
- id:000396,src:000000,op:arith8,pos:77,val:+24,+cov
- id:000397,src:000000,op:arith8,pos:80,val:-11,+cov
- id:000398,src:000000,op:arith8,pos:80,val:+18,+cov
- id:000399,src:000000,op:arith8,pos:81,val:+22,+cov
- id:000400,src:000000,op:arith8,pos:81,val:-30,+cov
- id:000401,src:000000,op:arith8,pos:83,val:-1
- id:000402,src:000000,op:arith8,pos:83,val:-22,+cov
- id:000403,src:000000,op:arith8,pos:83,val:+35,+cov
- id:000404,src:000000,op:arith8,pos:84,val:+7,+cov
- id:000405,src:000000,op:arith8,pos:84,val:+31,+cov
- id:000406,src:000000,op:arith8,pos:86,val:-11,+cov
- id:000407,src:000000,op:arith8,pos:86,val:+22,+cov
- id:000408,src:000000,op:arith8,pos:86,val:-24
- id:000409,src:000000,op:arith8,pos:87,val:-2,+cov
- id:000410,src:000000,op:arith8,pos:87,val:+9,+cov
- id:000411,src:000000,op:arith8,pos:87,val:-15,+cov
- id:000412,src:000000,op:arith8,pos:87,val:-24,+cov
- id:000413,src:000000,op:arith8,pos:88,val:+30,+cov
- id:000414,src:000000,op:arith8,pos:89,val:+29,+cov
- id:000415,src:000000,op:arith8,pos:90,val:-21,+cov
- id:000416,src:000000,op:arith8,pos:91,val:+28,+cov
- id:000417,src:000000,op:arith8,pos:91,val:+34,+cov
- id:000418,src:000000,op:arith8,pos:94,val:-23,+cov
- id:000419,src:000000,op:arith8,pos:95,val:+3,+cov
- id:000420,src:000000,op:arith8,pos:95,val:-23,+cov
- id:000421,src:000000,op:arith8,pos:95,val:+31,+cov
- id:000422,src:000000,op:arith8,pos:98,val:-35
- id:000423,src:000000,op:arith8,pos:100,val:-33,+cov
- id:000424,src:000000,op:arith8,pos:113,val:-19
- id:000425,src:000000,op:arith8,pos:113,val:-22
- id:000426,src:000000,op:arith8,pos:127,val:-20,+cov
- id:000427,src:000000,op:arith8,pos:131,val:-20,+cov
- id:000428,src:000000,op:arith8,pos:132,val:+6,+cov
- id:000429,src:000000,op:arith8,pos:135,val:-28,+cov
- id:000430,src:000000,op:arith8,pos:135,val:-35,+cov
- id:000431,src:000000,op:arith8,pos:136,val:+3,+cov
- id:000432,src:000000,op:arith8,pos:136,val:-5,+cov
- id:000433,src:000000,op:arith8,pos:136,val:-9,+cov
- id:000434,src:000000,op:arith8,pos:136,val:+20,+cov
- id:000435,src:000000,op:arith8,pos:136,val:-29,+cov
- id:000436,src:000000,op:arith8,pos:137,val:+7,+cov
- id:000437,src:000000,op:arith8,pos:137,val:+10,+cov
- id:000438,src:000000,op:arith8,pos:138,val:+19,+cov
- id:000439,src:000000,op:arith8,pos:139,val:+25,+cov
- id:000440,src:000000,op:arith8,pos:139,val:-26,+cov
- id:000441,src:000000,op:arith8,pos:140,val:+20,+cov
- id:000442,src:000000,op:arith8,pos:141,val:+6,+cov
- id:000443,src:000000,op:arith8,pos:141,val:+10,+cov
- id:000444,src:000000,op:arith8,pos:141,val:+13,+cov
- id:000445,src:000000,op:arith8,pos:141,val:+20,+cov
- id:000446,src:000000,op:arith8,pos:142,val:+6,+cov
- id:000447,src:000000,op:arith8,pos:142,val:-20,+cov
- id:000448,src:000000,op:arith8,pos:143,val:+17,+cov
- id:000449,src:000000,op:arith8,pos:144,val:+28,+cov
- id:000450,src:000000,op:arith8,pos:145,val:+27,+cov
- id:000451,src:000000,op:arith8,pos:146,val:-11,+cov
- id:000452,src:000000,op:arith8,pos:146,val:-13,+cov
- id:000453,src:000000,op:arith8,pos:146,val:-21,+cov
- id:000454,src:000000,op:arith8,pos:147,val:-3,+cov
- id:000455,src:000000,op:arith8,pos:147,val:-9,+cov
- id:000456,src:000000,op:arith8,pos:147,val:-13,+cov
- id:000457,src:000000,op:arith8,pos:148,val:+12,+cov
- id:000458,src:000000,op:arith8,pos:151,val:-7,+cov
- id:000459,src:000000,op:arith8,pos:151,val:+15,+cov
- id:000460,src:000000,op:arith8,pos:152,val:-7,+cov
- id:000461,src:000000,op:arith8,pos:152,val:+25,+cov
- id:000462,src:000000,op:arith8,pos:152,val:-30
- id:000463,src:000000,op:arith8,pos:153,val:+28,+cov
- id:000464,src:000000,op:arith8,pos:157,val:+8,+cov
- id:000465,src:000000,op:arith8,pos:157,val:-9,+cov
- id:000466,src:000000,op:arith8,pos:157,val:-12,+cov
- id:000467,src:000000,op:arith8,pos:157,val:-21,+cov
- id:000468,src:000000,op:arith8,pos:158,val:-9,+cov
- id:000469,src:000000,op:arith8,pos:158,val:+25,+cov
- id:000470,src:000000,op:arith8,pos:159,val:-7,+cov
- id:000471,src:000000,op:arith8,pos:159,val:+10,+cov
- id:000472,src:000000,op:arith8,pos:159,val:-11,+cov
- id:000473,src:000000,op:arith8,pos:160,val:+19,+cov
- id:000474,src:000000,op:arith8,pos:161,val:+14,+cov
- id:000475,src:000000,op:arith8,pos:162,val:+7,+cov
- id:000476,src:000000,op:arith8,pos:163,val:+26,+cov
- id:000477,src:000000,op:arith8,pos:163,val:+31,+cov
- id:000478,src:000000,op:arith8,pos:164,val:+2,+cov
- id:000479,src:000000,op:arith8,pos:169,val:+7,+cov
- id:000480,src:000000,op:arith8,pos:169,val:-9,+cov
- id:000481,src:000000,op:arith8,pos:169,val:+19,+cov
- id:000482,src:000000,op:arith8,pos:172,val:-3,+cov
- id:000483,src:000000,op:arith8,pos:172,val:-33,+cov
- id:000484,src:000000,op:arith8,pos:175,val:+20,+cov
- id:000485,src:000000,op:arith8,pos:176,val:+7,+cov
- id:000486,src:000000,op:arith8,pos:176,val:-28,+cov
- id:000487,src:000000,op:arith8,pos:177,val:+11,+cov
- id:000488,src:000000,op:arith8,pos:177,val:+17,+cov
- id:000489,src:000000,op:arith8,pos:177,val:+22,+cov
- id:000490,src:000000,op:arith8,pos:178,val:-5,+cov
- id:000491,src:000000,op:arith8,pos:178,val:+23,+cov
- id:000492,src:000000,op:arith8,pos:181,val:-12,+cov
- id:000493,src:000000,op:arith8,pos:182,val:-15,+cov
- id:000494,src:000000,op:arith8,pos:182,val:+22,+cov
- id:000495,src:000000,op:arith8,pos:183,val:-11
- id:000496,src:000000,op:arith8,pos:183,val:+15,+cov
- id:000497,src:000000,op:arith8,pos:184,val:-14,+cov
- id:000498,src:000000,op:arith8,pos:184,val:+33,+cov
- id:000499,src:000000,op:arith8,pos:184,val:-35,+cov
- id:000500,src:000000,op:arith8,pos:185,val:+3,+cov
- id:000501,src:000000,op:arith8,pos:185,val:+7,+cov
- id:000502,src:000000,op:arith8,pos:192,val:+9,+cov
- id:000503,src:000000,op:arith8,pos:237,val:-26,+cov
- id:000504,src:000000,op:arith8,pos:238,val:+5,+cov
- id:000505,src:000000,op:arith8,pos:241,val:+7,+cov
- id:000506,src:000000,op:arith8,pos:268,val:-4,+cov
- id:000507,src:000000,op:arith8,pos:269,val:+19,+cov
- id:000508,src:000000,op:arith8,pos:271,val:-12,+cov
- id:000509,src:000000,op:arith8,pos:272,val:+7,+cov
- id:000510,src:000000,op:arith8,pos:274,val:+11,+cov
- id:000511,src:000000,op:arith8,pos:274,val:+25,+cov
- id:000512,src:000000,op:arith8,pos:275,val:-11,+cov
- id:000513,src:000000,op:arith8,pos:275,val:-12,+cov
- id:000514,src:000000,op:arith8,pos:275,val:+27,+cov
- id:000515,src:000000,op:arith8,pos:277,val:-10,+cov
- id:000516,src:000000,op:arith8,pos:277,val:+35,+cov
- id:000517,src:000000,op:arith8,pos:279,val:+28,+cov
- id:000518,src:000000,op:arith8,pos:290,val:-28,+cov
- id:000519,src:000000,op:arith8,pos:305,val:-3,+cov
- id:000520,src:000000,op:arith8,pos:306,val:+7,+cov
- id:000521,src:000000,op:arith8,pos:306,val:-12,+cov
- id:000522,src:000000,op:arith8,pos:306,val:+20,+cov
- id:000523,src:000000,op:arith8,pos:307,val:+13,+cov
- id:000524,src:000000,op:arith8,pos:308,val:+19,+cov
- id:000525,src:000000,op:arith8,pos:308,val:-27,+cov
- id:000526,src:000000,op:arith8,pos:312,val:+3,+cov
- id:000527,src:000000,op:arith8,pos:312,val:+5,+cov
- id:000528,src:000000,op:arith8,pos:312,val:-11,+cov
- id:000529,src:000000,op:arith8,pos:313,val:-33,+cov
- id:000530,src:000000,op:arith8,pos:314,val:-3,+cov
- id:000531,src:000000,op:arith8,pos:314,val:-25,+cov
- id:000532,src:000000,op:arith8,pos:316,val:+20,+cov
- id:000533,src:000000,op:arith8,pos:316,val:-23,+cov
- id:000534,src:000000,op:arith8,pos:316,val:-28,+cov
- id:000535,src:000000,op:arith8,pos:317,val:-31,+cov
- id:000536,src:000000,op:arith8,pos:318,val:+23,+cov
- id:000537,src:000000,op:arith8,pos:319,val:-12,+cov
- id:000538,src:000000,op:arith8,pos:320,val:+17,+cov
- id:000539,src:000000,op:arith8,pos:320,val:-31,+cov
- id:000540,src:000000,op:arith8,pos:321,val:-34,+cov
- id:000541,src:000000,op:arith8,pos:322,val:+3,+cov
- id:000542,src:000000,op:arith8,pos:322,val:+7,+cov
- id:000543,src:000000,op:arith8,pos:326,val:-9,+cov
- id:000544,src:000000,op:arith8,pos:326,val:-31,+cov
- id:000545,src:000000,op:arith8,pos:326,val:-35,+cov
- id:000546,src:000000,op:arith8,pos:327,val:+5
- id:000547,src:000000,op:arith8,pos:327,val:+7,+cov
- id:000548,src:000000,op:arith8,pos:327,val:+11,+cov
- id:000549,src:000000,op:arith8,pos:327,val:-24,+cov
- id:000550,src:000000,op:arith8,pos:328,val:+14,+cov
- id:000551,src:000000,op:arith8,pos:329,val:+1,+cov
- id:000552,src:000000,op:arith8,pos:330,val:+9,+cov
- id:000553,src:000000,op:arith8,pos:330,val:-24,+cov
- id:000554,src:000000,op:int8,pos:6,val:+0
- id:000555,src:000000,op:int8,pos:7,val:+0
- id:000556,src:000000,op:int8,pos:9,val:+0
- id:000557,src:000000,op:int8,pos:34,val:+0,+cov
- id:000558,src:000000,op:int8,pos:40,val:+0,+cov
- id:000559,src:000000,op:int8,pos:40,val:+32
- id:000560,src:000000,op:int8,pos:44,val:-1,+cov
- id:000561,src:000000,op:int8,pos:51,val:-1,+cov
- id:000562,src:000000,op:int8,pos:62,val:-128,+cov
- id:000563,src:000000,op:int8,pos:135,val:+127,+cov
- id:000564,src:000000,op:int8,pos:140,val:+100,+cov
- id:000565,src:000000,op:int8,pos:178,val:+100,+cov
- id:000566,src:000000,op:int16,pos:27,val:-128,+cov
- id:000567,src:000000,op:int16,pos:28,val:be:+32,+cov
- id:000568,src:000000,op:int16,pos:28,val:be:+127,+cov
- id:000569,src:000000,op:int16,pos:33,val:be:+512,+cov
- id:000570,src:000000,op:int16,pos:34,val:+1000,+cov
- id:000571,src:000000,op:int16,pos:44,val:+512,+cov
- id:000572,src:000000,op:int16,pos:46,val:+100,+cov
- id:000573,src:000000,op:int16,pos:46,val:be:+512,+cov
- id:000574,src:000000,op:int16,pos:52,val:-128,+cov
- id:000575,src:000000,op:int16,pos:54,val:-128,+cov
- id:000576,src:000000,op:int16,pos:54,val:+100,+cov
- id:000577,src:000000,op:int16,pos:54,val:+255,+cov
- id:000578,src:000000,op:int16,pos:62,val:+255,+cov
- id:000579,src:000000,op:int16,pos:63,val:+32,+cov
- id:000580,src:000000,op:int16,pos:65,val:be:+100,+cov
- id:000581,src:000000,op:int16,pos:66,val:+0,+cov
- id:000582,src:000000,op:int16,pos:80,val:+1000,+cov
- id:000583,src:000000,op:int16,pos:82,val:+256,+cov
- id:000584,src:000000,op:int16,pos:83,val:be:+1024,+cov
- id:000585,src:000000,op:int16,pos:87,val:-128,+cov
- id:000586,src:000000,op:int16,pos:87,val:-32768,+cov
- id:000587,src:000000,op:int16,pos:94,val:-129,+cov
- id:000588,src:000000,op:int16,pos:193,val:+16
- id:000589,src:000000,op:int32,pos:0,val:be:+32767
- id:000590,src:000000,op:int32,pos:2,val:+65535
- id:000591,src:000000,op:int32,pos:7,val:-2147483648,+cov
- id:000592,src:000000,op:int32,pos:24,val:be:+32,+cov
- id:000593,src:000000,op:int32,pos:26,val:+255,+cov
- id:000594,src:000000,op:int32,pos:27,val:be:+1,+cov
- id:000595,src:000000,op:int32,pos:29,val:+1000,+cov
- id:000596,src:000000,op:int32,pos:30,val:be:+32
- id:000597,src:000000,op:int32,pos:30,val:be:+512,+cov
- id:000598,src:000000,op:int32,pos:39,val:be:+1,+cov
- id:000599,src:000000,op:int32,pos:40,val:+1024,+cov
- id:000600,src:000000,op:int32,pos:42,val:be:+16,+cov
- id:000601,src:000000,op:int32,pos:48,val:+100663045,+cov
- id:000602,src:000000,op:int32,pos:49,val:be:+4096,+cov
- id:000603,src:000000,op:int32,pos:51,val:+128,+cov
- id:000604,src:000000,op:int32,pos:53,val:-128,+cov
- id:000605,src:000000,op:int32,pos:53,val:+128,+cov
- id:000606,src:000000,op:int32,pos:53,val:+1024,+cov
- id:000607,src:000000,op:int32,pos:64,val:+256,+cov
- id:000608,src:000000,op:int32,pos:65,val:+1,+cov
- id:000609,src:000000,op:int32,pos:65,val:be:+64,+cov
- id:000610,src:000000,op:int32,pos:66,val:+16,+cov
- id:000611,src:000000,op:int32,pos:73,val:+100663045,+cov
- id:000612,src:000000,op:int32,pos:81,val:+0,+cov
- id:000613,src:000000,op:int32,pos:82,val:+32767,+cov
- id:000614,src:000000,op:int32,pos:83,val:be:+1000,+cov
- id:000615,src:000000,op:int32,pos:84,val:-129,+cov
- id:000616,src:000000,op:int32,pos:84,val:+65536,+cov
- id:000617,src:000000,op:int32,pos:85,val:be:+255,+cov
- id:000618,src:000000,op:int32,pos:85,val:-32769,+cov
- id:000619,src:000000,op:int32,pos:88,val:be:-32768,+cov
- id:000620,src:000000,op:int32,pos:91,val:+127,+cov
- id:000621,src:000000,op:int32,pos:92,val:-32768,+cov
- id:000622,src:000000,op:int32,pos:98,val:-129,+cov
- id:000623,src:000000,op:int32,pos:128,val:-32769,+cov
- id:000624,src:000000,op:int32,pos:160,val:be:+512,+cov
- id:000625,src:000000,op:int32,pos:203,val:be:+1,+cov
- id:000626,src:000000,op:int32,pos:263,val:+0,+cov
- id:000627,src:000000,op:int32,pos:264,val:be:-32769,+cov
- id:000628,src:000000,op:int32,pos:285,val:+100663045,+cov
- id:000629,src:000000,op:ext_AO,pos:34,+cov
- id:000630,src:000000,op:ext_AO,pos:34,+cov
- id:000631,src:000000,op:ext_AO,pos:37,+cov
- id:000632,src:000000,op:ext_AO,pos:39,+cov
- id:000633,src:000000,op:ext_AO,pos:49,+cov
- id:000634,src:000000,op:ext_AO,pos:51,+cov
- id:000635,src:000000,op:ext_AO,pos:52,+cov
- id:000636,src:000000,op:ext_AO,pos:52,+cov
- id:000637,src:000000,op:ext_AO,pos:58,+cov
- id:000638,src:000000,op:ext_AO,pos:64,+cov
- id:000639,src:000000,op:ext_AO,pos:86,+cov
- id:000640,src:000000,op:ext_AO,pos:88,+cov
- id:000641,src:000000,op:ext_AO,pos:93,+cov
- id:000642,src:000000,op:ext_AO,pos:135,+cov
- id:000643,src:000000,op:ext_AO,pos:136,+cov
- id:000644,src:000000,op:ext_AO,pos:138,+cov
- id:000645,src:000000,op:ext_AO,pos:140,+cov
- id:000646,src:000000,op:ext_AO,pos:143,+cov
- id:000647,src:000000,op:ext_AO,pos:144,+cov
- id:000648,src:000000,op:ext_AO,pos:155,+cov
- id:000649,src:000000,op:ext_AO,pos:166,+cov
- id:000650,src:000000,op:ext_AO,pos:166,+cov
- id:000651,src:000000,op:ext_AO,pos:173,+cov
- id:000652,src:000000,op:ext_AO,pos:175,+cov
- id:000653,src:000000,op:ext_AO,pos:176,+cov
- id:000654,src:000000,op:ext_AO,pos:177,+cov
- id:000655,src:000000,op:ext_AO,pos:177,+cov
- id:000656,src:000000,op:ext_AO,pos:177,+cov
- id:000657,src:000000,op:ext_AO,pos:180,+cov
- id:000658,src:000000,op:ext_AO,pos:182,+cov
- id:000659,src:000000,op:ext_AO,pos:269,+cov
- id:000660,src:000000,op:ext_AO,pos:270,+cov
- id:000661,src:000000,op:ext_AO,pos:271,+cov
- id:000662,src:000000,op:ext_AO,pos:274,+cov
- id:000663,src:000000,op:ext_AO,pos:275,+cov
- id:000664,src:000000,op:ext_AO,pos:305,+cov
- id:000665,src:000000,op:ext_AO,pos:312,+cov
- id:000666,src:000000,op:ext_AO,pos:314,+cov
- id:000667,src:000000,op:ext_AO,pos:319,+cov
- id:000668,src:000000,op:ext_AO,pos:328,+cov
- id:000669,src:000000,op:havoc,rep:16
- id:000670,src:000000,op:havoc,rep:32
- id:000671,src:000000,op:havoc,rep:8
- id:000672,src:000000,op:havoc,rep:16
- id:000673,src:000000,op:havoc,rep:128
- id:000674,src:000000,op:havoc,rep:32
- id:000675,src:000000,op:havoc,rep:128
- id:000676,src:000000,op:havoc,rep:32
- id:000677,src:000000,op:havoc,rep:8
- id:000678,src:000000,op:havoc,rep:16
- id:000679,src:000000,op:havoc,rep:16,+cov
- id:000680,src:000000,op:havoc,rep:32
- id:000681,src:000000,op:havoc,rep:32
- id:000682,src:000000,op:havoc,rep:16
- id:000683,src:000000,op:havoc,rep:16,+cov
- id:000684,src:000000,op:havoc,rep:16,+cov
- id:000685,src:000000,op:havoc,rep:16
- id:000686,src:000000,op:havoc,rep:128,+cov
- id:000687,src:000000,op:havoc,rep:16
- id:000688,src:000000,op:havoc,rep:128
- id:000689,src:000000,op:havoc,rep:128,+cov
- id:000690,src:000000,op:havoc,rep:64
- id:000691,src:000000,op:havoc,rep:64
- id:000692,src:000000,op:havoc,rep:4,+cov
- id:000693,src:000000,op:havoc,rep:16,+cov
- id:000694,src:000000,op:havoc,rep:32
- id:000695,src:000000,op:havoc,rep:64
- id:000696,src:000000,op:havoc,rep:16
- id:000697,src:000000,op:havoc,rep:8
- id:000698,src:000000,op:havoc,rep:128
- id:000699,src:000000,op:havoc,rep:32
- id:000700,src:000000,op:havoc,rep:32,+cov
- id:000701,src:000000,op:havoc,rep:2
- id:000702,src:000000,op:havoc,rep:8
- id:000703,src:000000,op:havoc,rep:32,+cov
- id:000704,src:000000,op:havoc,rep:64,+cov
- id:000705,src:000000,op:havoc,rep:2,+cov
- id:000706,src:000000,op:havoc,rep:32
- id:000707,src:000000,op:havoc,rep:128,+cov
- id:000708,src:000000,op:havoc,rep:2
- id:000709,src:000000,op:havoc,rep:64
- id:000710,src:000000,op:havoc,rep:8,+cov
- id:000711,src:000000,op:havoc,rep:2,+cov
- id:000712,src:000000,op:havoc,rep:2,+cov
- id:000713,src:000000,op:havoc,rep:64,+cov
- id:000714,src:000000,op:havoc,rep:8,+cov
- id:000715,src:000000,op:havoc,rep:8,+cov
- id:000716,src:000001,op:flip1,pos:2
- id:000717,src:000001,op:flip1,pos:50,+cov
- id:000718,src:000001,op:flip1,pos:55,+cov
- id:000719,src:000001,op:flip1,pos:95
- id:000720,src:000001,op:flip1,pos:102,+cov
- id:000721,src:000001,op:flip1,pos:107,+cov
- id:000722,src:000001,op:flip1,pos:118,+cov
- id:000723,src:000001,op:flip1,pos:124,+cov
- id:000724,src:000001,op:flip1,pos:133,+cov
- id:000725,src:000001,op:flip1,pos:133,+cov
- id:000726,src:000001,op:flip1,pos:135,+cov
- id:000727,src:000001,op:flip1,pos:457,+cov
- id:000728,src:000001,op:flip1,pos:469,+cov
- id:000729,src:000001,op:flip1,pos:508,+cov
- id:000730,src:000001,op:flip1,pos:600
- id:000731,src:000001,op:flip1,pos:618,+cov
- id:000732,src:000001,op:flip1,pos:633,+cov
- id:000733,src:000001,op:flip1,pos:687,+cov
- id:000734,src:000001,op:flip1,pos:722,+cov
- id:000735,src:000001,op:flip1,pos:734,+cov
- id:000736,src:000001,op:flip1,pos:800
- id:000737,src:000001,op:flip1,pos:888,+cov
- id:000738,src:000001,op:flip1,pos:893,+cov
- id:000739,src:000001,op:flip1,pos:1116,+cov
- id:000740,src:000001,op:flip1,pos:1116,+cov
- id:000741,src:000001,op:flip1,pos:1118,+cov
- id:000742,src:000001,op:flip1,pos:1170,+cov
- id:000743,src:000001,op:flip1,pos:1205,+cov
- id:000744,src:000001,op:flip1,pos:1301,+cov
- id:000745,src:000001,op:flip1,pos:1369,+cov
- id:000746,src:000001,op:flip1,pos:1378,+cov
- id:000747,src:000001,op:flip1,pos:1474,+cov
- id:000748,src:000001,op:flip1,pos:1510,+cov
- id:000749,src:000001,op:flip1,pos:1634
- id:000750,src:000001,op:flip1,pos:1657,+cov
- id:000751,src:000001,op:flip1,pos:1712,+cov
- id:000752,src:000001,op:flip2,pos:21,+cov
- id:000753,src:000001,op:flip2,pos:39,+cov
- id:000754,src:000001,op:flip2,pos:105,+cov
- id:000755,src:000001,op:flip2,pos:890,+cov
- id:000756,src:000001,op:flip2,pos:975,+cov
- id:000757,src:000001,op:flip2,pos:1509,+cov
- id:000758,src:000001,op:flip2,pos:1662,+cov
- id:000759,src:000001,op:flip4,pos:32,+cov
- id:000760,src:000001,op:flip4,pos:300,+cov
- id:000761,src:000001,op:flip4,pos:457,+cov
- id:000762,src:000001,op:flip4,pos:1507,+cov
- id:000763,src:000001,op:flip4,pos:1549,+cov
- id:000764,src:000001,op:flip4,pos:1577,+cov
- id:000765,src:000001,op:flip8,pos:899,+cov
- id:000766,src:000001,op:flip8,pos:1457,+cov
- id:000767,src:000001,op:flip32,pos:301,+cov
- id:000768,src:000001,op:arith8,pos:18,val:+11,+cov
- id:000769,src:000001,op:arith8,pos:33,val:+17,+cov
- id:000770,src:000002,op:flip1,pos:30
- id:000771,src:000002,op:flip1,pos:45,+cov
- id:000772,src:000002,op:flip1,pos:50
- id:000773,src:000002,op:flip1,pos:63
- id:000774,src:000002,op:flip1,pos:76
- id:000775,src:000002,op:flip1,pos:107,+cov
- id:000776,src:000002,op:flip1,pos:135
- id:000777,src:000002,op:flip2,pos:56,+cov
- id:000778,src:000002,op:flip2,pos:113,+cov
- id:000779,src:000002,op:flip4,pos:15,+cov
- id:000780,src:000002,op:arith8,pos:10,val:-7,+cov
- id:000781,src:000002,op:arith8,pos:29,val:+21,+cov
- id:000782,src:000002,op:arith8,pos:109,val:-35
- id:000783,src:000002,op:arith8,pos:132,val:+34,+cov
- id:000784,src:000002,op:int16,pos:20,val:-129,+cov
- id:000785,src:000002,op:int16,pos:82,val:+64,+cov
- id:000786,src:000002,op:int16,pos:96,val:+32
- id:000787,src:000002,op:int16,pos:112,val:be:-128,+cov
- id:000788,src:000002,op:int32,pos:26,val:+65536,+cov
- id:000789,src:000002,op:int32,pos:54,val:+32,+cov
- id:000790,src:000002,op:ext_AO,pos:95,+cov
- id:000791,src:000002,op:ext_AO,pos:98,+cov
- id:000792,src:000002,op:ext_AO,pos:130,+cov
- id:000793,src:000002,op:ext_AO,pos:135,+cov
- id:000794,src:000002,op:ext_AO,pos:138,+cov
- id:000795,src:000002,op:havoc,rep:4
- id:000796,src:000002,op:havoc,rep:16
- id:000797,src:000002,op:havoc,rep:16
- id:000798,src:000002,op:havoc,rep:64
- id:000799,src:000002,op:havoc,rep:16
- id:000800,src:000002,op:havoc,rep:4
- id:000801,src:000002,op:havoc,rep:128
- id:000802,src:000002,op:havoc,rep:16
- id:000803,src:000002,op:havoc,rep:2
- id:000804,src:000002,op:havoc,rep:32
- id:000805,src:000002,op:havoc,rep:4
- id:000806,src:000002,op:havoc,rep:32
- id:000807,src:000002,op:havoc,rep:128
- id:000808,src:000002,op:havoc,rep:16
- id:000809,src:000002,op:havoc,rep:16
- id:000810,src:000002,op:havoc,rep:32,+cov
- id:000811,src:000002,op:havoc,rep:2,+cov
- id:000812,src:000002,op:havoc,rep:4,+cov
- id:000813,src:000002,op:havoc,rep:16
- id:000814,src:000002,op:havoc,rep:16,+cov
- id:000815,src:000002,op:havoc,rep:16
- id:000816,src:000002,op:havoc,rep:16
- id:000817,src:000002,op:havoc,rep:16
- id:000818,src:000002,op:havoc,rep:16
- id:000819,src:000002,op:havoc,rep:16,+cov
- id:000820,src:000002,op:havoc,rep:2
- id:000821,src:000003,op:flip1,pos:18,+cov
- id:000822,src:000003,op:flip1,pos:27,+cov
- id:000823,src:000003,op:flip1,pos:27,+cov
- id:000824,src:000003,op:flip1,pos:27,+cov
- id:000825,src:000003,op:flip1,pos:28,+cov
- id:000826,src:000003,op:flip1,pos:28,+cov
- id:000827,src:000003,op:flip1,pos:29,+cov
- id:000828,src:000003,op:flip1,pos:29,+cov
- id:000829,src:000003,op:flip1,pos:29,+cov
- id:000830,src:000003,op:flip1,pos:30,+cov
- id:000831,src:000003,op:flip1,pos:32,+cov
- id:000832,src:000003,op:flip1,pos:34,+cov
- id:000833,src:000003,op:flip1,pos:36,+cov
- id:000834,src:000003,op:flip1,pos:39
- id:000835,src:000003,op:flip1,pos:39,+cov
- id:000836,src:000003,op:flip1,pos:40,+cov
- id:000837,src:000003,op:flip1,pos:41,+cov
- id:000838,src:000003,op:flip1,pos:44,+cov
- id:000839,src:000003,op:flip1,pos:46,+cov
- id:000840,src:000003,op:flip1,pos:48,+cov
- id:000841,src:000003,op:flip1,pos:48,+cov
- id:000842,src:000003,op:flip1,pos:51
- id:000843,src:000003,op:flip1,pos:51,+cov
- id:000844,src:000003,op:flip1,pos:54,+cov
- id:000845,src:000003,op:flip1,pos:58,+cov
- id:000846,src:000003,op:flip1,pos:64,+cov
- id:000847,src:000003,op:flip1,pos:64,+cov
- id:000848,src:000003,op:flip1,pos:66,+cov
- id:000849,src:000003,op:flip1,pos:67,+cov
- id:000850,src:000003,op:flip1,pos:67,+cov
- id:000851,src:000003,op:flip1,pos:74,+cov
- id:000852,src:000003,op:flip1,pos:76,+cov
- id:000853,src:000003,op:flip1,pos:78,+cov
- id:000854,src:000003,op:flip2,pos:28,+cov
- id:000855,src:000003,op:flip2,pos:29,+cov
- id:000856,src:000003,op:flip2,pos:29,+cov
- id:000857,src:000003,op:flip2,pos:30,+cov
- id:000858,src:000003,op:flip2,pos:35
- id:000859,src:000003,op:flip2,pos:37,+cov
- id:000860,src:000003,op:flip2,pos:41,+cov
- id:000861,src:000003,op:flip2,pos:42,+cov
- id:000862,src:000003,op:flip2,pos:43,+cov
- id:000863,src:000003,op:flip2,pos:43,+cov
- id:000864,src:000003,op:flip2,pos:43
- id:000865,src:000003,op:flip2,pos:45,+cov
- id:000866,src:000003,op:flip2,pos:47,+cov
- id:000867,src:000003,op:flip2,pos:49,+cov
- id:000868,src:000003,op:flip2,pos:54,+cov
- id:000869,src:000003,op:flip2,pos:62,+cov
- id:000870,src:000003,op:flip2,pos:63,+cov
- id:000871,src:000003,op:flip2,pos:68,+cov