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 ""[ ,D| ]/]HOLCF:threads=6elapsed=11.763cpu=33.888gc=1.632factor=2.887zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VVUzQ)!݉HjG91̑C6"8%<2pj9EB1iB+Iu S? PG=? WMgv7*^~ u4TGTUS+#XCg24p^p"Xx1T2FN3RU;cg-(,f`R@ϡӮ!PCm14=Z'JBg;#Gv{$ݛ8rɠC cE1 echrC߃m4.hphrc,sr#QOO2qӰ #m< V4c):rn++CHCoe$vE;>δ4 /LUnwBLƁɅ[j'czXƜsр nFJ%Kuzѐ@_B`Lt##dE7 $ᒐ U#Mۗ5d|&)sz#w0"`}0;iCG4BX`,H5&(S[&aٶDڛʮ[$]6vOcgYZ7zXZִF! \]ŗXiɟ>Ӈɇ9S2]ʇ٬BQ^D9z޷(W9hpOkƖp3eԳb ō=D 5yDH1BF{wG1!Sf۳Z  d[},\ޛpi=w.9ÙL2h_3Gp-͒`g^m"Юp.M)n[h>5B2L4#o G J+F Q./ԯׇ]& ) lqGr( IwWN#QcTs=@ ΦȨW4 [S($` /S^WY\" m/o~ص`?@kMA ,?<|biB?3ceE\X^rT];,#n]g0 ȶ)7Ixy\&>Zk3sX`67%-3#*舖*'U{U VK0v K[| ȃ8l[Vl@r{l<ސ3Rzn.L FxVGd04=) Ng g:BZq2[GHƾAwRqqOeCPY(y#f*g?V@#v?ޤ}T)H6Q=ۀv.%תF@ْDcAۏT^r~PqzHs,*E(}9'Z@¯Աkd2pgqT_Brآuwl+![{4TxcfSȭh}x7]W:'U҆vCfĞZ/[ qWVOX /vdHC:|؎,n\f]fawq ^uǭ2f8>5"%VBi}_cAExm)]?h b΂6AW(y,yvˌ  >j]vi W!u |w+UB3豖kg^CVZ. 6VEǦho&m[8M΢=8 3OK1d̬qd4tbؓh A|ھD|fԂ1 t n8о^mQkRhKC5\1R.cwpg-ĄcIlvNROTqkͳvZF\h]Y/|n4 b!! Ϳ1@E,14