SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 D\ s/ FOL-ex:threads=2elapsed=5.831cpu=8.164gc=0.252factor=1.407zXZִF! ]ŗXf1-)<KoYA)atںXx1]Vm[G7T?耕RF^.r] HıG9œJizPf${r CZVI@ʕEЬ3_ݬB5<~s=Pb4:wn [r    FOL-exZ~&(WQWٲ,1 {S\Hol?]#ӜB2g:U'Th۷BgGy]}i(3i[O!3Ց"H(yWz&ĔkW]T/Q@d-o ㄪ?9*.^HE>f_tJ*BEћx ncR!+Ye/&CE(Fc:ܭ\TsF&s'u ^r[%ó;N:X2+6CI$gYZ7zXZִF! ']ŗXi%H蘍>T̋q Sf^h>yt{fo/Zd!j# ^Ygݱ/DYdbwҾN@r(p `z{^0@ R̓n/w+ZTzT1u \{(UCap\Nf VQl!]#JL.gI|Z>Ic'v V"cjzxrG;X쒮lJhvG vY4q9Z+|>H@NT4h~Nwӌй.x0 72:xL&w#~5s˶Ŝg ҁj'*.W !>wÀ%0lBMA;CեR "iW2Z:.>JH~DȂ\KQ\$.b 5L)`mX0LY'{`'N1X%ܩR"o+O63xůٓ n;b. &z!AQ{,O>8;rM nvH);eJTE% KC:57)! B[fDDo@Yx)wJ`FW}}p/p'R{yıI\CfÒf]>,: iאQ;y"%E57OggYZ049f3b3351d42d4f5a266ef0e0b20cad35946cea 09303a448e5b07937316d6557fb101da620812d2 0aedf1e531598a94768452a261859b830ab009d0 422f4ee4789fcfdcab3780c64faf924792c2b1d6 4ba809297a57fc33f35c53d59362ccf21fc5e06c 54a712ccd99aa872013ef7367f1f73b20cf3767e 6625ea99015f4d59c1824fd41f5906b80458c6ba 66560643897aa39ad18d5803a05ae022dae48640 697049e3fe9e75fded74bc40f7ae595ab9d2b3a6 828dc664f11c19fba78d70094c12044f3c10ceb1 85b2ea83fb6470a5a0f656c25bb6f9a86aa44a00 8f9a3e234dda3a55ece7b693153843f487b8ddf9 90d9ad83448aeb860f9e16f14aac166e074fdb1a a31282a4e213e67a97da78fcdac4d41f7d0d4e0b a9b14b6d7ba479538cae8f96e8c5211286775620 c36603f9b36c8c16eec706008fab1a6a25b557b2 cbac2dfab0836f291ea16e5da55cd246bf4c58bb d0d257ba7dc167a8ee6eb7f46c461824c1322515 de7151f8c44c134d1643ced42dbcb4472e8fdb72 f0d68b1409b482440db5bdfd0acefe740a23e2717f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 780b72d63ab408b4219d20e197713d9ba972f435