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 kk HowŒ&: 땑u 3( B2H9=ś.3ni݄! s#ϣ/*{.FEhxf\Ep{Qol"lOh<7:QF#&A9!R.^_-zW Ea#^L}yKv;ʽ]b^ߪ塼 㓺kUX#GRZ$O-LIz8*gENAF}m%:[B">jx-el8 nu֯rktO/W(G$`ϰEWսwEx)xk?y \'Kol}FA\oja?M9MXJ"Dcƪ&XaѕehBDUT&RY)L a ~mG PӴ͹xB\fձgYZ7zXZִF! 4]ŗXiɟ 1FE`空]o(NhBe+1"=&&G5$~K`zA@Ȃ*#7rƙ;`*>*6^B ɣ`h >2[*'ުG#J7]j`j$s aJ-v'g섿rF3K`m< ךKyc(vS}~yV Em汀OÙ֊s爏+ߡ f2̗V1~Z*RHoTG $,W?ɟbҝwK0}h^{ _E}YQ,ko-`$2y(h9\FmX|@1PB:}6ޯsHV Llp@Gձ@&u$D||mS"]"LI>1²xe֬_,S+FXx;<^\A$4$cMwqil j?2t'ͲC78z{&҄b2_I-a-#N$*uRȰ<3 M-P9D=;5(`Pzk"W< `5}X5 gKEMH0oǔk9#f$v &mLSuaA+/u F{;*(GlEudFF=="Lb{o ѣͤJ8*tw$\ܛ\rit䴁FھvQ/) -G"|M*gBEA_*U˸$Z<㖞Np64y{ujqyDPK þ㚞j"f<(anWr R'/ybNQ̠bfc h;W(vOVsY%wmD萩 ֨ )Sts̞f%{!R%\M1ԕp7ejӧ/1$qPCT 9|:8aB,\, '"7Z1Q2G~L*lXbslj;\{ε /XWԽ^RуNze|I:Nv5/Vt/{{W*բ_%FVHOT#fԖ0MZ*]nyY8g8"B|aV'-+x]r1o%)xr+Kuۻr'ҺNhEЯsyga5%% Qo'16 B6͠z0ffkdy'rY0Q mT1ajYTC!,\RMm(]I2m6&)XcuO`Oe9 [37oFɶma4l JO:CnRA!%̚*|O ~N0* $Z#LZ7É۲#~ OӻJ`,!~Ǟ(@ Բ~6fy^˜M1pZt]5v px8]zM{~g1iArbf9[e7.ۥʛ$́;esÀ/e)i 5t8 _Lq$P{JɝB;}Gb@Mdo $H8Q 3)gYZbea99fb0bd08b95bf75ace7e1bd251edeb2ee7b4174cc62824810fb30472fdb32ee1776d48cb238cde91b0e132d67465a252337b49c91b61ae04cb91  ZF