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  4 E ZF-UNITY:threads=6elapsed=5.095cpu=25.072gc=0.836factor=4.927zXZִF! a]ŗXf1-WHIk0p䋎dh֨/+aHe x M_`7bjd|@z6\lr$ L 6nz {E$<|s݆ML LukI\!#4gE' @4EJ ,.L6Qi5n?h3N`BP3fD`a &{[zj tdKnp!a9)S "go=)/ w3냀 S2'fc!qQGWZMof?!0`࿯-jl {҃:~Ζ)( J iDWO   ZF-UNITY,/ؗ 7I-kQvtAh/ j^:o/]@(veS಼D Q]Dc"kwN+L ǿ 3<631ͬsg&"h9':i:raXra.cm%<~m `!?Oj[)Mx`áJ1Lx##mґ%q)93-ߍpG@I|r_l$[މMIİ},PM:קe^)5Z;aTY/=2m0c&f[W0! #Q]VG e ;vH zUC+D@|:ϟH\'|Kq.ym? *ko39sra4laԑ^HLm_k¬J5**: #εl|Lx 8%:+in*.5袮(z"904y]14!WvK4Œ1M`.g+2*VsY̬I l+WA`q]Dhj'F' ! ,I;~ ޖ#; {gެf[Xu2o&ơYą4kx$Z; ͮܠBbu)O}mHP`c}wb-5sk__ʈkLVoAGMΕh׸͖t /t{bNtR:JЭyCw~&" o0SXĆs&5mqy^'r4|PUqY I yUX_?_持M5`pGM@pp|Hh?%A&;ʺ'+;> лqv]02)[^L45ב"4$u4Vך&ٞH-=Po)c8Z֐z W 3y_O2<)ⶂY'{d{Dv5\0nYˌ/ئ!TPWס#ԱvIRWE (o@ x0j-H[]Cpʆ^4OX=9hЦ]"_J7'4@&KU14&If jq@č,8B~Fעd[7Ẅn7WдC_>͒xt!> a{ͩϠv6eܻ؝_ccf)e'k|Ճ'5c1Er#N_=@;(ӋWAc׫"t0x?WJ\?d8G|:7g|k'D:Cu,_ĹCv_ amЀxqy< ='-npW "<ZxH ݀gYZ7zXZִF! 8]ŗXi%n;bΚR}j6J)]`+Pai7t}잗ot爅.&ҊZJT1CW O@!#D\vsHSBM5e!|[$1ҝxdDy4jX ƆaEZNep%NJF^jFԸQ* Q~>%*6S̳@(V8Ëu$s}\z(ïeo]"ї!,VD0}'9~t5%a(zf$(WE'6dnOj&2S:I4+$]5anf Jr{7'BuQx _6/r)j}`BIKkS0%(Hơ<.!S?偁r yx j'|Ϣvvh"Rp((j'l4ą:<5ql$&ce=A(>QqB@zf=NT{lH}܈Ezy3*1RqaE4sC'>0UHtr㞋 p DړTsvSxGL!ZTJ>j=7ΠC5Hnڦ