SQLite format 3@ .0:  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 d/ tD, ] POPLmark-deBruijn:threads=4elapsed=13.858cpu=46.340gc=1.756factor=3.347zXZִF! dq]ŗXf[&J3MRag)-C Xʉc'~ W1w PArhFo֑pkIe#SjMavQyHbW6KZ ߺuՇJ_Ф#8ݗ$`C_, A ֘q[?y_ӢR[ՠmm0:;=dqF_D'ndk.; ZU0=~I 2$`2Cᮜ0@vu V7#,$Cv0fN#sjl`8}`{ J'C 1D:*$ 4Aux9[.)"IwV4pjZ.CлV*0DcVVSKq[!Eg?raECݤ~zaz1*=Ho7 iRSu@JD`feJ+QލJ[̈́y .FZ"S K{=/.aM[b i݇ pnu'y:>&bvsJ[}8_6Bʱ(d~gYZ7zXZִF! ]ŗXiɟT{F moEhuFwIe:1C&L!:.'po3NAY0yĄtL*o*a=nR}W@3 *rI,B-I8~a3|ʱgYZ7zXZִF! gN ]ŗXi%B*Ov#OJG6!-KT9g P7slͧYE^qi}=_ -I Eũ~TeV跱|%zuEkn@խV X#gPʟc>"p[tc\ފ$7|!OJGyR'oĮ8Y?f]3,f3_i2F&[gn ihU&E1ҙ(ǯdΤj"Er3@u Qqp>L庚T \*gBqJ,L _XChrTr1Zi#:COF%v,UJn诼))"kU:uN$W`c32R<aܿF%W:i. k|CP|(W{CkUY܍ZZe*1#ig{- _ttݬ <$L{qF4Z;݅00`NaUp-FW8䨳ݚ *)*s-b-9)q*}ֶ:r 1Ǒ!ʈ{WZKcdђ ;ߛ!#Y).LX8.Yph eZ`G}qk$ZgtAchMl:"07맏XInU)dRG f2S*cQW M3^jYw?me|p/e - }<1TaT$O8~.2H }=qV+uw!v\֖'z ,eԝXavhGBf!Ɏr*¬tW:< 1 =_*"T-0Zi:35eHzMt/,/5qoT9:?G>^͹—T^dT( ܗqNՄk$Z2!1c"`UM{gC$8:뀐+%w;E{JpD%O,*/@ACo(bƛ >BǛsZVP%qro EN?uA(VECy?&hEՍX;/ܘeh_5 +hm UD {JaSo>Z{t0`hF=kghpϞZox g)]RF5 H.)s>YX'& WZ ^a! a]tb@&MhbNUM4^:b3xٮթޫ*o[Z&4 N c ^rgYZ25efd34649367e066913d701f1d3720232d418f7ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 / POPLmark-deBruijn