SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 8 8 E)l w Binomial-Heaps:threads=2elapsed=19.141cpu=34.280gc=2.960factor=1.797zXZ ִF ! ] ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dpFyrm M8,҉`_L%!|&So Vxa|A_28A}(_-/ȓwW} 'oQYnuB=\ç 674%@ŜmgoԢ0ꋓѳƫ&n%7H6BHNc}t]Ϛ07c&)Eõarv31QH4m-FKoDGS.=(&S?PE<=+QTCs^H}};6n׃ HIk!s,ufQ`!.˟La Rr\Igz}8-7xDɡ_7 |Lr']N@EuV.ftFzлpE6 }:N M8W܆yutMhƓ 5q $$1`wE6ҭ{ò:iYND[L G5^zSD#LU֛yL[Ή}xH.iP2*'"h 2'I&p3J1o h)~ȣr|+I6h[O%] )ڎ=İ9?TŔUz$fiwTxh,u+(gg :аb~hv kBuHQ L7Bx 7 ]̱g YZ7zXZ ִF ! `] ŗXi%{J ~mDΝNA!Fw|] t!#B f9*z9ݱUsZ8%j-YJJWb䴌A?٠"Mi
Vr5O;65%Skzn M%e NDhdǐH.|"VHmYȺD,]nvS=WP