SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 g d\< ] HyperCTL:threads=2elapsed=16.294cpu=27.108gc=1.400factor=1.667zXZִF! Y]ŗXf1-/6vRZX]7b@^GaY\K ڮ  oW;7j]wҋWWWA@6 ]dg K k^ KS9|zPn`tѼdFgD:W+hŅi?"2cj Q/2gGo DG(pUV3cD?; ,;C5YX)8_td2FyE0;"=MKa)16D,sx-/=7Gc}l5bz(cU3vi@ T'z8wͥn@rT?~|E@ Oױ \P+f[6MD?b$R\8V']7bfgl{VZ7f6(fkx8X*egZdII[в-bj=\@wSy%;:9Y: v}$gYZ7zXZִF! ]ŗXiɟF@Am|{'h1DWEo '6 90Ruf5˞(ف[]@L52n䛔=@w7寢T23aW+өN}OeN'g;G, D*)q:ȑc6otVJBzz(gYZ7zXZִF! []ŗXi%;3:?CRB:VѰo͋"TFjGM-Ӽo+C:Dӳ(?rGLQQAIRUĬ3WSf۶x!y y&x:i{XXܩ7 ;A5bދӚ xRcS֟9<_+_V'C+~y9NBJKg2\T+ ;%RxNyҴ (58\qfL(׭F$։:DF0@ w~8蟆z}}hAK#IN2iEјJmr=V#07`s/괿5,LRRB稜}䜴Yve\@XH1r=}rʎ kasf["Į"@*SS0]|* Ur2qTTC^\ǚU:;]h_a)plbu*dK<,xӛU\eLiT:h5 5I$O^oL/\Сp 6T @;Tņ?} ~dfјDa/iW|2[`(cid|kr)^P)I ܯLҘrB- ur)O3wpLs8-8S'JQ?$f$-)UX |{X3z3d(.c̤ SE\d,Bݽ$hQekg/VcaR]somx?DE.