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 cc ,tD ] ZF-UNITY:threads=6elapsed=5.768cpu=29.240gc=0.972factor=5.077zXZִF! M]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb5ꢾhH%ŊEU v[b2 ,A\ǎ \!(c>y/uj05nA!s!S)"ydNGд O:&YR5hl1QnǚIј$Y]N∬mC<Z{D/QE3t}#x ((z_ekxwU"h%foK ԠCM/ѫVˎb32 4D=F׾/B}wiQ? ExMUuBQ-t D[^ foo?c׌q. 6Sۤo=r/6퓵.9RqXk5c-_q`l ACm!Bd*!x_I<.@hG{{@e`"ϧP Jp {/p= 5]OgYZ7zXZִF! hq]ŗXiɟ9 i:4V;}A<<ګMP7%ZDC q8SgR*Є$,aei8e9 FО^)'\tޘ,<Sk}_Edx*40;] n ʈ:J.&#wv+G)}f5AO[Q_-DZ7l{ٽa0jtM*8kl?7N=bԲl0{ͮ_=Dޑt3>hje s. ک)LM#f|P6FI+–z8<>x0zz>cH;WK8g8±FWfs~DjΈ o";gYZ7zXZִF! a]ŗXi%96.u7y$ j=<G>)-2`jyB3{ :h485`ҦLwDo4+ƭO4vYg4?rk1&p<ːRvbB9& S%ZnaW)t)7aة`$f p~e5d1s.C &~9?~ɿ96G H^AhT1 iNEei=JƏ~[r;Ώ.bWNy""cWu/#`y:=-^/(Ϥ8ޖq/dV=/,x I*aSg5̊^bj8}<$&-q (3Ai&Qg7RGրAYP@iK~G jspzvO9 jnTcÃl5hW* ?-O](4vp3íM*vkWݐ'l3>#l;`Υp|񸆸^׶m[̗G h/x[d xMX:"mۢ&\ 4m ف>j{D0 *5kR3Ed7e0#En]l$ u^6w%P 6,w, w՛F|ت3V:̫jiMi&t *2lǿjȷi<|RqY2&SNP4V H0D /g8gYZ3f237844ad4f1e92442a3d509e7fffd508e8abecb7e847e721809281cd40042e7df94b0de64e4297 c49a4ce79088a0da87206daf1b058869e751ba7b 17031c488f6da4a1c740bbe0cc9be87d8a6a9fee   ZF-UNITY