diff --git a/Truth/Regress/adpf.mfeen.checkpoint5.out b/Truth/Regress/adpf.mfeen.checkpoint5.out
new file mode 100644
index 00000000..13391c82
--- /dev/null
+++ b/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 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
+
diff --git a/Truth/Regress/adpf.mfeen.checkpoint9.out b/Truth/Regress/adpf.mfeen.checkpoint9.out
new file mode 100644
index 00000000..13391c82
--- /dev/null
+++ b/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 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
+
diff --git a/Truth/Regress/adpf.mfepf.checkpoint8.out b/Truth/Regress/adpf.mfepf.checkpoint8.out
new file mode 100644
index 00000000..45efabfc
--- /dev/null
+++ b/Truth/Regress/adpf.mfepf.checkpoint8.out
@@ -0,0 +1,2 @@
+Answer: 
+( -15320 , 2.24425e+35 )
diff --git a/Truth/Regress/adpf.mfepp.checkpoint10.out b/Truth/Regress/adpf.mfepp.checkpoint10.out
new file mode 100644
index 00000000..3881d547
--- /dev/null
+++ b/Truth/Regress/adpf.mfepp.checkpoint10.out
@@ -0,0 +1,3 @@
+Answer: 
+( -6590 , ((((((.(((...........))).))))))...................(((((..((((........((((..(((((.((((..(((.((..((....((..((((..((.((((..(((((...((....((((((((.((..((..((......(((....)))......))...))..))))))))))..))..)))))..))))))))))..))....))..))))))))))))....))..))))........))))..))))) )
+
diff --git a/Truth/Regress/adpf.mfepp.checkpoint4.out b/Truth/Regress/adpf.mfepp.checkpoint4.out
new file mode 100644
index 00000000..ad07e882
--- /dev/null
+++ b/Truth/Regress/adpf.mfepp.checkpoint4.out
@@ -0,0 +1,2 @@
+Answer: 
+( -5890 , ...................((....((....((...(((((.(((......((....((....((....((......))....))....))....))....((((((.((((...((((..((....))))))...)))).))))))...((.(((....))).)).........(((((.(((..((((......))))..))).)))))((((.((..((((....((....((....))....))....))))..))))))......))).)))))))....))....))....... )
diff --git a/Truth/Regress/adpf.pfsampleshape.checkpoint7.out b/Truth/Regress/adpf.pfsampleshape.checkpoint7.out
new file mode 100644
index 00000000..40aeb93b
--- /dev/null
+++ b/Truth/Regress/adpf.pfsampleshape.checkpoint7.out
@@ -0,0 +1,2 @@
+Answer: 
+( 1.0951e+26 , [][[][][]][[][][][]] )
diff --git a/Truth/Regress/adpf.shape5pfx.checkpoint6.out b/Truth/Regress/adpf.shape5pfx.checkpoint6.out
new file mode 100644
index 00000000..ac8da7ee
--- /dev/null
+++ b/Truth/Regress/adpf.shape5pfx.checkpoint6.out
@@ -0,0 +1,247 @@
+Answer: 
+( [] , 19094.1 )
+( [][] , 424526 )
+( [][][] , 269219 )
+( [[][]] , 11156.1 )
+( [[][][]] , 11171.2 )
+( [][[][]] , 2295.74 )
+( [[][]][] , 22683.4 )
+( [[][][][]] , 3666.86 )
+( [][][][] , 15890.8 )
+( [[[][]][]] , 591.43 )
+( [][[][][]] , 2041.07 )
+( [[][][]][] , 9672.53 )
+( [][][[][]] , 881.328 )
+( [][[][]][] , 5835.06 )
+( [][][][][] , 12067.5 )
+( [[][]][][] , 1385.23 )
+( [][][[][][]] , 695.601 )
+( [[][][][]][] , 12134.6 )
+( [[][[][]]] , 57.2924 )
+( [[][][][][]] , 2991.88 )
+( [][[][][][]] , 1711.28 )
+( [][][][[][]] , 1044.62 )
+( [][[][][]][] , 2006.03 )
+( [[][]][[][]] , 26.8455 )
+( [[][[][]][]] , 98.7854 )
+( [][[[][]][]] , 75.5585 )
+( [][][[][]][] , 601.454 )
+( [[[][]][]][] , 178.617 )
+( [[][][]][][] , 810.616 )
+( [][][][][][] , 314.046 )
+( [[][]][][][] , 343.753 )
+( [[][][]][[][]] , 20.8458 )
+( [[][][][]][][] , 286.835 )
+( [[][][[][]]] , 23.1278 )
+( [[[][]][][]] , 534.725 )
+( [[[][][]][]] , 256.839 )
+( [[][[][][]]] , 11.5661 )
+( [[][][][][][]] , 1094.03 )
+( [[[][]][][][]] , 33.7551 )
+( [[][][[][]][]] , 46.3259 )
+( [[][[][][]][]] , 18.6253 )
+( [[[][][]][][]] , 217.764 )
+( [][[][]][][] , 402.311 )
+( [][[][][][]][] , 268.704 )
+( [][[][[][]]] , 32.7137 )
+( [][[][][][][]] , 358.1 )
+( [][][[][][][]] , 382.13 )
+( [][[][[][]][]] , 14.7108 )
+( [][][[[][]][]] , 28.5134 )
+( [][][][[][]][] , 50.8842 )
+( [][[][[][]]][] , 89.0067 )
+( [[][][][[][]][]] , 19.8195 )
+( [][[][]][[][]] , 19.2612 )
+( [][[[][]][][]] , 64.3237 )
+( [][[[][][]][]] , 9.52261 )
+( [][[][][][][][]] , 320.827 )
+( [][[][][[][]][]] , 8.81223 )
+( [][][][][[][]] , 23.2747 )
+( [[][][]][][][] , 14.6128 )
+( [[[][][][]][]] , 335.985 )
+( [][][][[][][]] , 19.0536 )
+( [][][[][][]][] , 20.9168 )
+( [][[][][]][][] , 92.5004 )
+( [][[][]][][][] , 8.33181 )
+( [[][][][][]][] , 1318.19 )
+( [[[][][]][]][] , 67.663 )
+( [[][[][]][][]] , 177.951 )
+( [[][[][][][]]] , 1.55423 )
+( [[][][][][][][]] , 619.215 )
+( [[[][][][]][][]] , 321.421 )
+( [][[][][]][[][]] , 5.41619 )
+( [[][[][]]][] , 420.533 )
+( [[][[][]][]][] , 79.6296 )
+( [[][[][][]]][] , 40.7859 )
+( [[][][][][][]][] , 108.266 )
+( [[][][[][][]]] , 7.68477 )
+( [][[[][]][]][] , 13.7946 )
+( [][][][][][][] , 45.9127 )
+( [][[][][][][]][] , 75.4144 )
+( [][[][][][]][][] , 88.2457 )
+( [][][[][]][][] , 184.428 )
+( [][][[][][][]][] , 5.90722 )
+( [][][[][][][][]] , 66.6452 )
+( [][][[][[][]][]] , 5.19508 )
+( [][][[][][[][]][]] , 1.73408 )
+( [[][]][][[][]] , 6.66697 )
+( [[][]][[][]][] , 82.7545 )
+( [[][][][]][[][]] , 5.37288 )
+( [[][[][]]][][] , 26.4741 )
+( [[][][][][]][][] , 64.5456 )
+( [[[[][]][]][]] , 2.81747 )
+( [[][[][]][][][]] , 4.86053 )
+( [[][][[][]][][]] , 128.49 )
+( [[][[][][]][][]] , 29.9786 )
+( [[][[][][][]][]] , 7.43859 )
+( [[[][][]][][][]] , 5.72838 )
+( [[][][[][][]][]] , 4.93999 )
+( [[][][][][[][]][]] , 10.0655 )
+( [[[][][][][]][]] , 31.6933 )
+( [][[[][]][][][]] , 1.56103 )
+( [][[[][][][]][]] , 4.14656 )
+( [[][][][][][][][]] , 89.2565 )
+( [][[][][[][]]] , 1.02908 )
+( [][[][[][][]]] , 2.78344 )
+( [][[[][][]][][]] , 6.57171 )
+( [][][[][[][]]] , 6.06126 )
+( [][][][[][][][]] , 29.6442 )
+( [][][][][[][]][] , 2.43394 )
+( [[][][]][][[][]] , 2.53293 )
+( [[[][]][][][][]] , 18.4941 )
+( [][[][[][][]][]] , 1.49229 )
+( [][[][][][[][]][]] , 4.49516 )
+( [][][[][]][[][]] , 19.3169 )
+( [[[][[][]]][]] , 11.0311 )
+( [[][]][[][][]] , 17.6529 )
+( [[][][][]][][][] , 6.94029 )
+( [[[][]][][]][] , 10.0785 )
+( [[][][[][]]][] , 107.708 )
+( [[][[][][]][]][] , 7.4371 )
+( [[][][][[][]]] , 7.5411 )
+( [[][]][[][][][]] , 4.73259 )
+( [[][]][][][][] , 11.5266 )
+( [[[][]][]][][] , 2.98984 )
+( [[][[][][]]][][] , 2.70215 )
+( [[][][[][]]][][] , 25.7563 )
+( [[[][][]][]][][] , 4.2874 )
+( [[][][][][][]][][] , 6.39894 )
+( [[][[[][]][]][]] , 0.579543 )
+( [[][[][][][]][][]] , 28.7146 )
+( [[][][[][][]][][]] , 10.0049 )
+( [[[][[][]]][][]] , 8.87651 )
+( [[[][[][]][]][]] , 1.60993 )
+( [[[][][][]][][][]] , 0.800441 )
+( [[[][]][[][]][]] , 1.71099 )
+( [[[][]][][][][][]] , 1.63637 )
+( [[[][][][][][]][]] , 2.02533 )
+( [][[][[][]][][]] , 84.3176 )
+( [][[][][][][][][]] , 32.2759 )
+( [][][[][][]][][] , 13.8802 )
+( [][][[[][]][][]] , 12.9905 )
+( [[[][][][][]][][]] , 19.295 )
+( [[[][][]][][][][]] , 0.465849 )
+( [[][][[][][]]][] , 8.85031 )
+( [[][][[][]][]][] , 13.9319 )
+( [[][]][[[][]][]] , 0.725432 )
+( [[][[][][][]]][] , 3.04675 )
+( [[[][][][]][]][] , 83.179 )
+( [[[][]][][[][]][]] , 0.638925 )
+( [][][[][][][][][]] , 3.75144 )
+( [][[][[][]]][][] , 2.98472 )
+( [][[][[][][]][][]] , 6.05877 )
+( [[[][][[][]]][]] , 2.267 )
+( [[[[][][]][]][]] , 1.01601 )
+( [[[[][]][]][][]] , 1.03304 )
+( [[[][][[][]]][][]] , 2.17518 )
+( [[[][][][][][]][][]] , 0.967544 )
+( [[[][[][][]]][][]] , 0.76292 )
+( [[][][][[][]][][]] , 13.5726 )
+( [[][][][[][]]][] , 12.7255 )
+( [][[][][][]][[][]] , 5.836 )
+( [][[][][][][]][][] , 5.18094 )
+( [][[][][]][][[][]] , 3.7143 )
+( [][[][]][][[][]] , 1.42221 )
+( [][[][][[][][]][]] , 0.908558 )
+( [][][[[][][]][]] , 1.92804 )
+( [][][][][][[][]] , 2.81632 )
+( [][[][][]][][][] , 2.47552 )
+( [][][][][[][][]] , 1.75129 )
+( [][][][[][][]][] , 4.28458 )
+( [][[[][][][]][][]] , 1.26128 )
+( [][][[][][]][[][]] , 1.52747 )
+( [][[][[][]][]][] , 8.44008 )
+( [][[][][][][][]][] , 3.5552 )
+( [][][[[][]][]][] , 1.48102 )
+( [][][][][][][][] , 1.36505 )
+( [][][][[][]][][] , 2.16915 )
+( [][][][[][][][][]] , 2.88771 )
+( [][[][][][][[][]][]] , 1.26637 )
+( [][[[][][][][]][]] , 0.875401 )
+( [][][[[][][]][][]] , 0.891146 )
+( [][[[][]][][][][]] , 0.980345 )
+( [[[[][][][]][]][]] , 1.0263 )
+( [[][[][]][][]][] , 2.38817 )
+( [[[][]][][][]][] , 5.25235 )
+( [[[][][]][][]][] , 2.72137 )
+( [[][][][][][][]][] , 5.35934 )
+( [[][][[][][]][]][] , 0.57494 )
+( [[[][[][]]][]][] , 2.29932 )
+( [[[][][][][]][]][] , 4.80301 )
+( [[[][][][]][][]][] , 1.44725 )
+( [[[][][[][]]][]][] , 0.517388 )
+( [[][[][][][]][]][] , 0.69455 )
+( [[[][]][][][][]][] , 0.637975 )
+( [][[[][][]][]][] , 1.01925 )
+( [][[][[][][]]][] , 1.14408 )
+( [][[[[][]][]][]] , 0.531282 )
+( [][[][]][[][][]] , 0.782098 )
+( [][[][][[][]]][] , 1.21704 )
+( [][[][[][][]][]][] , 0.517358 )
+( [][[][]][[][][][]] , 0.511298 )
+( [][[][]][][][][] , 0.908516 )
+( [[][]][][[][][]] , 0.706529 )
+( [[][]][[][][]][] , 1.87407 )
+( [[][]][][][[][]] , 0.879701 )
+( [[][]][][[][]][] , 0.671406 )
+( [[][]][][][][][] , 1.10285 )
+( [[][]][[][]][][] , 6.46404 )
+( [[][]][[][][][][]] , 0.865606 )
+( [[][]][][[][][][]] , 1.05032 )
+( [[][]][[][][]][][] , 0.467551 )
+( [[][][]][[][][]] , 0.959836 )
+( [[][][]][[][]][] , 3.7081 )
+( [[][][]][[][][][]] , 0.623101 )
+( [[][][]][][][][] , 3.5491 )
+( [[][][][]][][[][]] , 1.97372 )
+( [[][][][]][[][]][] , 1.72654 )
+( [[][][][][]][][][] , 0.607814 )
+( [[][][][][]][[][]] , 3.08733 )
+( [[[][]][][]][][] , 0.89196 )
+( [[][][[][][]]][][] , 1.91065 )
+( [[][][][[][]]][][] , 0.795774 )
+( [[][[][][]][]][][] , 0.506041 )
+( [[][][][[][][]]][] , 0.469854 )
+( [[][][[][][][]]][] , 0.528722 )
+( [[][][][][[][]]][] , 2.74568 )
+( [[][][][[][]][]][] , 0.502732 )
+( [[][[][][]][][]][] , 0.870005 )
+( [[][][[][][][]]] , 0.792587 )
+( [[][][][[][][]]] , 1.67938 )
+( [[][][][][[][]]] , 1.44402 )
+( [[[][]][][[][]]][] , 0.46781 )
+( [[][[][][]][][][]] , 2.51939 )
+( [[][[][][][][]][]] , 1.89135 )
+( [[][][]][[][][]][] , 0.606107 )
+( [[][][][[][][]][]] , 1.50266 )
+( [[][][[][][][]][]] , 1.47208 )
+( [[][[][[][]]][]] , 0.569267 )
+( [[][[][]][][][][]] , 2.92416 )
+( [[[][[][][]]][]] , 0.638264 )
+( [[][][][][][][][][]] , 3.61748 )
+( [[][[][[][]]][][]] , 0.911316 )
+( [[][[][][][][]][][]] , 1.65552 )
+( [[][][[][]][][][]] , 1.46291 )
+( [[][][][[][][]][][]] , 0.861192 )
+( [[][][][][][[][]][]] , 2.32952 )
+