summaryrefslogtreecommitdiff
path: root/tests/invalid-x509
ModeNameSize
-rw-r--r--id-000000.der704logplain
-rw-r--r--id-000001.der429logplain
-rw-r--r--id-000002.der709logplain
-rw-r--r--id-000003.der783logplain
-rw-r--r--id-000004.der1608logplain
-rw-r--r--id-000005.der1608logplain
-rw-r--r--id-000006.der686logplain
-rw-r--r--id-000007.der372logplain
-rw-r--r--id-000008.der585logplain
-rw-r--r--id-000009.der443logplain
-rw-r--r--id-000010.der470logplain
-rw-r--r--id-000011.der412logplain
-rw-r--r--id-000012.der374logplain
-rw-r--r--id-000013.der434logplain
-rw-r--r--id-000014.der567logplain
-rw-r--r--id-000015.der720logplain
-rw-r--r--id-000016.der698logplain
-rw-r--r--id-000017.der718logplain
-rw-r--r--id-000018.der551logplain
-rw-r--r--id-000019.der524logplain
-rw-r--r--id-000020.der568logplain
-rw-r--r--id-000021.der625logplain
-rw-r--r--id-000022.der483logplain
-rw-r--r--id-000023.der360logplain
-rw-r--r--id-000024.der360logplain
-rw-r--r--id-000025.der630logplain
-rw-r--r--id-000026.der445logplain
-rw-r--r--id-000027.der457logplain
-rw-r--r--id-000028.der430logplain
-rw-r--r--id-000029.der439logplain
-rw-r--r--id-000030.der703logplain
-rw-r--r--id-000031.der703logplain
-rw-r--r--id-000032.der469logplain
-rw-r--r--id-000033.der718logplain
-rw-r--r--id-000034.der712logplain
-rw-r--r--id-000035.der704logplain
-rw-r--r--id:000002,orig:TFPA-2015-002-libtasn1-4.3-stack-overflow.crt.der269logplain
-rw-r--r--id:000047,orig:id:000009,src:000044,op:havoc,rep:2.der4logplain
-rw-r--r--id:000116,orig:id:000026,src:000000,op:havoc,rep:32,+cov.der7logplain
-rw-r--r--id:000164,orig:id:000038,src:000000,op:havoc,rep:64,+cov.der9logplain
-rw-r--r--id:000168,orig:id:000039,src:000000,op:havoc,rep:128.der12logplain
-rw-r--r--id:000170,orig:id:000040,src:000061,op:havoc,rep:4.der4logplain
-rw-r--r--id:000190,orig:id:000045,src:000019+000093,op:splice,rep:2.der6logplain
-rw-r--r--id:000200,orig:id:000048,src:000035+000050,op:splice,rep:2.der5logplain
-rw-r--r--id:000204,orig:id:000049,src:000004,op:havoc,rep:2,+cov.der4logplain
-rw-r--r--id:000231,orig:id:000061,src:000036,op:havoc,rep:16.der23logplain
-rw-r--r--id:000243,orig:id:000067,src:000039,op:havoc,rep:2.der15logplain
-rw-r--r--id:000247,orig:id:000069,src:000039,op:havoc,rep:2.der17logplain
-rw-r--r--id:000294,orig:id:000096,src:000062,op:havoc,rep:2.der40logplain
-rw-r--r--id:000297,orig:id:000099,src:000097,op:havoc,rep:4.der10logplain
-rw-r--r--id:000310,orig:id:000112,src:000102,op:havoc,rep:4.der14logplain
-rw-r--r--id:000327,orig:id:000129,src:000112,op:havoc,rep:2.der18logplain
-rw-r--r--id:000334,orig:id:000136,src:000016+000011,op:splice,rep:8,+cov.der6logplain
-rw-r--r--id:000344,src:000001,op:flip1,pos:6,+cov.der1012logplain
-rw-r--r--id:000347,src:000001,op:flip1,pos:8,+cov.der1012logplain
-rw-r--r--id:000359,src:000001,op:flip1,pos:21,+cov.der1012logplain
-rw-r--r--id:000396,src:000001,op:flip1,pos:104.der1012logplain
-rw-r--r--id:000398,src:000001,op:flip1,pos:104,+cov.der1012logplain
-rw-r--r--id:000399,src:000001,op:flip1,pos:104.der1012logplain
-rw-r--r--id:000415,src:000001,op:flip1,pos:228,+cov.der1012logplain
-rw-r--r--id:000438,src:000001,op:flip1,pos:573.der1012logplain
-rw-r--r--id:000444,src:000001,op:flip1,pos:583,+cov.der1012logplain
-rw-r--r--id:000459,src:000001,op:flip2,pos:23,+cov.der1012logplain
-rw-r--r--id:000469,src:000001,op:flip2,pos:542,+cov.der1012logplain
-rw-r--r--id:000470,src:000001,op:flip2,pos:544.der1012logplain
-rw-r--r--id:000473,src:000001,op:flip2,pos:714.der1012logplain
-rw-r--r--id:000476,src:000001,op:flip2,pos:739.der1012logplain
-rw-r--r--id:000478,src:000001,op:flip4,pos:21.der1012logplain
-rw-r--r--id:000487,src:000001,op:flip4,pos:739.der1012logplain
-rw-r--r--id:000492,src:000001,op:flip8,pos:36,+cov.der1012logplain
-rw-r--r--id:000503,src:000001,op:arith8,pos:104,val:-17,+cov.der1012logplain
-rw-r--r--id:000505,src:000001,op:arith8,pos:174,val:+35.der1012logplain
-rw-r--r--id:000508,src:000001,op:arith8,pos:503,val:+3,+cov.der1012logplain
-rw-r--r--id:000509,src:000001,op:arith8,pos:506,val:+3,+cov.der1012logplain
-rw-r--r--id:000517,src:000001,op:int8,pos:11,val:-128,+cov.der1012logplain
-rw-r--r--id:000519,src:000001,op:int8,pos:21,val:-128,+cov.der1012logplain
-rw-r--r--id:000521,src:000001,op:int8,pos:34,val:-128,+cov.der1012logplain
-rw-r--r--id:000523,src:000001,op:int8,pos:43,val:-128,+cov.der1012logplain
-rw-r--r--id:000527,src:000001,op:int8,pos:104,val:-128,+cov.der1012logplain
-rw-r--r--id:000532,src:000001,op:int8,pos:516,val:-128,+cov.der1012logplain
-rw-r--r--id:000535,src:000001,op:int8,pos:739,val:+127.der1012logplain
-rw-r--r--id:000542,src:000001,op:int16,pos:209,val:be:+127,+cov.der1012logplain
-rw-r--r--id:000552,src:000001,op:int32,pos:21,val:+100663045.der1012logplain
-rw-r--r--id:000565,src:000001,op:int32,pos:104,val:+255,+cov.der1012logplain
-rw-r--r--id:000566,src:000001,op:int32,pos:178,val:be:-128,+cov.der1012logplain
-rw-r--r--id:000574,src:000001,op:int32,pos:515,val:be:-128.der1012logplain
-rw-r--r--id:000578,src:000001,op:havoc,rep:32.der1012logplain
-rw-r--r--id:000581,src:000001,op:havoc,rep:2.der1012logplain
-rw-r--r--id:000582,src:000001,op:havoc,rep:2.der1012logplain
-rw-r--r--id:000585,src:000001,op:havoc,rep:8.der1012logplain
-rw-r--r--id:000586,src:000001,op:havoc,rep:16.der1012logplain
-rw-r--r--id:000587,src:000001,op:havoc,rep:2,+cov.der1012logplain
-rw-r--r--id:000590,src:000001,op:havoc,rep:32,+cov.der1012logplain
-rw-r--r--id:000592,src:000001,op:havoc,rep:32,+cov.der1012logplain
-rw-r--r--id:000594,src:000001,op:havoc,rep:2,+cov.der1013logplain
-rw-r--r--id:000595,src:000001,op:havoc,rep:2,+cov.der1012logplain
-rw-r--r--id:000598,src:000001,op:havoc,rep:32.der1012logplain
-rw-r--r--id:000600,src:000001,op:havoc,rep:8,+cov.der1012logplain
-rw-r--r--id:000601,src:000001,op:havoc,rep:8,+cov.der1012logplain
-rw-r--r--id:000603,src:000002,op:flip1,pos:19.der269logplain
-rw-r--r--id:000605,src:000002,op:havoc,rep:8.der272logplain
-rw-r--r--id:000621,src:000003,op:flip1,pos:229,+cov.der357logplain
-rw-r--r--id:000629,src:000003,op:arith8,pos:205,val:-26,+cov.der357logplain
-rw-r--r--id:000636,src:000003,op:int8,pos:205,val:-128,+cov.der357logplain
-rw-r--r--id:000637,src:000003,op:int8,pos:207,val:-128,+cov.der357logplain
-rw-r--r--id:000639,src:000003,op:int16,pos:205,val:+128,+cov.der357logplain
-rw-r--r--id:000644,src:000003,op:int32,pos:205,val:+255,+cov.der357logplain
-rw-r--r--id:000648,src:000003,op:havoc,rep:8.der360logplain
-rw-r--r--id:000649,src:000003,op:havoc,rep:2,+cov.der357logplain
-rw-r--r--id:000650,src:000003,op:havoc,rep:8.der360logplain
-rw-r--r--id:000652,src:000003,op:havoc,rep:4.der357logplain
-rw-r--r--id:000654,src:000003,op:havoc,rep:16.der359logplain
-rw-r--r--id:000657,src:000003,op:havoc,rep:2.der358logplain
-rw-r--r--id:000658,src:000003,op:havoc,rep:4.der357logplain
-rw-r--r--id:000660,src:000003,op:havoc,rep:4.der357logplain
-rw-r--r--id:000661,src:000003,op:havoc,rep:8,+cov.der360logplain
-rw-r--r--id:000662,src:000003,op:havoc,rep:4,+cov.der364logplain
-rw-r--r--id:000664,src:000003,op:havoc,rep:2,+cov.der360logplain
-rw-r--r--id:000670,src:000182,op:havoc,rep:4,+cov.der5logplain
-rw-r--r--id:000672,src:000182,op:havoc,rep:8.der4logplain
-rw-r--r--id:000676,src:000254,op:havoc,rep:4,+cov.der8logplain
-rw-r--r--id:000677,src:000254,op:havoc,rep:2,+cov.der6logplain
-rw-r--r--id:000678,src:000254,op:havoc,rep:2,+cov.der6logplain
-rw-r--r--id:000679,src:000254,op:havoc,rep:2,+cov.der8logplain
-rw-r--r--id:000680,src:000254,op:havoc,rep:2,+cov.der8logplain
-rw-r--r--id:000681,src:000254,op:havoc,rep:4,+cov.der8logplain
-rw-r--r--id:000682,src:000254,op:havoc,rep:2,+cov.der8logplain
-rw-r--r--id:000683,src:000254,op:havoc,rep:4,+cov.der8logplain
-rw-r--r--id:000684,src:000254,op:havoc,rep:2,+cov.der6logplain
-rw-r--r--id:000685,src:000254,op:havoc,rep:2,+cov.der7logplain
-rw-r--r--id:000687,src:000336,op:flip1,pos:508.der777logplain
-rw-r--r--id:000688,src:000336,op:flip4,pos:508.der777logplain
-rw-r--r--id:000689,src:000336,op:int16,pos:424,val:be:-128,+cov.der777logplain
-rw-r--r--id:000691,src:000336,op:int32,pos:423,val:-128,+cov.der777logplain
-rw-r--r--id:000694,src:000350,op:flip8,pos:16.der1012logplain
-rw-r--r--id:000695,src:000350,op:arith8,pos:12,val:-35.der1012logplain
-rw-r--r--id:000704,src:000403,op:flip4,pos:103.der1012logplain
-rw-r--r--id:000708,src:000416,op:flip4,pos:228,+cov.der1012logplain
-rw-r--r--id:000709,src:000436,op:int32,pos:550,val:+0.der1012logplain
-rw-r--r--id:000712,src:000444,op:flip1,pos:584,+cov.der1012logplain
-rw-r--r--id:000714,src:000444,op:ext_AO,pos:584,+cov.der1012logplain
-rw-r--r--id:000722,src:000472,op:havoc,rep:2.der1012logplain
-rw-r--r--id:000723,src:000472,op:havoc,rep:4.der1012logplain
-rw-r--r--id:000729,src:000483,op:int32,pos:229,val:+0.der1012logplain
-rw-r--r--id:000730,src:000484,op:flip1,pos:503.der1012logplain
-rw-r--r--id:000731,src:000484,op:flip1,pos:505,+cov.der1012logplain
-rw-r--r--id:000735,src:000484,op:int32,pos:505,val:-128.der1012logplain
-rw-r--r--id:000738,src:000495,op:int32,pos:550,val:+0.der1012logplain
-rw-r--r--id:000743,src:000508,op:ext_AO,pos:504,+cov.der1012logplain
-rw-r--r--id:000744,src:000509,op:ext_AO,pos:507,+cov.der1012logplain
-rw-r--r--id:000748,src:000522,op:int8,pos:34,val:-128.der1012logplain
-rw-r--r--id:000753,src:000528,op:int16,pos:119,val:+16.der1012logplain
-rw-r--r--id:000754,src:000528,op:havoc,rep:2.der1012logplain
-rw-r--r--id:000756,src:000539,op:flip1,pos:268,+cov.der1012logplain
-rw-r--r--id:000757,src:000539,op:flip32,pos:47,+cov.der1012logplain
-rw-r--r--id:000763,src:000539,op:havoc,rep:32,+cov.der1013logplain
-rw-r--r--id:000767,src:000539,op:havoc,rep:8,+cov.der1015logplain
-rw-r--r--id:000769,src:000539,op:havoc,rep:32,+cov.der1012logplain
-rw-r--r--id:000770,src:000539,op:havoc,rep:32.der1015logplain
-rw-r--r--id:000776,src:000549,op:int32,pos:13,val:+0.der1012logplain
-rw-r--r--id:000783,src:000579,op:ext_AO,pos:33,+cov.der1012logplain
-rw-r--r--id:000784,src:000587,op:ext_AO,pos:15,+cov.der1012logplain
-rw-r--r--id:000786,src:000600,op:ext_AO,pos:545,+cov.der1012logplain
-rw-r--r--id:000787,src:000601,op:int16,pos:103,val:-1.der1012logplain
-rw-r--r--id:000788,src:000601,op:ext_AO,pos:105,+cov.der1012logplain
-rw-r--r--id:000789,src:000608,op:havoc,rep:8.der271logplain
-rw-r--r--id:000791,src:000612,op:int32,pos:206,val:+0.der357logplain
-rw-r--r--id:000792,src:000613,op:flip4,pos:207.der357logplain
-rw-r--r--id:000797,src:000621,op:flip1,pos:235.der357logplain
-rw-r--r--id:000799,src:000623,op:flip1,pos:354,+cov.der357logplain
-rw-r--r--id:000800,src:000623,op:flip1,pos:354,+cov.der357logplain
-rw-r--r--id:000801,src:000623,op:arith8,pos:354,val:-25,+cov.der357logplain
-rw-r--r--id:000802,src:000623,op:int16,pos:354,val:-128,+cov.der357logplain
-rw-r--r--id:000804,src:000623,op:int32,pos:193,val:-32768,+cov.der357logplain
-rw-r--r--id:000805,src:000624,op:int8,pos:355,val:-128,+cov.der357logplain
-rw-r--r--id:000806,src:000624,op:int32,pos:193,val:-32768,+cov.der357logplain
-rw-r--r--id:000810,src:000628,op:flip1,pos:7.der357logplain
-rw-r--r--id:000815,src:000640,op:int32,pos:230,val:-2147483648.der357logplain
-rw-r--r--id:000817,src:000641,op:flip1,pos:11.der357logplain
-rw-r--r--id:000821,src:000645,op:flip1,pos:207.der357logplain
-rw-r--r--id:000823,src:000645,op:int32,pos:211,val:+0.der357logplain
-rw-r--r--id:000825,src:000647,op:int32,pos:232,val:+0.der357logplain
-rw-r--r--id:000828,src:000652,op:int32,pos:30,val:+0.der357logplain
-rw-r--r--id:000833,src:000654,op:int32,pos:43,val:+0.der359logplain
-rw-r--r--id:000840,src:000655,op:havoc,rep:16,+cov.der522logplain
-rw-r--r--id:000841,src:000655,op:havoc,rep:8,+cov.der524logplain
-rw-r--r--id:000846,src:000655,op:havoc,rep:64.der499logplain
-rw-r--r--id:000849,src:000655,op:havoc,rep:2.der500logplain
-rw-r--r--id:000852,src:000655,op:havoc,rep:32.der498logplain
-rw-r--r--id:000854,src:000655,op:havoc,rep:16.der521logplain
-rw-r--r--id:000855,src:000655,op:havoc,rep:64.der499logplain
-rw-r--r--id:000857,src:000655,op:havoc,rep:8,+cov.der563logplain
-rw-r--r--id:000859,src:000659,op:ext_AO,pos:259,+cov.der357logplain
-rw-r--r--id:000861,src:000660,op:int32,pos:92,val:+0.der357logplain
-rw-r--r--id:000862,src:000661,op:flip4,pos:282,+cov.der360logplain
-rw-r--r--id:000864,src:000661,op:int8,pos:356,val:-128,+cov.der360logplain
-rw-r--r--id:000865,src:000661,op:int16,pos:356,val:-128,+cov.der360logplain
-rw-r--r--id:000866,src:000661,op:int32,pos:193,val:-32768,+cov.der360logplain
-rw-r--r--id:000867,src:000664,op:ext_AO,pos:206,+cov.der360logplain
-rw-r--r--id:000871,src:000676,op:arith8,pos:6,val:-5,+cov.der8logplain
-rw-r--r--id:000872,src:000676,op:arith8,pos:7,val:-21,+cov.der8logplain
-rw-r--r--id:000873,src:000676,op:havoc,rep:2,+cov.der6logplain
-rw-r--r--id:000875,src:000680,op:havoc,rep:2,+cov.der9logplain
-rw-r--r--id:000876,src:000681,op:havoc,rep:2,+cov.der10logplain
-rw-r--r--id:000880,src:000683,op:havoc,rep:2,+cov.der10logplain
-rw-r--r--id:000881,src:000685,op:havoc,rep:2,+cov.der10logplain
-rw-r--r--id:000885,src:000701,op:int32,pos:106,val:+0.der1012logplain
-rw-r--r--id:000886,src:000701,op:int32,pos:107,val:+0.der1012logplain
-rw-r--r--id:000887,src:000708,op:ext_AO,pos:229,+cov.der1012logplain
-rw-r--r--id:000888,src:000713,op:flip1,pos:601.der1012logplain
-rw-r--r--id:000889,src:000713,op:flip1,pos:647.der1012logplain
-rw-r--r--id:000890,src:000714,op:flip1,pos:503,+cov.der1012logplain
-rw-r--r--id:000891,src:000721,op:int32,pos:798,val:be:+1.der1013logplain
-rw-r--r--id:000892,src:000724,op:int16,pos:503,val:+1.der1015logplain
-rw-r--r--id:000894,src:000734,op:int16,pos:503,val:+1.der1012logplain
-rw-r--r--id:000895,src:000745,op:flip4,pos:751.der1012logplain
-rw-r--r--id:000900,src:000745,op:havoc,rep:64.der1013logplain
-rw-r--r--id:000901,src:000745,op:havoc,rep:8.der1013logplain
-rw-r--r--id:000903,src:000768,op:int16,pos:230,val:+256.der1015logplain
-rw-r--r--id:000904,src:000768,op:int16,pos:1012,val:-128,+cov.der1015logplain
-rw-r--r--id:000905,src:000768,op:int32,pos:1010,val:-128,+cov.der1015logplain
-rw-r--r--id:000906,src:000768,op:int32,pos:1011,val:+32768,+cov.der1015logplain
-rw-r--r--id:000910,src:000777,op:int32,pos:28,val:+0.der1012logplain
-rw-r--r--id:000913,src:000793,op:int32,pos:208,val:-2147483648.der357logplain
-rw-r--r--id:000914,src:000793,op:ext_AO,pos:208,+cov.der357logplain
-rw-r--r--id:000916,src:000808,op:flip1,pos:44.der357logplain
-rw-r--r--id:000918,src:000811,op:int8,pos:300,val:-128.der357logplain
-rw-r--r--id:000920,src:000813,op:int32,pos:231,val:+0.der357logplain
-rw-r--r--id:000923,src:000818,op:int32,pos:18,val:+0.der357logplain
-rw-r--r--id:000924,src:000818,op:int32,pos:19,val:+0.der357logplain
-rw-r--r--id:000927,src:000819,op:int8,pos:9,val:-128.der357logplain
-rw-r--r--id:000928,src:000819,op:int32,pos:9,val:+255.der357logplain
-rw-r--r--id:000930,src:000820,op:flip1,pos:205.der357logplain
-rw-r--r--id:000935,src:000822,op:int32,pos:214,val:+0.der357logplain
-rw-r--r--id:000936,src:000826,op:flip1,pos:229.der357logplain
-rw-r--r--id:000939,src:000828,op:int32,pos:34,val:+0.der357logplain
-rw-r--r--id:000940,src:000829,op:flip2,pos:334.der357logplain
-rw-r--r--id:000943,src:000832,op:int32,pos:46,val:+0.der359logplain
-rw-r--r--id:000945,src:000840,op:flip1,pos:518,+cov.der518logplain
-rw-r--r--id:000947,src:000849,op:flip1,pos:279.der500logplain
-rw-r--r--id:000949,src:000858,op:arith8,pos:280,val:-5.der357logplain
-rw-r--r--id:000950,src:000860,op:int16,pos:95,val:+0.der357logplain
-rw-r--r--id:000953,src:000862,op:flip1,pos:355,+cov.der360logplain
-rw-r--r--id:000954,src:000862,op:flip1,pos:355,+cov.der360logplain
-rw-r--r--id:000955,src:000862,op:flip1,pos:356,+cov.der360logplain
-rw-r--r--id:000956,src:000862,op:flip2,pos:355,+cov.der360logplain
-rw-r--r--id:000958,src:000863,op:flip1,pos:228.der360logplain
-rw-r--r--id:000959,src:000864,op:flip1,pos:357,+cov.der360logplain
-rw-r--r--id:000961,src:000866,op:flip1,pos:357,+cov.der360logplain
-rw-r--r--id:000962,src:000875,op:havoc,rep:4,+cov.der10logplain
-rw-r--r--id:000963,src:000876,op:flip4,pos:5,+cov.der10logplain
-rw-r--r--id:000964,src:000878,op:int16,pos:4,val:be:-128,+cov.der10logplain
-rw-r--r--id:000975,src:000920,op:int32,pos:235,val:+0.der357logplain
-rw-r--r--id:000976,src:000924,op:int32,pos:23,val:+0.der357logplain
-rw-r--r--id:000977,src:000928,op:int32,pos:20,val:+0.der357logplain
-rw-r--r--id:000978,src:000928,op:havoc,rep:32.der360logplain
-rw-r--r--id:000980,src:000929,op:int32,pos:212,val:+0.der357logplain
-rw-r--r--id:000983,src:000934,op:int32,pos:216,val:+0.der357logplain
-rw-r--r--id:000985,src:000934,op:havoc,rep:2.der357logplain
-rw-r--r--id:000986,src:000935,op:int32,pos:205,val:+255.der357logplain
-rw-r--r--id:000988,src:000936,op:int32,pos:237,val:+0.der357logplain
-rw-r--r--id:000989,src:000939,op:flip2,pos:39.der357logplain
-rw-r--r--id:000990,src:000939,op:int16,pos:39,val:+0.der357logplain
-rw-r--r--id:000991,src:000944,op:int32,pos:41,val:-32768.der500logplain
-rw-r--r--id:000992,src:000944,op:int32,pos:371,val:-128.der500logplain
-rw-r--r--id:000995,src:000944,op:havoc,rep:4.der499logplain
-rw-r--r--id:000997,src:000944,op:havoc,rep:2.der500logplain
-rw-r--r--id:000998,src:000944,op:havoc,rep:2.der497logplain
-rw-r--r--id:001001,src:000950,op:int32,pos:97,val:+0.der357logplain
-rw-r--r--id:001003,src:000951,op:havoc,rep:2.der357logplain
-rw-r--r--id:001004,src:000957,op:havoc,rep:16.der360logplain
-rw-r--r--id:001005,src:000965,op:arith8,pos:426,val:+14.der780logplain
-rw-r--r--id:001007,src:000965,op:havoc,rep:64.der778logplain
-rw-r--r--id:001015,src:000968,op:int32,pos:35,val:-128.der1013logplain
-rw-r--r--id:001017,src:000973,op:int32,pos:237,val:+0.der357logplain
-rw-r--r--id:001019,src:000974,op:int32,pos:230,val:be:+32768.der357logplain
-rw-r--r--id:001021,src:000978,op:int32,pos:29,val:+0.der360logplain
-rw-r--r--id:001022,src:000978,op:havoc,rep:8.der360logplain
-rw-r--r--id:001026,src:000986,op:int32,pos:217,val:+0.der357logplain
-rw-r--r--id:001028,src:000992,op:havoc,rep:2.der498logplain
-rw-r--r--id:001033,src:001016,op:int32,pos:239,val:+0.der357logplain
-rw-r--r--id:001034,src:001017,op:int32,pos:240,val:+0.der357logplain
-rw-r--r--id:001037,src:000942,op:int32,pos:48,val:+0.der359logplain
-rw-r--r--id:001040,src:001035,op:int32,pos:234,val:+0.der1012logplain
-rw-r--r--id:001041,src:001035,op:int32,pos:235,val:+0.der1012logplain
-rw-r--r--id:001042,src:001036,op:flip2,pos:229.der357logplain
-rw-r--r--id:001044,src:001039,op:int32,pos:236,val:+0.der1012logplain
-rw-r--r--id:001047,src:000328,op:havoc,rep:2.der23logplain
-rw-r--r--id:001051,src:001050,op:havoc,rep:2.der25logplain
-rw-r--r--id:001052,src:001050,op:havoc,rep:2.der23logplain
-rw-r--r--id:001054,src:001050,op:havoc,rep:2.der26logplain
-rw-r--r--id:001056,src:001050,op:havoc,rep:2.der21logplain
-rw-r--r--id:001069,src:000337,op:flip1,pos:285.der960logplain
-rw-r--r--id:001071,src:000337,op:flip8,pos:245.der960logplain
-rw-r--r--id:001072,src:000337,op:havoc,rep:4.der960logplain
-rw-r--r--id:001076,src:001073,op:havoc,rep:64.der1296logplain
-rw-r--r--id:001078,src:001073,op:havoc,rep:128.der1012logplain
-rw-r--r--id:001079,src:001073,op:havoc,rep:128.der1184logplain
-rw-r--r--id:001081,src:001073,op:havoc,rep:4.der1796logplain
-rw-r--r--id:001082,src:001073,op:havoc,rep:16.der1012logplain
-rw-r--r--id:001083,src:001080,op:havoc,rep:16.der3494logplain
-rw-r--r--id:001084,src:001080,op:havoc,rep:16.der4912logplain
-rw-r--r--id:001087,src:000435,op:havoc,rep:8.der1296logplain
-rw-r--r--id:001095,src:000435,op:havoc,rep:64,+cov.der1012logplain
-rw-r--r--id:001098,src:000992,op:havoc,rep:2.der775logplain
-rw-r--r--id:001099,src:001095,op:flip1,pos:573.der1012logplain
-rw-r--r--id:001104,src:001096,op:havoc,rep:4.der1608logplain
-rw-r--r--id:001105,src:001102,op:havoc,rep:8.der1012logplain
-rw-r--r--id:001106,src:000413,op:havoc,rep:4.der1935logplain
-rw-r--r--id:001108,src:000004,op:ext_AO,pos:258.der357logplain
-rw-r--r--id:001111,src:001108,op:flip1,pos:262.der357logplain
-rw-r--r--id:001112,src:001108,op:ext_AO,pos:280.der357logplain
-rw-r--r--id:001114,src:000425,op:flip1,pos:749.der1012logplain
-rw-r--r--id:001116,src:000584,op:havoc,rep:2.der1012logplain
-rw-r--r--id:001118,src:000592,op:havoc,rep:64.der1012logplain
-rw-r--r--id:001120,src:000669,op:int16,pos:6,val:be:+1000,+cov.der8logplain
-rw-r--r--id:001123,src:000589,op:flip2,pos:551.der1012logplain
-rw-r--r--id:001124,src:000589,op:arith8,pos:551,val:+9.der1012logplain
-rw-r--r--id:001125,src:000589,op:int32,pos:550,val:-128.der1012logplain
-rw-r--r--id:001129,src:001126,op:arith8,pos:503,val:+1.der1012logplain
-rw-r--r--id:001130,src:001126,op:havoc,rep:4.der1013logplain
-rw-r--r--id:001136,src:000605,op:havoc,rep:4.der272logplain
-rw-r--r--id:001137,src:000827,op:flip1,pos:210.der357logplain
-rw-r--r--id:001138,src:000827,op:arith8,pos:210,val:-12.der357logplain
-rw-r--r--id:001145,src:000728,op:havoc,rep:32.der1002logplain
-rw-r--r--id:001148,src:001142,op:havoc,rep:8.der1013logplain
-rw-r--r--id:001156,src:001152,op:flip1,pos:39.der1012logplain
-rw-r--r--id:001163,src:001152,op:flip1,pos:46.der1012logplain
-rw-r--r--id:001164,src:001152,op:flip1,pos:47.der1012logplain
-rw-r--r--id:001169,src:001152,op:flip1,pos:64.der1012logplain
-rw-r--r--id:001170,src:001152,op:flip1,pos:95.der1012logplain
-rw-r--r--id:001172,src:001152,op:havoc,rep:4.der1012logplain
-rw-r--r--id:001173,src:001152,op:havoc,rep:16.der1012logplain
-rw-r--r--id:001175,src:001159,op:havoc,rep:4.der1012logplain
-rw-r--r--id:001176,src:001165,op:havoc,rep:32.der1012logplain
-rw-r--r--id:001177,src:000591,op:arith8,pos:575,val:+3.der1012logplain
-rw-r--r--id:001178,src:000656,op:int32,pos:353,val:-32768,+cov.der360logplain
-rw-r--r--id:001179,src:001178,op:flip1,pos:355,+cov.der360logplain
-rw-r--r--id:001180,src:001178,op:flip1,pos:355,+cov.der360logplain
-rw-r--r--id:001185,src:000857,op:havoc,rep:16.der500logplain
-rw-r--r--id:001188,src:000966,op:havoc,rep:32.der780logplain
-rw-r--r--id:001189,src:000990,op:havoc,rep:2.der357logplain
-rw-r--r--id:001190,src:001177,op:arith8,pos:639,val:+3.der1012logplain
-rw-r--r--id:001191,src:001189,op:flip1,pos:27.der357logplain
-rw-r--r--id:001192,src:001189,op:int32,pos:25,val:+255.der357logplain
-rw-r--r--id:001193,src:001189,op:ext_AO,pos:5.der357logplain
-rw-r--r--id:001194,src:001189,op:havoc,rep:16.der360logplain
-rw-r--r--id:001195,src:001189,op:havoc,rep:32.der360logplain
-rw-r--r--id:001196,src:001189,op:havoc,rep:2.der360logplain
-rw-r--r--id:001197,src:001189,op:havoc,rep:8.der380logplain
-rw-r--r--id:001198,src:001189,op:havoc,rep:4.der132logplain
-rw-r--r--id:001200,src:001193,op:flip2,pos:154.der357logplain
-rw-r--r--id:001201,src:001195,op:int8,pos:47,val:+0.der360logplain
-rw-r--r--id:001202,src:001196,op:flip1,pos:31.der360logplain
-rw-r--r--id:001204,src:000710,op:arith8,pos:639,val:+3.der1012logplain
-rw-r--r--id:001206,src:000829,op:havoc,rep:16.der716logplain
-rw-r--r--id:001207,src:000886,op:int32,pos:110,val:+0.der1012logplain
-rw-r--r--id:001208,src:000934,op:havoc,rep:2.der360logplain
-rw-r--r--id:001209,src:000958,op:int16,pos:230,val:+1024.der360logplain
-rw-r--r--id:001210,src:001025,op:flip1,pos:204.der357logplain
-rw-r--r--id:001215,src:001093,op:havoc,rep:16.der5240logplain
-rw-r--r--id:001217,src:001119,op:flip1,pos:27.der364logplain
-rw-r--r--id:001219,src:001136,op:flip1,pos:40.der272logplain
-rw-r--r--id:001244,src:001239,op:flip1,pos:344.der360logplain
-rw-r--r--id:001245,src:001239,op:flip1,pos:347.der360logplain
-rw-r--r--id:001247,src:001239,op:flip1,pos:356.der360logplain
-rw-r--r--id:001248,src:001239,op:flip1,pos:356.der360logplain
-rw-r--r--id:001250,src:001239,op:flip2,pos:356.der360logplain
-rw-r--r--id:001251,src:001239,op:flip4,pos:347.der360logplain
-rw-r--r--id:001252,src:001239,op:arith8,pos:310,val:+10.der360logplain
-rw-r--r--id:001254,src:001239,op:int32,pos:353,val:+255.der360logplain
-rw-r--r--id:001255,src:001239,op:int32,pos:353,val:be:+1000.der360logplain
-rw-r--r--id:001257,src:001239,op:ext_AO,pos:355.der360logplain
-rw-r--r--id:001258,src:001239,op:ext_AO,pos:356.der360logplain
-rw-r--r--id:001259,src:001252,op:flip1,pos:356.der360logplain
-rw-r--r--id:001260,src:001252,op:flip1,pos:356.der360logplain
-rw-r--r--id:001261,src:001252,op:flip2,pos:356.der360logplain
-rw-r--r--id:001262,src:001252,op:int16,pos:355,val:+255.der360logplain
-rw-r--r--id:001264,src:001252,op:int32,pos:353,val:be:+1000.der360logplain
-rw-r--r--id:001265,src:001252,op:int32,pos:354,val:+255.der360logplain
-rw-r--r--id:001266,src:001252,op:ext_AO,pos:355.der360logplain
-rw-r--r--id:001267,src:001252,op:ext_AO,pos:356.der360logplain
-rw-r--r--id:001270,src:001252,op:havoc,rep:8.der457logplain
-rw-r--r--id:001272,src:001254,op:flip1,pos:207.der360logplain
-rw-r--r--id:001273,src:001254,op:flip1,pos:278.der360logplain
-rw-r--r--id:001274,src:001254,op:flip1,pos:279.der360logplain
-rw-r--r--id:001275,src:001254,op:flip1,pos:328.der360logplain
-rw-r--r--id:001276,src:001254,op:flip1,pos:344.der360logplain
-rw-r--r--id:001277,src:001254,op:flip1,pos:347.der360logplain
-rw-r--r--id:001278,src:001254,op:flip1,pos:353.der360logplain
-rw-r--r--id:001279,src:001254,op:flip1,pos:353.der360logplain
-rw-r--r--id:001280,src:001254,op:flip2,pos:353.der360logplain
-rw-r--r--id:001282,src:001254,op:arith8,pos:310,val:+7.der360logplain
-rw-r--r--id:001286,src:001254,op:int32,pos:351,val:+255.der360logplain
-rw-r--r--id:001287,src:001254,op:havoc,rep:8.der360logplain
-rw-r--r--id:001288,src:001254,op:havoc,rep:4.der443logplain
-rw-r--r--id:001289,src:001254,op:havoc,rep:4.der360logplain
-rw-r--r--id:001291,src:001255,op:flip1,pos:278.der360logplain
-rw-r--r--id:001293,src:001255,op:int16,pos:356,val:-128.der360logplain
-rw-r--r--id:001294,src:001271,op:flip1,pos:353.der360logplain
-rw-r--r--id:001298,src:001297,op:flip1,pos:207.der360logplain
-rw-r--r--id:001300,src:001297,op:flip1,pos:278.der360logplain
-rw-r--r--id:001302,src:001297,op:flip1,pos:347.der360logplain
-rw-r--r--id:001303,src:001297,op:flip4,pos:344.der360logplain
-rw-r--r--id:001304,src:001297,op:int16,pos:354,val:+128.der360logplain
-rw-r--r--id:001305,src:001297,op:int32,pos:349,val:be:+1024.der360logplain
-rw-r--r--id:001306,src:001297,op:int32,pos:351,val:be:+512.der360logplain
-rw-r--r--id:001308,src:001299,op:int16,pos:354,val:+128.der360logplain
-rw-r--r--id:001310,src:001042,op:havoc,rep:8,+cov.der405logplain
-rw-r--r--id:001311,src:001227,op:flip1,pos:359.der360logplain
-rw-r--r--id:001312,src:001227,op:flip4,pos:358.der360logplain
-rw-r--r--id:001314,src:001310,op:flip1,pos:48,+cov.der405logplain
-rw-r--r--id:001315,src:001310,op:flip1,pos:403,+cov.der405logplain
-rw-r--r--id:001316,src:001310,op:flip2,pos:48,+cov.der405logplain
-rw-r--r--id:001317,src:001310,op:int32,pos:401,val:be:-32768,+cov.der405logplain
-rw-r--r--id:001319,src:001314,op:flip1,pos:402,+cov.der405logplain
-rw-r--r--id:001320,src:001314,op:flip1,pos:402,+cov.der405logplain
-rw-r--r--id:001321,src:001318,op:flip2,pos:752.der1012logplain
-rw-r--r--id:001322,src:000713,op:havoc,rep:4.der1012logplain
-rw-r--r--id:001323,src:000998,op:havoc,rep:16.der532logplain
-rw-r--r--id:001325,src:000998,op:havoc,rep:4.der543logplain
-rw-r--r--id:001329,src:000998,op:havoc,rep:8.der567logplain
-rw-r--r--id:001330,src:001026,op:flip1,pos:204.der357logplain
-rw-r--r--id:001331,src:001029,op:havoc,rep:16.der284logplain
-rw-r--r--id:001334,src:001044,op:int16,pos:241,val:+0.der1012logplain
-rw-r--r--id:001335,src:001074,op:int16,pos:227,val:+0.der1012logplain
-rw-r--r--id:001340,src:001120,op:havoc,rep:2,+cov.der13logplain
-rw-r--r--id:001341,src:001120,op:havoc,rep:2,+cov.der12logplain
-rw-r--r--id:001342,src:001120,op:havoc,rep:4,+cov.der11logplain
-rw-r--r--id:001343,src:001120,op:havoc,rep:2,+cov.der11logplain
-rw-r--r--id:001344,src:001120,op:havoc,rep:2,+cov.der9logplain
-rw-r--r--id:001350,src:000891,op:havoc,rep:2.der1015logplain
-rw-r--r--id:001351,src:001002,op:havoc,rep:8.der360logplain
-rw-r--r--id:001352,src:001250,op:flip1,pos:207.der360logplain
-rw-r--r--id:001353,src:001250,op:flip1,pos:278.der360logplain
-rw-r--r--id:001354,src:001250,op:flip1,pos:347.der360logplain
-rw-r--r--id:001355,src:001351,op:flip1,pos:88.der360logplain
-rw-r--r--id:001356,src:001133,op:flip4,pos:552.der1013logplain
-rw-r--r--id:001357,src:001185,op:havoc,rep:8.der968logplain
-rw-r--r--id:001358,src:001187,op:havoc,rep:8.der780logplain
-rw-r--r--id:001359,src:001206,op:havoc,rep:8.der988logplain
-rw-r--r--id:001360,src:001206,op:havoc,rep:8.der1232logplain
-rw-r--r--id:001361,src:001208,op:flip2,pos:200.der360logplain
-rw-r--r--id:001362,src:001208,op:int32,pos:205,val:+255.der360logplain
-rw-r--r--id:001365,src:001221,op:int16,pos:114,val:+0.der1012logplain
-rw-r--r--id:001366,src:001221,op:int32,pos:113,val:+0.der1012logplain
-rw-r--r--id:001367,src:001221,op:int32,pos:114,val:+0.der1012logplain
-rw-r--r--id:001370,src:001232,op:flip4,pos:358.der360logplain
-rw-r--r--id:001371,src:001232,op:havoc,rep:4,+cov.der360logplain
-rw-r--r--id:001372,src:001232,op:havoc,rep:4.der371logplain
-rw-r--r--id:001375,src:001122,op:flip2,pos:502.der1012logplain
-rw-r--r--id:001379,src:001144,op:havoc,rep:16.der1014logplain
-rw-r--r--id:001380,src:001144,op:havoc,rep:32.der1015logplain
-rw-r--r--id:001381,src:001144,op:havoc,rep:32.der1013logplain
-rw-r--r--id:001382,src:001231,op:flip4,pos:358.der360logplain
-rw-r--r--id:001383,src:001235,op:flip4,pos:358.der360logplain
-rw-r--r--id:001385,src:001240,op:flip1,pos:356.der360logplain
-rw-r--r--id:001386,src:001240,op:ext_AO,pos:356.der360logplain
-rw-r--r--id:001389,src:001242,op:int16,pos:272,val:be:+512.der360logplain
-rw-r--r--id:001390,src:001242,op:int16,pos:355,val:+255.der360logplain
-rw-r--r--id:001391,src:001242,op:int32,pos:354,val:+255.der360logplain
-rw-r--r--id:001392,src:001242,op:ext_AO,pos:356.der360logplain
-rw-r--r--id:001393,src:001245,op:flip1,pos:356.der360logplain
-rw-r--r--id:001394,src:001245,op:flip1,pos:356.der360logplain
-rw-r--r--id:001395,src:001245,op:ext_AO,pos:356.der360logplain
-rw-r--r--id:001396,src:001257,op:flip4,pos:344.der360logplain
-rw-r--r--id:001397,src:001257,op:int16,pos:357,val:-128.der360logplain
-rw-r--r--id:001398,src:001266,op:int16,pos:357,val:-128.der360logplain
-rw-r--r--id:001400,src:001267,op:flip1,pos:279.der360logplain
-rw-r--r--id:001401,src:001267,op:int16,pos:358,val:-128.der360logplain
-rw-r--r--id:001402,src:001279,op:flip1,pos:278.der360logplain
-rw-r--r--id:001403,src:001279,op:flip1,pos:328.der360logplain
-rw-r--r--id:001404,src:001303,op:havoc,rep:8.der360logplain
-rw-r--r--id:001405,src:001404,op:flip1,pos:198.der360logplain
-rw-r--r--id:001407,src:001406,op:flip1,pos:209.der360logplain
-rw-r--r--id:001408,src:001406,op:flip16,pos:209.der360logplain
-rw-r--r--id:001409,src:000748,op:int32,pos:38,val:+0.der1012logplain
-rw-r--r--id:001410,src:000748,op:int32,pos:48,val:+0.der1012logplain
-rw-r--r--id:001411,src:000979,op:havoc,rep:2.der360logplain
-rw-r--r--id:001413,src:001222,op:havoc,rep:64.der1012logplain
-rw-r--r--id:001414,src:001237,op:flip4,pos:358.der360logplain
-rw-r--r--id:001415,src:001258,op:int16,pos:358,val:-128.der360logplain
-rw-r--r--id:001416,src:001297,op:havoc,rep:8.der358logplain
-rw-r--r--id:001417,src:001314,op:havoc,rep:2,+cov.der406logplain
-rw-r--r--id:001418,src:001314,op:havoc,rep:2,+cov.der407logplain
-rw-r--r--id:001419,src:001411,op:flip1,pos:204.der360logplain
-rw-r--r--id:001420,src:001411,op:havoc,rep:2.der360logplain
-rw-r--r--id:001421,src:001147,op:havoc,rep:8.der1012logplain
-rw-r--r--id:001422,src:001147,op:havoc,rep:8.der1012logplain
-rw-r--r--id:001424,src:001324,op:int16,pos:21,val:+256.der549logplain
-rw-r--r--id:001429,src:001324,op:havoc,rep:2.der884logplain
-rw-r--r--id:001432,src:001326,op:havoc,rep:4.der1144logplain
-rw-r--r--id:001433,src:001334,op:havoc,rep:16.der1012logplain
-rw-r--r--id:001434,src:001350,op:havoc,rep:8.der1749logplain
-rw-r--r--id:001435,src:001357,op:havoc,rep:8.der1632logplain
-rw-r--r--id:001436,src:001360,op:havoc,rep:8.der2271logplain
-rw-r--r--id:001437,src:001369,op:havoc,rep:4.der360logplain
-rw-r--r--id:001439,src:001379,op:havoc,rep:16.der1012logplain
-rw-r--r--id:001440,src:001386,op:int16,pos:358,val:-128.der360logplain
-rw-r--r--id:001441,src:001400,op:int16,pos:358,val:-128.der360logplain
-rw-r--r--id:001442,src:001401,op:flip1,pos:310.der360logplain
-rw-r--r--id:001443,src:001405,op:havoc,rep:4.der359logplain
-rw-r--r--id:001445,src:001429,op:havoc,rep:2.der1179logplain
-rw-r--r--id:001454,src:001444,op:havoc,rep:4.der2405logplain
-rw-r--r--id:001461,src:001218,op:int8,pos:196,val:-128.der364logplain
-rw-r--r--id:001462,src:001461,op:flip1,pos:234.der364logplain
-rw-r--r--id:001463,src:001335,op:int32,pos:144,val:+32768.der1012logplain
-rw-r--r--id:001464,src:001349,op:havoc,rep:2.der1394logplain
-rw-r--r--id:001465,src:001349,op:havoc,rep:64.der1032logplain
-rw-r--r--id:001466,src:001406,op:havoc,rep:4.der396logplain
-rw-r--r--id:001467,src:001414,op:flip2,pos:347.der360logplain
-rw-r--r--id:001469,src:000679,op:havoc,rep:2,+cov.der8logplain
-rw-r--r--id:001476,src:001209,op:int8,pos:232,val:+127,+cov.der360logplain
-rw-r--r--id:001478,src:001215,op:int32,pos:502,val:-32768.der4960logplain
-rw-r--r--id:001479,src:001348,op:havoc,rep:16.der1012logplain
-rw-r--r--id:001480,src:001404,op:havoc,rep:8.der360logplain
-rw-r--r--id:001481,src:001346,op:havoc,rep:4,+cov.der11logplain
-rw-r--r--id:001482,src:001468,op:havoc,rep:32.der40logplain
-rw-r--r--id:001483,src:001481,op:flip1,pos:7,+cov.der11logplain
-rw-r--r--id:001484,src:001481,op:flip1,pos:7,+cov.der11logplain
-rw-r--r--id:001485,src:001481,op:flip2,pos:7,+cov.der11logplain
-rw-r--r--id:001486,src:001481,op:havoc,rep:4,+cov.der9logplain
-rw-r--r--id:001487,src:001481,op:havoc,rep:2,+cov.der13logplain
-rw-r--r--id:001488,src:001481,op:havoc,rep:2,+cov.der8logplain
-rw-r--r--id:001489,src:001481,op:havoc,rep:2,+cov.der10logplain
-rw-r--r--id:001491,src:001211,op:flip1,pos:24.der960logplain
-rw-r--r--id:001492,src:001211,op:flip1,pos:230.der960logplain
-rw-r--r--id:001498,src:001439,op:havoc,rep:4.der1014logplain
-rw-r--r--id:001499,src:001450,op:havoc,rep:8.der531logplain
-rw-r--r--id:001500,src:001452,op:havoc,rep:32.der4495logplain
-rw-r--r--id:001501,src:001469,op:havoc,rep:2,+cov.der10logplain
-rw-r--r--id:001502,src:001501,op:havoc,rep:2,+cov.der12logplain
-rw-r--r--id:001503,src:001502,op:flip1,pos:9,+cov.der12logplain
-rw-r--r--id:001504,src:001502,op:flip2,pos:9,+cov.der12logplain
-rw-r--r--id:001505,src:001502,op:havoc,rep:2,+cov.der11logplain
-rw-r--r--id:001506,src:001502,op:havoc,rep:2,+cov.der14logplain
-rw-r--r--id:001507,src:001502,op:havoc,rep:4,+cov.der14logplain
-rw-r--r--id:001508,src:001502,op:havoc,rep:2,+cov.der14logplain
-rw-r--r--id:001509,src:001502,op:havoc,rep:2,+cov.der15logplain
-rw-r--r--id:001510,src:001506,op:flip1,pos:9,+cov.der14logplain
-rw-r--r--id:001511,src:001506,op:flip2,pos:9,+cov.der14logplain
-rw-r--r--id:001514,src:001476,op:havoc,rep:4.der392logplain
-rw-r--r--id:001517,src:001461,op:havoc,rep:4.der372logplain
-rw-r--r--id:001518,src:001463,op:havoc,rep:4.der1012logplain
-rw-r--r--id:001519,src:001490,op:flip1,pos:280.der360logplain
-rw-r--r--id:001520,src:001498,op:int16,pos:29,val:+512.der1014logplain
-rw-r--r--id:001523,src:001375,op:flip1,pos:513.der1012logplain
-rw-r--r--id:001524,src:001375,op:flip1,pos:514.der1012logplain
-rw-r--r--id:001525,src:001375,op:flip1,pos:515.der1012logplain
-rw-r--r--id:001526,src:001512,op:flip16,pos:28.der32logplain
-rw-r--r--id:001527,src:001512,op:havoc,rep:4.der33logplain
-rw-r--r--id:001528,src:001512,op:havoc,rep:4.der35logplain
-rw-r--r--id:001529,src:001512,op:havoc,rep:2.der34logplain
-rw-r--r--id:001531,src:001460,op:flip2,pos:236.der364logplain
-rw-r--r--id:001532,src:001477,op:flip2,pos:205.der424logplain
-rw-r--r--id:001533,src:001477,op:flip4,pos:205.der424logplain
-rw-r--r--id:001534,src:001477,op:int16,pos:419,val:+1024,+cov.der424logplain
-rw-r--r--id:001535,src:001477,op:havoc,rep:2,+cov.der415logplain
-rw-r--r--id:001536,src:001477,op:havoc,rep:4,+cov.der504logplain
-rw-r--r--id:001538,src:001534,op:flip1,pos:207,+cov.der424logplain
-rw-r--r--id:001539,src:001534,op:flip1,pos:421,+cov.der424logplain
-rw-r--r--id:001540,src:001534,op:flip1,pos:421,+cov.der424logplain
-rw-r--r--id:001541,src:001534,op:havoc,rep:4,+cov.der424logplain
-rw-r--r--id:001542,src:001535,op:int16,pos:409,val:+255,+cov.der415logplain
-rw-r--r--id:001543,src:001537,op:flip1,pos:602.der608logplain
-rw-r--r--id:001546,src:001539,op:havoc,rep:2,+cov.der424logplain
-rw-r--r--id:001547,src:001433,op:havoc,rep:16.der1039logplain
-rw-r--r--id:001548,src:001479,op:havoc,rep:32.der1012logplain
-rw-r--r--id:001549,src:001492,op:flip1,pos:424.der960logplain
-rw-r--r--id:001551,src:001499,op:havoc,rep:4.der618logplain
-rw-r--r--id:001552,src:001447,op:havoc,rep:2.der3143logplain
-rw-r--r--id:001553,src:001457,op:havoc,rep:4.der3655logplain
-rw-r--r--id:001554,src:001459,op:havoc,rep:8.der4042logplain
-rw-r--r--id:001555,src:001459,op:havoc,rep:2.der4548logplain
-rw-r--r--id:001556,src:001507,op:havoc,rep:2,+cov.der14logplain
-rw-r--r--id:001557,src:000685+000981,op:splice,rep:2.der368logplain
-rw-r--r--id:001558,src:001421,op:havoc,rep:4.der1243logplain
-rw-r--r--id:001559,src:001421,op:havoc,rep:4.der1573logplain
-rw-r--r--id:001560,src:001421,op:havoc,rep:32.der1015logplain
-rw-r--r--id:001562,src:001421,op:havoc,rep:8.der1030logplain
-rw-r--r--id:001567,src:000806+001307,op:splice,rep:4.der360logplain
-rw-r--r--id:001568,src:001510+001564,op:splice,rep:4.der112logplain
-rw-r--r--id:001571,src:000037,op:havoc,rep:8.der16logplain
-rw-r--r--id:001572,src:001530,op:flip1,pos:153.der1012logplain
-rw-r--r--id:001573,src:001530,op:flip2,pos:158.der1012logplain
-rw-r--r--id:001574,src:001540+001215,op:splice,rep:4.der1796logplain
-rw-r--r--id:001575,src:001543,op:havoc,rep:8.der1187logplain
-rw-r--r--id:001577,src:001565,op:flip1,pos:21.der1015logplain
-rw-r--r--id:001578,src:001565+000591,op:splice,rep:4.der1012logplain
-rw-r--r--id:001579,src:001577,op:havoc,rep:4.der1146logplain
-rw-r--r--id:001580,src:001577,op:havoc,rep:64.der3301logplain
-rw-r--r--id:001581,src:001473+001546,op:splice,rep:16.der960logplain
-rw-r--r--id:001583,src:001473+001546,op:splice,rep:16.der2296logplain
-rw-r--r--id:001584,src:001548,op:havoc,rep:8.der1012logplain
-rw-r--r--id:001586,src:001576,op:int8,pos:498,val:+0.der960logplain
-rw-r--r--id:001587,src:001576+001104,op:splice,rep:4.der1294logplain
-rw-r--r--id:001588,src:001576+001104,op:splice,rep:16.der2717logplain
-rw-r--r--id:001589,src:000691+001423,op:splice,rep:4.der1012logplain