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 #% ,Tl ] Finger-Trees:threads=2elapsed=15.504cpu=24.876gc=1.864factor=1.607zXZִF! ]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgFviD)[ߕX2cm.O*p3)Û\ wy"B%_oKA@5RzӝHL'R8BNg( @nk2N5LTŏ ]4%X}$Dh_@lK fcWT~[$-oHJg4uEdXocd$oשζ7N&I p VL5ǿXA[8QEayDYZT.G+S}$I-TPvfڟ+2;q' I 7\Q@hxݏQ0Oxjv8c 皯 6D!9x;5SI K}vhOLgYZ7zXZִF! b]ŗXiɟ頪{jtJ" ZYYh(^c-@m9T!+PC Q[E)jٰWfGF҅umkh K i~^GngYZ7zXZִF! X.]ŗXi%>gX-)3 a*vƯ#0mWCww|o34q?}"Oڈ_#3w=0W ٻr[Dbi眙%T/0ࠁ:o\h3U_]C[wz%@8H%m0MA `5A-åS;'0A,1ӧLUO 'Gc]P4rW?'#01Y!(Nv,nΏ3/4ςyFO.-(- VVe_O`mAmf?%觔iВ+}C[ m`[y؏0l2&E>o|pBS7/d)8J&1)]2R^_#^ĺ[~K|I9ܽ̏=DGGD /t^. ҜdC`4XVde-ƛ 1ݻօۿNq޶*hzgNQya-KEzZaQMxQ~6 xAlg5eCL䞆3BZ"'Iu63n !7S5éwex븲G?b U[DRױ-_ICQQPmp~(_5BV.~QC]l|t@()"4d!2 Cqb5d@^c6x?Mo6Yv}ѷWp\vkݚh^'4aXRK>zI C$&L+tC̫H[W.Itpһ1FΓ-j8T[KO{#ZB Y-y15Ҳ'} zJ $I]|fE&ڀCb}忈R`gT4&  -} ?n#z98h…"%Z.xnIG]X:ju<5 uyH i35ݦO5;y}.+H8ʚCepǫ=aـ?4