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 : \ ]]]ZF:threads=6elapsed=11.989cpu=45.220gc=2.828factor=3.777zXZִF! C]ŗXf1-) enȈA XR„` Y+>OB* MH}Z'P*HSwیeF/I)>rIWQR.a!B·j]_)(+Hj{(SL] H94\D/qc,}Q(s"_ Jo4b1Q'=\|Ř%| '9=P<r#)܎&j{zvzwY07+u>CJ*`El'cΞl l`˹dhnK٥nybcв!X$rWqH=GK%)uVeqSUܩi=j?7;\6]pd k p}" #?qac9g6Y;jb 9 ED ^t/8,ogd[|3f nVۯ3}d'a߄a ^:'U =aEL[S 6gYZ7zXZִF! CBC]ŗXi%G\")Mj4џDXwuWf.X:K *ʔtn z#p@kPA+еSQ_75a!FygY2 5[X;2ˡ^m7p3lڴUÞ,IA?dI==J'wIb{إ8`嫮pό Β).zj8a }[o3- +( F{Oyu|ZnF*}HoY`F1!|3E>T,PWݎgBҊ"ZpL7JA#@Z<=)UuW sʕZ/X-3A)a'c>hUk/N0A![HSƛ4$Hpޢ3x ^Z`'p]oW$9'B^]'D\vSAI| gJ Alpf ødDq`2!ԯp~lyw ԃOkTe(Y^,Ŝ"0?qI=6c,LL+FR/hE>waJ@w%6 H# /G \Jr?`?~E=(څ#K#C%Hkt- *0YBP9@87?3 +#_cjFd{mx&(lX~x2[c.bV*ʃE|RSHȍd3a 꾽e FkP۠ҹg }SfxNvR܍M 2nQ͛Ί^< dP3ȣ K-XvS)5X@D]hSN9â$T!>F/Ui w `Ukp 0WNJ>&$lƁS ҝ+W-Pws!QF\nNŊV9ٗ&Zr.&iB}4!J:5oa~`[wcJvV v[ 6aإ$$90aX]A*-gU;sgp&j!V