SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  + t S/ Verified-Prover:threads=2elapsed=8.569cpu=12.704gc=0.384factor=1.487zXZִF! G]ŗXf1-/6vR[w?q2F)4|*[X\>!~ X.h_ .GoT ʗyոF*V$XEѤdD㒏-7! }y81F4?ސWJfUu˩\vvFNUt=w3_"Hl(J%fZ?bBǺx==c0 zYhn['Pd4 Hs5bU3X]{i]Pyjڋ\=na LJ|le0G4XqQ4Ȫ;`nDژ,)rY+ܺ +YnQ"@tM<þ4 8QEV+!NuQ\'46[} + Verified-ProverxxLx FJ Kwb=svӊQeEy|mݲ}{ *9@F_<7#UW>rqsbjd;X$r5̄_}Z׈<\ıU ~'h܏(6q0j] 7%9l.@QF}WcR ͭU!\QF҈i=уZG=@ulQYmٖym :fC=w4_B+QI+E`4-/ߕPWJ2Y5o6qndKFR #kDNHy)M-D;CDgAf(C(eo"<݁k{"m,+2#gZ4`W2[.ͣQ4_Ε8|G#rhBBZG$Wk;L9Z ϰnɌ\l) HېSD6v:yt6=z 5`j دu OJgYZ7zXZִF! 3tr]ŗXi%>zP} Io\7GA8(L I gAPYGf~8|"b.>v俯<`3cOQ 24+sغ\Tj[3AeaMXMEӂv ,mau2M mF-Eq$4gqC0^MfJ|G0];s`ꔟv`&W5p*Qd WG9ՙ UELC|`Q[K3Ǝe u}351%~ 8ԛ$"jWkx&{MO?l+.QuV\SNè`,pEf\|R <{HjR=/