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 n% 4|$ ]/ Completeness:threads=4elapsed=12.999cpu=35.908gc=1.400factor=2.767zXZִF! ]ŗXf[&L,t= QHbi:U 燘VW<ȕ,.gI *!*%7\-N*/&=J]N}4-R}j>2`N W¼ v8 <942|Te ٓu[.t=;{[3f(`拃 &A|oP#BmGu Pu4-Ï}a`9 )MQN6s`=Ƶyp}p‹n٬%,˦C(br=5ASYdpހb{HR$)U}z,}hPo%(dVGT]L.N/^ㆬ~6Op$A.Bg#P]ӺJ/;""\j4T?^IԵdFnm&Rh2wS XW{2 P d O Bdhh]skp &19?S:+fyR_FXå:pqo@/Am~6RW$1.`TG#Q5Cܢ3E*J'C~:_gYZ7zXZִF! a]ŗXi%B۾2㶺K>LTM^+1x+]eԇ.Lgzu*c^͋_Kܬ)دr hl.o/\%f\U;}nJU=p h ΁H|ӼC <%)Cy>k4A ";ܠ*ϗNk(ֺG/DOz=VÐY'ZT FnkJgff_lUۅnl^:՜:''Y6gﱡL|xo`xͯ/gi0Ȟh*Ƈ%)[C6sg8d^1WJ[/s#'hVF37enܫ_"riC_xo!yѢl!yc71| 3Xl$c-D{""x+7؋sjYol.i9nOf,hvJJζG٣@+];ٗI;A  \Ę%^q8eá ǸAVqpԻt-S7_Tc3Ao]}Â&4/}{zRU|V ^B2JAW7k|8xYQ[//Pzuc~q5taA0mƽ"jD毩RI qޟ 5y$EbB97f 6Y5>D"O!r(Aǭ]0ކcínRaX (rI䐤q[FVs?ނ[ӂ! 5I ^S \䣭-o+֚34D)*/ -V (!6