add Truth files for new checkpointing tests

Truth/Regress/adpf.mfeen.checkpoint5.out

@@ -0,0 +1,6 @@
+Answer: 
+( -4230 , cadd( dlr( <0,0> sr( <0,1> sr( <1,2> sr( <2,3> sr( <3,4> il( <4,5> <5,6> <6,7> sr( <7,8> hl( <8,9> <9,10> <10,21> <21,22> <22,23> ) <23,24> ) <24,25> <25,26> <26,27> ) <27,28> ) <28,29> ) <29,30> ) <30,31> ) <31,31> ) sadd( <31,32> sadd( <32,33> sadd( <33,34> sadd( <34,35> sadd( <35,36> sadd( <36,37> sadd( <37,38> sadd( <38,39> sadd( <39,40> sadd( <40,41> sadd( <41,42> sadd( <42,43> sadd( <43,44> sadd( <44,45> sadd( <45,46> sadd( <46,47> cadd( dlr( <47,47> sr( <47,48> il( <48,49> <49,50> <50,51> bl( <51,52> <52,53> <53,54> sr( <54,55> sr( <55,56> sr( <56,57> ml( <57,58> <58,59> sadd( <59,60> sadd( <60,61> sadd( <61,62> sadd( <62,63> sadd( <63,64> sadd( <64,65> sadd( <65,66> app( ul( dlr( <66,66> il( <66,67> <67,68> <68,69> hl( <69,70> <70,71> <71,81> <81,82> <82,83> ) <83,84> <84,85> <85,86> ) <86,86> ) ) sadd( <86,87> sadd( <87,88> app( ul( dlr( <88,88> sr( <88,89> sr( <89,90> sr( <90,91> il( <91,92> <92,93> <93,95> il( <95,96> <96,97> <97,101> hl( <101,102> <102,103> <103,111> <111,112> <112,113> ) <113,116> <116,117> <117,118> ) <118,120> <120,121> <121,122> ) <122,123> ) <123,124> ) <124,125> ) <125,125> ) ) sadd( <125,126> sadd( <126,127> app( ul( dlr( <127,127> sr( <127,128> il( <128,129> <129,130> <130,134> sr( <134,135> sr( <135,136> sr( <136,137> sr( <137,138> il( <138,139> <139,140> <140,142> il( <142,143> <143,144> <144,145> hl( <145,146> <146,147> <147,151> <151,152> <152,153> ) <153,154> <154,155> <155,156> ) <156,158> <158,159> <159,160> ) <160,161> ) <161,162> ) <162,163> ) <163,164> ) <164,166> <166,167> <167,168> ) <168,169> ) <169,169> ) ) addss( ul( dlr( <169,169> sr( <169,170> sr( <170,171> sr( <171,172> sr( <172,173> hl( <173,174> <174,175> <175,184> <184,185> <185,186> ) <186,187> ) <187,188> ) <188,189> ) <189,190> ) <190,190> ) ) <190,192> ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) <192,193> <193,194> ) <194,195> ) <195,196> ) <196,197> ) <197,198> <198,199> ) <199,200> <200,201> <201,202> ) <202,203> ) <203,203> ) sadd( <203,204> sadd( <204,205> nil( 1 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
+( -4230 , cadd( dlr( <0,0> sr( <0,1> sr( <1,2> sr( <2,3> sr( <3,4> il( <4,5> <5,6> <6,7> sr( <7,8> hl( <8,9> <9,10> <10,21> <21,22> <22,23> ) <23,24> ) <24,25> <25,26> <26,27> ) <27,28> ) <28,29> ) <29,30> ) <30,31> ) <31,31> ) sadd( <31,32> sadd( <32,33> sadd( <33,34> sadd( <34,35> sadd( <35,36> sadd( <36,37> sadd( <37,38> sadd( <38,39> sadd( <39,40> sadd( <40,41> sadd( <41,42> sadd( <42,43> sadd( <43,44> sadd( <44,45> sadd( <45,46> sadd( <46,47> cadd( dlr( <47,47> sr( <47,48> il( <48,49> <49,50> <50,51> bl( <51,52> <52,53> <53,54> sr( <54,55> sr( <55,56> ml( <56,57> <57,58> sadd( <58,59> sadd( <59,60> sadd( <60,61> sadd( <61,62> sadd( <62,63> sadd( <63,64> sadd( <64,65> sadd( <65,66> app( ul( dlr( <66,66> il( <66,67> <67,68> <68,69> hl( <69,70> <70,71> <71,81> <81,82> <82,83> ) <83,84> <84,85> <85,86> ) <86,86> ) ) sadd( <86,87> sadd( <87,88> app( ul( dlr( <88,88> sr( <88,89> sr( <89,90> sr( <90,91> il( <91,92> <92,93> <93,95> il( <95,96> <96,97> <97,101> hl( <101,102> <102,103> <103,111> <111,112> <112,113> ) <113,116> <116,117> <117,118> ) <118,120> <120,121> <121,122> ) <122,123> ) <123,124> ) <124,125> ) <125,125> ) ) sadd( <125,126> sadd( <126,127> app( ul( dlr( <127,127> sr( <127,128> il( <128,129> <129,130> <130,134> sr( <134,135> sr( <135,136> sr( <136,137> sr( <137,138> il( <138,139> <139,140> <140,142> il( <142,143> <143,144> <144,145> hl( <145,146> <146,147> <147,151> <151,152> <152,153> ) <153,154> <154,155> <155,156> ) <156,158> <158,159> <159,160> ) <160,161> ) <161,162> ) <162,163> ) <163,164> ) <164,166> <166,167> <167,168> ) <168,169> ) <169,169> ) ) addss( ul( dlr( <169,169> sr( <169,170> sr( <170,171> sr( <171,172> sr( <172,173> hl( <173,174> <174,175> <175,184> <184,185> <185,186> ) <186,187> ) <187,188> ) <188,189> ) <189,190> ) <190,190> ) ) <190,193> ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) <193,194> <194,195> ) <195,196> ) <196,197> ) <197,198> <198,199> ) <199,200> <200,201> <201,202> ) <202,203> ) <203,203> ) sadd( <203,204> sadd( <204,205> nil( 1 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
+( -4230 , cadd( dlr( <0,0> sr( <0,1> sr( <1,2> sr( <2,3> sr( <3,4> il( <4,5> <5,6> <6,7> sr( <7,8> hl( <8,9> <9,10> <10,21> <21,22> <22,23> ) <23,24> ) <24,25> <25,26> <26,27> ) <27,28> ) <28,29> ) <29,30> ) <30,31> ) <31,31> ) sadd( <31,32> sadd( <32,33> sadd( <33,34> sadd( <34,35> sadd( <35,36> sadd( <36,37> sadd( <37,38> sadd( <38,39> sadd( <39,40> sadd( <40,41> sadd( <41,42> sadd( <42,43> sadd( <43,44> sadd( <44,45> cadd( dlr( <45,45> sr( <45,46> sr( <46,47> sr( <47,48> sr( <48,49> bl( <49,50> <50,51> <51,52> sr( <52,53> sr( <53,54> sr( <54,55> ml( <55,56> <56,57> sadd( <57,58> sadd( <58,59> sadd( <59,60> sadd( <60,61> sadd( <61,62> sadd( <62,63> sadd( <63,64> sadd( <64,65> sadd( <65,66> app( ul( dlr( <66,66> il( <66,67> <67,68> <68,69> hl( <69,70> <70,71> <71,81> <81,82> <82,83> ) <83,84> <84,85> <85,86> ) <86,86> ) ) sadd( <86,87> sadd( <87,88> addss( ul( dlr( <88,88> sr( <88,89> sr( <89,90> sr( <90,91> il( <91,92> <92,93> <93,95> il( <95,96> <96,97> <97,101> hl( <101,102> <102,103> <103,111> <111,112> <112,113> ) <113,116> <116,117> <117,118> ) <118,120> <120,121> <121,122> ) <122,123> ) <123,124> ) <124,125> ) <125,125> ) ) <125,129> ) ) ) ) ) ) ) ) ) ) ) ) ) <129,130> <130,131> ) <131,132> ) <132,133> ) <133,134> ) <134,135> <135,136> ) <136,137> ) <137,138> ) <138,139> ) <139,140> ) <140,140> ) cadd( dlr( <140,140> sr( <140,141> il( <141,142> <142,143> <143,145> bl( <145,146> <146,147> <147,149> sr( <149,150> sr( <150,151> bl( <151,152> <152,153> <153,154> br( <154,155> <155,156> sr( <156,157> sr( <157,158> il( <158,159> <159,160> <160,162> il( <162,163> <163,164> <164,166> sr( <166,167> hl( <167,168> <168,169> <169,174> <174,175> <175,176> ) <176,177> ) <177,180> <180,181> <181,182> ) <182,184> <184,185> <185,186> ) <186,187> ) <187,188> ) <188,190> <190,191> <191,192> ) <192,193> <193,194> ) <194,195> ) <195,196> ) <196,197> <197,198> ) <198,200> <200,201> <201,202> ) <202,203> ) <203,203> ) sadd( <203,204> sadd( <204,205> nil( 1 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
+( -4230 , cadd( dlr( <0,0> sr( <0,1> sr( <1,2> sr( <2,3> sr( <3,4> il( <4,5> <5,6> <6,7> sr( <7,8> hl( <8,9> <9,10> <10,21> <21,22> <22,23> ) <23,24> ) <24,25> <25,26> <26,27> ) <27,28> ) <28,29> ) <29,30> ) <30,31> ) <31,31> ) sadd( <31,32> sadd( <32,33> sadd( <33,34> sadd( <34,35> sadd( <35,36> sadd( <36,37> sadd( <37,38> sadd( <38,39> sadd( <39,40> sadd( <40,41> sadd( <41,42> sadd( <42,43> sadd( <43,44> sadd( <44,45> cadd( dlr( <45,45> sr( <45,46> sr( <46,47> sr( <47,48> sr( <48,49> bl( <49,50> <50,51> <51,52> sr( <52,53> sr( <53,54> bl( <54,55> <55,56> <56,57> ml( <57,58> <58,59> sadd( <59,60> sadd( <60,61> sadd( <61,62> sadd( <62,63> sadd( <63,64> sadd( <64,65> sadd( <65,66> app( ul( dlr( <66,66> il( <66,67> <67,68> <68,69> hl( <69,70> <70,71> <71,81> <81,82> <82,83> ) <83,84> <84,85> <85,86> ) <86,86> ) ) sadd( <86,87> sadd( <87,88> addss( ul( dlr( <88,88> sr( <88,89> sr( <89,90> sr( <90,91> il( <91,92> <92,93> <93,95> il( <95,96> <96,97> <97,101> hl( <101,102> <102,103> <103,111> <111,112> <112,113> ) <113,116> <116,117> <117,118> ) <118,120> <120,121> <121,122> ) <122,123> ) <123,124> ) <124,125> ) <125,125> ) ) <125,128> ) ) ) ) ) ) ) ) ) ) ) <128,129> <129,130> ) <130,131> <131,132> ) <132,133> ) <133,134> ) <134,135> <135,136> ) <136,137> ) <137,138> ) <138,139> ) <139,140> ) <140,140> ) cadd( dlr( <140,140> sr( <140,141> il( <141,142> <142,143> <143,145> bl( <145,146> <146,147> <147,149> sr( <149,150> sr( <150,151> bl( <151,152> <152,153> <153,154> br( <154,155> <155,156> sr( <156,157> sr( <157,158> il( <158,159> <159,160> <160,162> il( <162,163> <163,164> <164,166> sr( <166,167> hl( <167,168> <168,169> <169,174> <174,175> <175,176> ) <176,177> ) <177,180> <180,181> <181,182> ) <182,184> <184,185> <185,186> ) <186,187> ) <187,188> ) <188,190> <190,191> <191,192> ) <192,193> <193,194> ) <194,195> ) <195,196> ) <196,197> <197,198> ) <198,200> <200,201> <201,202> ) <202,203> ) <203,203> ) sadd( <203,204> sadd( <204,205> nil( 1 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
+

Truth/Regress/adpf.mfeen.checkpoint9.out

@@ -0,0 +1,6 @@
+Answer: 
+( -4230 , cadd( dlr( <0,0> sr( <0,1> sr( <1,2> sr( <2,3> sr( <3,4> il( <4,5> <5,6> <6,7> sr( <7,8> hl( <8,9> <9,10> <10,21> <21,22> <22,23> ) <23,24> ) <24,25> <25,26> <26,27> ) <27,28> ) <28,29> ) <29,30> ) <30,31> ) <31,31> ) sadd( <31,32> sadd( <32,33> sadd( <33,34> sadd( <34,35> sadd( <35,36> sadd( <36,37> sadd( <37,38> sadd( <38,39> sadd( <39,40> sadd( <40,41> sadd( <41,42> sadd( <42,43> sadd( <43,44> sadd( <44,45> sadd( <45,46> sadd( <46,47> cadd( dlr( <47,47> sr( <47,48> il( <48,49> <49,50> <50,51> bl( <51,52> <52,53> <53,54> sr( <54,55> sr( <55,56> sr( <56,57> ml( <57,58> <58,59> sadd( <59,60> sadd( <60,61> sadd( <61,62> sadd( <62,63> sadd( <63,64> sadd( <64,65> sadd( <65,66> app( ul( dlr( <66,66> il( <66,67> <67,68> <68,69> hl( <69,70> <70,71> <71,81> <81,82> <82,83> ) <83,84> <84,85> <85,86> ) <86,86> ) ) sadd( <86,87> sadd( <87,88> app( ul( dlr( <88,88> sr( <88,89> sr( <89,90> sr( <90,91> il( <91,92> <92,93> <93,95> il( <95,96> <96,97> <97,101> hl( <101,102> <102,103> <103,111> <111,112> <112,113> ) <113,116> <116,117> <117,118> ) <118,120> <120,121> <121,122> ) <122,123> ) <123,124> ) <124,125> ) <125,125> ) ) sadd( <125,126> sadd( <126,127> app( ul( dlr( <127,127> sr( <127,128> il( <128,129> <129,130> <130,134> sr( <134,135> sr( <135,136> sr( <136,137> sr( <137,138> il( <138,139> <139,140> <140,142> il( <142,143> <143,144> <144,145> hl( <145,146> <146,147> <147,151> <151,152> <152,153> ) <153,154> <154,155> <155,156> ) <156,158> <158,159> <159,160> ) <160,161> ) <161,162> ) <162,163> ) <163,164> ) <164,166> <166,167> <167,168> ) <168,169> ) <169,169> ) ) addss( ul( dlr( <169,169> sr( <169,170> sr( <170,171> sr( <171,172> sr( <172,173> hl( <173,174> <174,175> <175,184> <184,185> <185,186> ) <186,187> ) <187,188> ) <188,189> ) <189,190> ) <190,190> ) ) <190,192> ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) <192,193> <193,194> ) <194,195> ) <195,196> ) <196,197> ) <197,198> <198,199> ) <199,200> <200,201> <201,202> ) <202,203> ) <203,203> ) sadd( <203,204> sadd( <204,205> nil( 1 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
+( -4230 , cadd( dlr( <0,0> sr( <0,1> sr( <1,2> sr( <2,3> sr( <3,4> il( <4,5> <5,6> <6,7> sr( <7,8> hl( <8,9> <9,10> <10,21> <21,22> <22,23> ) <23,24> ) <24,25> <25,26> <26,27> ) <27,28> ) <28,29> ) <29,30> ) <30,31> ) <31,31> ) sadd( <31,32> sadd( <32,33> sadd( <33,34> sadd( <34,35> sadd( <35,36> sadd( <36,37> sadd( <37,38> sadd( <38,39> sadd( <39,40> sadd( <40,41> sadd( <41,42> sadd( <42,43> sadd( <43,44> sadd( <44,45> sadd( <45,46> sadd( <46,47> cadd( dlr( <47,47> sr( <47,48> il( <48,49> <49,50> <50,51> bl( <51,52> <52,53> <53,54> sr( <54,55> sr( <55,56> ml( <56,57> <57,58> sadd( <58,59> sadd( <59,60> sadd( <60,61> sadd( <61,62> sadd( <62,63> sadd( <63,64> sadd( <64,65> sadd( <65,66> app( ul( dlr( <66,66> il( <66,67> <67,68> <68,69> hl( <69,70> <70,71> <71,81> <81,82> <82,83> ) <83,84> <84,85> <85,86> ) <86,86> ) ) sadd( <86,87> sadd( <87,88> app( ul( dlr( <88,88> sr( <88,89> sr( <89,90> sr( <90,91> il( <91,92> <92,93> <93,95> il( <95,96> <96,97> <97,101> hl( <101,102> <102,103> <103,111> <111,112> <112,113> ) <113,116> <116,117> <117,118> ) <118,120> <120,121> <121,122> ) <122,123> ) <123,124> ) <124,125> ) <125,125> ) ) sadd( <125,126> sadd( <126,127> app( ul( dlr( <127,127> sr( <127,128> il( <128,129> <129,130> <130,134> sr( <134,135> sr( <135,136> sr( <136,137> sr( <137,138> il( <138,139> <139,140> <140,142> il( <142,143> <143,144> <144,145> hl( <145,146> <146,147> <147,151> <151,152> <152,153> ) <153,154> <154,155> <155,156> ) <156,158> <158,159> <159,160> ) <160,161> ) <161,162> ) <162,163> ) <163,164> ) <164,166> <166,167> <167,168> ) <168,169> ) <169,169> ) ) addss( ul( dlr( <169,169> sr( <169,170> sr( <170,171> sr( <171,172> sr( <172,173> hl( <173,174> <174,175> <175,184> <184,185> <185,186> ) <186,187> ) <187,188> ) <188,189> ) <189,190> ) <190,190> ) ) <190,193> ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) <193,194> <194,195> ) <195,196> ) <196,197> ) <197,198> <198,199> ) <199,200> <200,201> <201,202> ) <202,203> ) <203,203> ) sadd( <203,204> sadd( <204,205> nil( 1 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
+( -4230 , cadd( dlr( <0,0> sr( <0,1> sr( <1,2> sr( <2,3> sr( <3,4> il( <4,5> <5,6> <6,7> sr( <7,8> hl( <8,9> <9,10> <10,21> <21,22> <22,23> ) <23,24> ) <24,25> <25,26> <26,27> ) <27,28> ) <28,29> ) <29,30> ) <30,31> ) <31,31> ) sadd( <31,32> sadd( <32,33> sadd( <33,34> sadd( <34,35> sadd( <35,36> sadd( <36,37> sadd( <37,38> sadd( <38,39> sadd( <39,40> sadd( <40,41> sadd( <41,42> sadd( <42,43> sadd( <43,44> sadd( <44,45> cadd( dlr( <45,45> sr( <45,46> sr( <46,47> sr( <47,48> sr( <48,49> bl( <49,50> <50,51> <51,52> sr( <52,53> sr( <53,54> sr( <54,55> ml( <55,56> <56,57> sadd( <57,58> sadd( <58,59> sadd( <59,60> sadd( <60,61> sadd( <61,62> sadd( <62,63> sadd( <63,64> sadd( <64,65> sadd( <65,66> app( ul( dlr( <66,66> il( <66,67> <67,68> <68,69> hl( <69,70> <70,71> <71,81> <81,82> <82,83> ) <83,84> <84,85> <85,86> ) <86,86> ) ) sadd( <86,87> sadd( <87,88> addss( ul( dlr( <88,88> sr( <88,89> sr( <89,90> sr( <90,91> il( <91,92> <92,93> <93,95> il( <95,96> <96,97> <97,101> hl( <101,102> <102,103> <103,111> <111,112> <112,113> ) <113,116> <116,117> <117,118> ) <118,120> <120,121> <121,122> ) <122,123> ) <123,124> ) <124,125> ) <125,125> ) ) <125,129> ) ) ) ) ) ) ) ) ) ) ) ) ) <129,130> <130,131> ) <131,132> ) <132,133> ) <133,134> ) <134,135> <135,136> ) <136,137> ) <137,138> ) <138,139> ) <139,140> ) <140,140> ) cadd( dlr( <140,140> sr( <140,141> il( <141,142> <142,143> <143,145> bl( <145,146> <146,147> <147,149> sr( <149,150> sr( <150,151> bl( <151,152> <152,153> <153,154> br( <154,155> <155,156> sr( <156,157> sr( <157,158> il( <158,159> <159,160> <160,162> il( <162,163> <163,164> <164,166> sr( <166,167> hl( <167,168> <168,169> <169,174> <174,175> <175,176> ) <176,177> ) <177,180> <180,181> <181,182> ) <182,184> <184,185> <185,186> ) <186,187> ) <187,188> ) <188,190> <190,191> <191,192> ) <192,193> <193,194> ) <194,195> ) <195,196> ) <196,197> <197,198> ) <198,200> <200,201> <201,202> ) <202,203> ) <203,203> ) sadd( <203,204> sadd( <204,205> nil( 1 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
+( -4230 , cadd( dlr( <0,0> sr( <0,1> sr( <1,2> sr( <2,3> sr( <3,4> il( <4,5> <5,6> <6,7> sr( <7,8> hl( <8,9> <9,10> <10,21> <21,22> <22,23> ) <23,24> ) <24,25> <25,26> <26,27> ) <27,28> ) <28,29> ) <29,30> ) <30,31> ) <31,31> ) sadd( <31,32> sadd( <32,33> sadd( <33,34> sadd( <34,35> sadd( <35,36> sadd( <36,37> sadd( <37,38> sadd( <38,39> sadd( <39,40> sadd( <40,41> sadd( <41,42> sadd( <42,43> sadd( <43,44> sadd( <44,45> cadd( dlr( <45,45> sr( <45,46> sr( <46,47> sr( <47,48> sr( <48,49> bl( <49,50> <50,51> <51,52> sr( <52,53> sr( <53,54> bl( <54,55> <55,56> <56,57> ml( <57,58> <58,59> sadd( <59,60> sadd( <60,61> sadd( <61,62> sadd( <62,63> sadd( <63,64> sadd( <64,65> sadd( <65,66> app( ul( dlr( <66,66> il( <66,67> <67,68> <68,69> hl( <69,70> <70,71> <71,81> <81,82> <82,83> ) <83,84> <84,85> <85,86> ) <86,86> ) ) sadd( <86,87> sadd( <87,88> addss( ul( dlr( <88,88> sr( <88,89> sr( <89,90> sr( <90,91> il( <91,92> <92,93> <93,95> il( <95,96> <96,97> <97,101> hl( <101,102> <102,103> <103,111> <111,112> <112,113> ) <113,116> <116,117> <117,118> ) <118,120> <120,121> <121,122> ) <122,123> ) <123,124> ) <124,125> ) <125,125> ) ) <125,128> ) ) ) ) ) ) ) ) ) ) ) <128,129> <129,130> ) <130,131> <131,132> ) <132,133> ) <133,134> ) <134,135> <135,136> ) <136,137> ) <137,138> ) <138,139> ) <139,140> ) <140,140> ) cadd( dlr( <140,140> sr( <140,141> il( <141,142> <142,143> <143,145> bl( <145,146> <146,147> <147,149> sr( <149,150> sr( <150,151> bl( <151,152> <152,153> <153,154> br( <154,155> <155,156> sr( <156,157> sr( <157,158> il( <158,159> <159,160> <160,162> il( <162,163> <163,164> <164,166> sr( <166,167> hl( <167,168> <168,169> <169,174> <174,175> <175,176> ) <176,177> ) <177,180> <180,181> <181,182> ) <182,184> <184,185> <185,186> ) <186,187> ) <187,188> ) <188,190> <190,191> <191,192> ) <192,193> <193,194> ) <194,195> ) <195,196> ) <196,197> <197,198> ) <198,200> <200,201> <201,202> ) <202,203> ) <203,203> ) sadd( <203,204> sadd( <204,205> nil( 1 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
+

Truth/Regress/adpf.mfepf.checkpoint8.out

@@ -0,0 +1,2 @@
+Answer: 
+( -15320 , 2.24425e+35 )

Truth/Regress/adpf.mfepp.checkpoint10.out

@@ -0,0 +1,3 @@
+Answer: 
+( -6590 , ((((((.(((...........))).))))))...................(((((..((((........((((..(((((.((((..(((.((..((....((..((((..((.((((..(((((...((....((((((((.((..((..((......(((....)))......))...))..))))))))))..))..)))))..))))))))))..))....))..))))))))))))....))..))))........))))..))))) )
+

Truth/Regress/adpf.mfepp.checkpoint4.out

@@ -0,0 +1,2 @@
+Answer: 
+( -5890 , ...................((....((....((...(((((.(((......((....((....((....((......))....))....))....))....((((((.((((...((((..((....))))))...)))).))))))...((.(((....))).)).........(((((.(((..((((......))))..))).)))))((((.((..((((....((....((....))....))....))))..))))))......))).)))))))....))....))....... )

Truth/Regress/adpf.pfsampleshape.checkpoint7.out

@@ -0,0 +1,2 @@
+Answer: 
+( 1.0951e+26 , [][[][][]][[][][][]] )