SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info }+ $ < ]/ GraphMarkingIBP:threads=4elapsed=17.025cpu=52.028gc=0.820factor=3.067zXZִF!  ]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;RokTh!+KCǵF \g-cͮT.(>4j3|?`=NQR PhJhóXs9`Byρ2/OWnQw(S%`nF{$5'`ՂF yn`2븮 ,P|ز[};ԋkg X-W(/s.rL7 ]> :rTsRa?XZ<̀wl!l'V%,#dFc3PQQ%]zpdҳm 6/rS0^!6@ 8P "F;RN~A;~[] ze֧#a ܹ!m{{Sn UTS55m>hA*]M3>7s#=߀Hb{v}g"7)jHpԠ PB*  NH0͟4Lxn< V|ń^v&Poۤ37"gYZ7zXZִF! =]ŗXiɟoptB"5`'''?Dav^Oc xS2Lk<+cWվh A]Po1nbWX%8`XF%pR>4'`&aGq9K7p\- I+'0l7O4GUy\:ӳU'<ڬOJ֒X:Y[ =:)b*nC'$0H%F+0 @X*ha;ؒK]آN dZw'gCRA˜W_ n%s~"=zd$/0x"O5BgYZ7zXZִF! u ]ŗXi%B )PsőʫXq.(.5ػUہ }Jß\QV_ 81\ϢXn0JDܮiU1g+:\ω'أ`i70aZQԯLځ(oy4W~:-G^Vnk%F%qX_^?RqRȜrcT(82]{Hh:pNJAC5]W'F'~s[.hV7`oA\ˆli]e݌si'Mq>K(0]h:0vBm)qOV7 ſ/$b2uJC-,/K 67ⶓc%p% (@c 6CNeN̙y, e"z<,lǺȣM3AꖊCUge$a"K$)CỸX=O JazE| gneK/ded9fve`RrTr4py`+زGkpٰ,.KDNUN$_|drlň9'6sKۙ,ndQYɓD u\BOx}>T*;OV Ljtgk%ׄRW/ :+q4[OkՋ 4_?~q$Z_X9j_3U%;Fun#$}MhU!묋/u,AWV:[ +&?Z1Oه,S&ξ;u:wG=)_8HM9=BC8ʸq7VT.~i\7ϤΗbcBS _D>>3-vzW?xx3VBdm˫ Iޙh9Vg@0R.h:bϸ+$)p"P\ćɢ(9ꇊM:hCWs9Ȏh'\}U;(sM崹N){h2( 6q)xèZ}PRT5SK`x 0cjji}H€>A?{ZU}@/fM-(6x:xAgBfTff@2 ㇫3΃p<ΖՂ7jٿmIdmgQ r)g0V%dm|k3^!F05wr|]U^,7#>K'$ʛeQJ\2FҞ^U3湗d|De1ޕ}_{t tV? pFN|_/gAMߥVF]HϠ27y*eӤ>گo.i]icE-PQt%w}3 'j,/9߱gYZ40d2997dc229f164df202e260b5131fa753589dfc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a + GraphMarkingIBP