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 @' \/7$M)e78?+Rj|Tft5 k[mn/,'_>FC7נYjl CUSГOk%n|[@]دUՉltvnWަgP}c->L/8 r~h_~./bFi$]i\+PObajmU3͑)A#c-z) MşXm:b.3UGBd< voXjpÍ5)G4@T6|7M\a=;HZ~FY[Ro 2~4#D ] ߤrJo*A'i ֋s`.!a:;lj`. P' MPr4|Rڝ:/ri NU;QqVdRr+g~@`c*j^l6laN-0<-(T`42#[$]_6P5.ƱgYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 zc~:'L. qBb˫Ԙ>]S$ Ш#F8D =##}{QԭTjک9@[ ita=paV)H.NGS=3M,; !à_@%=Joqz3ȺR2\ugt^ɜX2K~4.wn)bDP1], ] )f jTw-p3d1gYZ7zXZִF! N]ŗXi%;@ӱSWA>.WMt{>^$i!Td͕)AhB@iA !nIFd8j({Ζ[L}0LT=DWvM*}%e_O++.@FWpH>fCLVcYP\L8bwq +JxLB-J,zlCa:^|>W|=*:wc`p>t7V g%L"@X|plvĠmwS{8kxcsy%f&V,djvuaF%O2[j1_+玑(+.[wlp$*hbJaOcVu,9Oj $/pƌjZA*8&kT OK0\>'-V%ǪsH"p ԹA:+hck%Uڐ.աoMsC~uxdnksG]rG#bmfӻSoA'pPv`#aiD2vj-oskf2MC ە;Ov+'^BtiO*7) //WQL;%LD4w>4Tm_1= n30L2j>A +$8^ͺQVJdL}Jӌ]^ F59y"zU5R6oE# x YpV)@||Vң˕w`h#>"R.dGeJ30* Uē~e`eB/IO.rVaSX,a^U.B#UzW>xh5ALTMXg<%"c9sv׺# h2ֆ8D\}9Zޟ?iS17ZqmHc9Y V$.u{3[XEWRYi K.hB*8>d]@UbV %g2*g椕x>%24Kk8øHΓfY QG=l{nu?fD{*%f%E\,-_ЮTǰ|c+}[a3Tt43:4'8|G*%B FN_(X|,-'_ܳ