SQLite format 3@ . BBh77otableisabelle_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 ;- d4| ] HOL-SET_Protocol:threads=6elapsed=20.157cpu=81.960gc=1.980factor=4.077zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'nIcd0= DvѠ g6*!LE1's O {EJt Qѹp!| R8(@4Ll@BPQݯ|'%ߌC`2@bË /p/"2b:u;j3ʶ#j =GXYmaX&ɑDKw [Zwxa.,dm)hRhoJ51@gAYhRE(XP/qȂ ʢ F g3̼ |_eO,T$ܛjdPXƐ(>WR1PWqZ‹W* hƫ+D-pzYҝ'i!}zz}BgjO|yr達_'h8\Al~|ńw MyN[k\KC=}`\xԻV>!- oJL'~Mh $pp&\k@;y<+G*+I|26$T&n/ EOKsF)ҵ?  С?HP>Ad)ʋiԱt>᷍p0q^K Ռt^Pϭ6gYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxxgXE0ƼoTAy6'LT:5Fw#c&*KGKߵ ]qn";PHAPW95{h,KoWgE/JfN`{!7>o^e 8<(C-}һI;&E":׭gYZ7zXZִF! `]ŗXi%94 Io˽iIk^mQ],!<bƘN1B25/ !\=D"u夡ΑFv^[ɠdI/PXsp∑gSkma9BTy#k+X#" \D"*(v\d,ytC 3MS3Lq+]z 0M#N#ƻU/iw-ݿ-#_jګrZ[| d@}ǐnzW3q_Z4`M :5Gsrܙ/"c2`?uB%^N0st͑ꈁg:Ru`aEZ +9?.kxv*x7#>kr &o3 e9xÏN\C"|D^=o1 `^_ nA1~[XUd(C͓yalaLSZL&:B*d@~Sl۞57(iLtJ  {jdI)'X]B{F=Є@"t]&/Jjn|Ƀ.G7/U/PNnLR& W(!\=aG'*c@r:_'oٺ2 7:fRQ&nm:X;h|J~+Y_eJM+!#.*bux*fJQvFЗ 9$&2c&4SjouXf$t55 l̰O@U]_^i}-]\ܴ V=+}-EYʡGM@NteFf[x8/ۧQD(Giܫ㜑&n0BV 's3CjY+YJ UO[xpbIWNc͜Z V)`OhyE7\lJX*? }MC-C#3à wDcM.\$hI}9wZ!6?ߛBAv ,eo-A[p2fUmm1#]C2E9¢d< 7 8+ A,(r_w>R:YIq%ʘb<:hR-a;O>s⣵.\3I2X?NW&\\ Ne ?ЁAP8B?]va5EE̠