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 F+ T, S/ Verified-Prover:threads=2elapsed=9.582cpu=12.808gc=0.408factor=1.347zXZִF! KM]ŗXf1-/6vR[w?q2F)4|*[X\>!~ X.h_ .GoT ʗy< R;#,!Q7$ct04wGX.!y)IN֟<Ϭ{U7r ,WxO o>E6GqsdES-ۨmuɄкu:bM p4=jXS%~[}P}NK 91!;1ڟ ~FO(HKe.7rK)6o!9=ݛ-L<^<E5l5*kM=os<}4ϝ}+ת$Ld r{-)BC%@u5?O4R& FKЧQh$M"j- W?__[3-wF{ EA yGZU 6q' o |Z53L@fyOs؍4Q J.5`2Z{ ""Xa#nC+N\$Q",/2yrV҄1<TUnDX9γ2"I B=-4Ot77xl⽟Q/Bry RI-,:D`ber{~往K*;@t H2h/AR Iû;ly[xDʐM6/X Wcua0^Rp.?ĤHwdsٝLS"*'?9yl5Y쥷 sEQ:Jz\GS\ͯM > MUpv$[MҠ8ǚe x0 ↨"Gׅ W*$j4zR|D0Vq>g*PuT _;_yKb&,8% sPM* ΖVq\gYZ7zXZִF! 5]ŗXi%s ՆZFkY:}݃XE6RfmR;[HɄlFLk+}װ΋'ėO|ɩ\tGR!W5Q2(onjX6[mĵZɝ7gx+08!szXg,P;H4O)EXg,t{Cvb+E<_;®-)ų Xj9e;=!!oyPA;xL13ǒ{7w=s[%su= 񥥐e]7ũVMzeĚl WYuPrY~#oj/ !{_u!)ddݙlM hJʸQUw`\Җ#w#^MI :JN$tq2u< 7,TT^w3#Rѵ0~ g9b ÃaSCMlU{_p;Pg@}~S'S6bqp[rΐC2hʬbsv,j-bDN0rN 0Z`|R1W(#3GSbȑ0) 4*ztE G ~K,h?p^31_0] lE@Ą+H\mX(9"Q9QNUw9=_йdN&:L.m78!( ~>iH m1R/;^3zͪE~X@p"k8gYZ3e502dae8165fe3b7725713f0f4a35c31a9a4cd6 892bbe0189a23a2e6fd96fbc3ed4a7929b9205fb cfb4fd7da59a6788f5773633c4ad67b7c70e5d57 dbb51d4c6470972f27a73e1864c54a1b39ba98a09711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 + Verified-Prover