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  $4 ] pGCL:threads=2elapsed=35.321cpu=67.300gc=2.020factor=1.917zXZִF! E]ŗXf[&.i} FfU͛v d,"c윕`m @tRܴ]j5{:Vak$d%RV\~ hXQOST0 -Dfu3mG`tC9}4 9v q!/[KlG-2>% JXAEf i\:57RDs~斕x=lWG|bXzPg^SFKAbE]F%"%X*&*_ah/S1ѠFt}I1D~_$1h"H# :'tCՑ'Ku6Szj{j5è  pGCL  IEFUJ%3T8P99X"wl:M45ſBwtf?12}LHS16S1zFFQe=<5Btb%Gjd[YsO{#+bjAہ/:':č5{gZ̰:)heǒܸfa+`!Z&&jCR}of qc4.h{O(> ~_SЗ,#& P%";+K^꽦w^P{C6Q^8)/%״֏|EX hDRQA9F Ȩ(&(Ydi.0P-#JOJTA2D.6ď3 Tp.}#b tD=kAʼk X\ !4\I=P{044E3O^WI͌k" F-/քDkCٲpzu6["@Q? ! rΫn߮DCJN:/w_,/m{/{Z(^'M'/A*u'Fst<ߋK6DH"B4:2d ŭB,v:4^W Phlm,x7>+G SF>1&9vTǞutBdX+1{{U)x6xwܫ.3v%$fg?M"F/!^%X9%H{oGxT 7vSOlJsђ!Q'q*k_7DƗTތt*ޅygD@5X6Ama2ʦ+ *mt|g;r'T PdS<NU_ݽRl~Wb>2 |}t;@K[y0J{Ofܚɮhe"XUH4a;]lRjg鏚'jlӵve*RL' |>,Gker(|m5ʲK k 4zBFLv(77$Ww@LA%͕.@h;N|p8v 5;cfәd|g7kn} aQU:~ ր1ƓۇN1Hߌ\U}+5?]=\U4k*C>_vo +&5_uMy{),.!t6)ւMBUGmWᯭǪ5r!\|AU\iI]Bvy"4a:X9*ܦYK,`G!`,FmYyV繁#{P*PXBrUr+!6o.\y^Mϴ'g ;htmo WR ;C6%O29$(}rΒڿX!v IȺAy$ˆdK `\`A N:,ylMK'=Nc=N4a iFԿ~4:9vvi _y#/l(ϐYHGPOǨ4pPˇiSNKk\+<5xOyʿ1'V e6n5w6*mO{nZZjȨzEa=(atCN$a—L 5l~AYAgColPX`bG50V_WW-x4Ьgu\::lxU >`䯏>m )$'ph3W=nџGͽRVe1!un_(YnQܝ^>r?>@|(7s8obLobqy$Bv\ɠ@#$oDuN/gwَ:sA"-bQvi?w -+)(幭G[13W~H%4"4#Fys cϜAّ]rgYZ421efee80a13bdf01a43b16825a7f11b3cebcd230779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f f046ef9a589d206031d12698d33d4ab88465db77