SQLite format 3@ . YYQ77Atableisabelle_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, "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 _ , ]/ FLP:threads=2elapsed=20.642cpu=38.372gc=1.336factor=1.867zXZִF! ]ŗXf1-/6vRZlh[j^iWrYWrWzN{\V#%G&_ 躋}kԤtw&#f.%ϏlS:l[7U)k >xg\Q u%@@^4$x2 `RrI g->(U}EWµ\TIX8# mjБo-fϷPEYE6R(b]Hf.xEƩ@<̤\Pفy{j/b9[˽Ph\PC7R4zѧoЮ\yRnzt L+uޘ]f ¯ q>+<)G60OPM%,7ҔQJ10. Y5gƟ  20h$ {[ #bn/c27lnY-zipk,9U6:& c J!%8. ɎAH2+!<[#87ANI>{eL>n'@J \N.@?YC6lej@jƌ JII|?()KV:ڞET&7 YBA{&W5l*bROUF"3. 5-&.Βz/~ ̈́)\C S6(5r냛 hDb[\BdsFn~ט' )m~ڹTU, =idz<1 <֞Gs6LwɢX>pZ,6 dVw:J(ʔ"t2Qz >tFjAFZ9Qg>K5|Vi8KhiH=]ɷL9 yx-k蝰慨(kV8ϣfOI"9#v0Z2_z'􋦩S r#kT8 )Ƌ׋Bx*)QkU=ޭK5QbN*} ).ViCx]Wan6%͋w-Jv";L 7}fw B|D阈<ѴE2HM0*%NԄ&zWJy Nua4(GGemE͗jzlb؜6+撂\SMCq0J lB̰&\>vVDL{DW4iIez]dJp( ]}3 O,sOԦ#u/QZRD/ŏ֐K?Y#V܍վL#4~#P@[,U!e:%4ecx8&cmz2`59`4Z0"g8ȵUH/&GPIҧYF&:5(BRjMZ4`a>f;*lH#Y=\EZ9IEG-w< j䩔V3ҋ_ ZDQuZZe s^tTJk| IS|g3/>єxbBbPwtNO1-%K+!BA U%HXK<߶oFUx\ngao'4yUm߭d=~M<j=K&\$GG"8qPAH*9] ODF(go-V-\^ƑDCO[sF5e/˵ɣe"=u/wxnlcHUQ{Vwֱ25tz1Tf>֊ U tߦYr9G&>\ř"uم(',w2.B_wTR!ѧ7~v9DZIL+Ltyy1NPql8 K\gYZf1d4cf940faf30174910abea93523357168f04b7e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87  FLP