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 **S d4D ]/]HOLCF:threads=6elapsed=12.357cpu=35.540gc=2.008factor=2.887zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VVXTVȜ 9x -:pdS=]!&QB] A7U\F z%{p.z $jP.֎nu.^fN]4 孤g_mWu⹢řB/B~bM@1>Y834R3>d$atr>kEX҈7(>|2)x ^2]dAUg]Hͣ %೗hr..tܻ@*zؕ"XWOON Tj:g'KAucJӒXT2u3S\gR\)VЫ5_PН&\nhLGW+,1ɜY$9Q=Ж CsLj'%}!`oe[@Eg yԕ>W&|8P, C+65qj:UqD" !RJh40(vCO_W|6L#b]% =f;]Аφjɍ?jA:((K RLK{24*~>oM=!S$s#zh,~ּ3U:Ñ&=, ? i\Y& igYZ7zXZִF! R]ŗXiɟ>Ӈɇ9S2]k? [OݾiWؾm4M `H椄 Y :^} qh>#ցp 7$*6[ *;J/"uoK7-GVt"͘␺ofܨ Pc"aү>vLkeÔw0KJVҩ[U:)k_LV z/b:* n6?OV8*yVV⨬(tޝH T>Cavc.iE#cqOoZZ x 72?Jq&*X!@x)3[SjDT\I!;xJ'֫M"d+x(d48Ecye$o_^`%Gq\h&}%z?Xzk2^0/WwBe%xBk9Pko\0X3ϼa!D.{هN`81`PS/4O98mXG ~Aԯ. ɱ&X70|X5'*Z(ӳ[s8Wh4"Jf]\ S!׏?u&V*MI8Nam&q2#i/}U.OBt.Z {հ ¤UOɋƾ1 ϭ%4H5?cc\B ˟Y4lmM=A-JL3 eaυ ?>?π51a5ɮ+q]F}{?[ew/o52q&> r̾ߜv:UdLv/YN'' +#n!;8ae'.Pl+ yrx{&%c2Y1HxL5'D1V[xp#0w\:{cRf :yql>]F%e>w*L [ql UXtQn?|?z% sR6M4. %g't%|41gR,Q}IB)W,,޴AbŬYۤ|@N9³ F teJf#h).׼O:Zh;Y~!0J-$> /gu1AWĩ}j\1J|^@Oh@U d1}׮5tB~r w"Lc~χx+ZyS/3f'W,F D>Y^5Ue*3ʯFB9oQgl7AM® #=Ik^6σ #4, r4rl Ff܎싽a:>܄$sF|6z%}.k