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 " T| ]]]ZF:threads=6elapsed=12.328cpu=44.628gc=3.012factor=3.627zXZִF! +a]ŗXf1-) enȈA$jB80l,v8-qFN}YeG_cky֎8[)Я.8Wŷv{2'Xm:E">5 U$ ڛ*?H G4,ܫߪ2:R^hdRMa4qÁqKOlj=ӛX?8JOU\&EBlcDCR*NG}˥&"aI8|l(Î7&t73#8[ ܨ9"-9ʌ<8_p` <3LݹSr կHTRxa (5$r2bz`B̌4U^bʱA{iMf L&M0![K"OA\4 |. h?K"ꯛe=U(@!r4g03#ۋQ]PqL)ur"{s|WO> ?h6iG,:\Zy]vcbFZy^@n] j^1:OQ]X:( R8G)R8X#U2';Q&B}cd =νvv<ɡܳ=Z} Nͫf31Y޶ F52i8|] {[8 \:P婞BN$tA9/V٭X>O%!BT4}:XS-dB4Q_EgŸ~rPn2F9\b {~]t#,si7?D~_^ca3LgRig=޸kB4 Qaap,w)zsٟ1+|8*0q iҞ9d%z6?%YcR\m!&s i?.G mtE `dҤ?D֦'/8\1cc&*%هwsf00Sz]* ݌f0Qp ]jᥓ[=jN5FRfTbOG{+@i&rCE%YK|bw&zp|RZ$=!AfW棵 ͌?:&Dz{`rt|>/hB:B[P^ [],؉IJif*1%톱3HNb^X*3'w4}5Y_[%ꌚǒ\1u_$qC*w; /ٍ UO`"Ӑlt&5"_Ǽ9m