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 l < ]/ Huffman:threads=4elapsed=7.903cpu=20.632gc=0.444factor=2.617zXZִF! ]ŗXf[&qأ8<±0LB]OוO(dd!@Qc[y鐮m_ zcz g ՊeA\9 L6gRLjv{٦/&91~immw.#cK4Դw/!q=I{#aeG2Un J7 #hp ~J_ ܹDo˕h{ozǾyVk/uuw^%WӣtV1 eIWKVsgOC/;9Gfwe _>q\̠ ]q{`P2_#X~ZAAYdbb3p2Gr_5uL=qe)mR(L=F["A)?_ Ѓrʢre)$Q^c्cE{~c- x gYZ7zXZִF! D?]ŗXiɟt0sϘ ECS>ŖVen&kzDW=N<@U[E}YZ7zXZִF! 7S]ŗXi%B4._[kOL*5 094bGٹHe{#gw{puEHD@I`Ի}芥) ',oZ'֩veA @-;w ?J[,~AFؗ{w[3<}cWqBlo-?GSZ/ W惧R`8zv×DZSmLs.˄5zo]d}# NY颣 6IY d{m`Nlhq[ӏf"xT^B3j*ݡZ,wG\ JjEK;ۇw=!%g #Rzd\RΟ>9HqbAէen1jNJ6#b4֦ZvJm|]nXl+zVI„n&x;S'6T6НQ*!N K-ܯ6) A`YٗsxQY61H6 R_m1vib0To> !S- \–#njs6Cx cFOXʦdqRJ/ ~|jI,_!J>.Eɹ!f)dLȑg[-R"Q"ُb>[FVI#?5հXϕ GcBڮS\ )3l]"j֭I'8@͡~&!l7ԢEK(P͡ldrA` ok_=LI2zn/h;6lY2n?b@V%#6Lzp774_ؙw#C"B> G#G],(Ur/T6o̷h K^ZDE?t4<{$UB4ɏ hoVUAOh@6Mmq%2ٮ۰n)Z {`/X =o6Ӭt9EӝR p$5]Đ]n+gSn;xP±gYZ6b60a4ecb145104233c3219a497573143e1d636e9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d   Huffman