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 ""[- ,$ ] Lambda_Free_RPOs:threads=4elapsed=13.884cpu=52.268gc=2.244factor=3.767zXZִF! y]ŗXf[&yAELk};CV3W h?1_=hiVg+6 ʋwݥKtmŐؘ=d1U&^7x2 TC~]oF<š9]15e5DlHK5CSBxNB{G6v"+UުCp4P@~BxJJ|_楹dHk)2N^F`8t(YPwkNK .tl?7ӷOam ^C~7 )ԡ549 HoiQD_Ez W|/ _ yy*'A-gZ2-i54P˺}hz;2܆#7!nlI 4=RLN[&oV2;MG դa)w/l?m1Ǫ1Fgtyޛ6,|SJ6MS3>`%G^-Lޜ enqaou)Y@*ѨNbiB2oڦTU (KJEP*0%xȯ:lpTgY0mqzW/XbM%,*$zs)]]3(F1z}Z)OY'mX'MޅZyxA/ol>emݑOF[ڏg  )bE#2k1SbҾ4gsY)Z>!M3#eo) ]43U_q@DoJ{x+GᙸUQ܉doFv XPrKvQDϒ,i0+ A]ˀ:{\[@,ay+ xwLҴ 9r>׀űgYZ7zXZִF! <]ŗXiɟ1?ߟt;9HK?.>e7"1os<}> 9]mX [9LenL]s]Imh5EO TbjK:$rP9|@ގ'u4cp4L-VɒN/kR2<2 7Pbx"W:y| A zT ?vMRLp}N3/e'8{KC;+{&)ϟlL˹ Dr6#fLmv1gMn?㩫gYZ7zXZִF! jFL]ŗXi%L m&C];e匯Gqf<Y̎Y`\(\c!EM2{~l*%Eoj* -FƉ}ڵp&e[-x⌟.㕏W_Kj%]xV/ P,x=c] ^.;L1tgsd ECK)ꑼgAR rfⷢ8za }Ԉh@~$y|<3`دQMPm띎˜|EQ3 _?";}S]!?zcrW򴵁'% eDj)HWxeiQLX~F&]wbA6Di ,d" SuX}*32%Ț,!Uu/* ӵP.ou‚3x'eI2= #yVթ[/uc6q^xЖH0nR}g:$!2 ]c !j*ͯ+Jr A}g:ѯtz \<<*Y," ߙeBkKpc,8iNfC:ڳ4۵N^p}"XZHUa:UT` {>s7_d"xx7 ZJ "@\kAoL dh%*2f,[>ݏ:fiabO}: Z\*fW: #e ~̹bOzQr:w`v\Kj9bKEF๐$RP9tV1܍v?> n8bUA O*Kۨz S)KO6Maj0;SW }z4ݱ"XD*yT)~k̸A]+ .Nt7/S4:/7 Bɠ9$a@p(vjأ^gRrQ0IZ'bÝ"Vmzz7әhNxѧʓu]me }<ʼn[ћ(vTKIgBAI$(t]*)/`uƠgӍog aWH3)kϋ| *i5#Uom2S0uSE<0w}e' : m'Hy31(">}%r.t 2uh?|%u*FwYP9HHQ"y)wÉcK NΉ}Ay S5I 0+E (aBIWӝљOhm},%BTۆo )7'cv,tsAsgYZ990c1145658edb7790c4cf711dc4d059fc77de4ad3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a - Lambda_Free_RPOs