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 y% L ]/ Latin_Square:threads=4elapsed=4.958cpu=17.684gc=0.196factor=3.577zXZִF! |]ŗXf[& n@W2rlU?P9ѦΜB تD󩗤_<}أxzdRD=2 O|krDѨ[?"h )یҺ%o#ygr%AJL!G80sm"+Cp*gnu"  rtC wBxw[f?E:mybB< > 9!Q ⮾-^s'Yby|/n"=Q"n`u 4 /i6 .H]$Cٹp  :Yx4 }AӬ{m RxWCOWUvGM%zW9̃˱gYZ7zXZִF! ]]ŗXiɟPaOõEWDwSx zQUHͩϳBpRJG4'(zSAk6cyanBsgYZ7zXZִF! /b]ŗXi%B-6uН_d mrb ?5Q=8 h<,[p*$NL.z-}6˻#~Y)W?k2i@0Z @%dd9KHeq_p:PPv\&o@7g./j.`)[g\ BS%]KPr0Oe̠۩$,zEer:*x})[ZʭױkX?]{:zm^ҖWUX}7#wVXNdmr$^ WB@7Sv|ΥYɨwd{~gCOXBӷ{jCm$& VEy<ޯv:<ǐZfOdJB 'a0#i1wIe,8ߙm*?W1#~jKQu⇾=MDղ"zːxEpʇ 2iP4D3Q Ehr M:eu #^R~2qP@Sjej1V6u 7sv3u{XX! %^YWֿs>X\8s,`C"37}{d6Rā?؏ΰ@zM!HY@s"¡DCѻ:qvS