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 ~ ld\ ] ZF-UNITY:threads=6elapsed=5.490cpu=27.072gc=0.908factor=4.937zXZִF! .]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđˬ5YT9[k`L{ǴW9m"iJbqs~d$/*4{dGP1 Ao*zE3JfF,\/i)-L<ԥ:Zm $]k|%J2v.>O6^hgHBꚺA.'?W-|)bBq ݐO_%E9lչy&,Ki ΐX-b]}3C[GCO y;m@ (@e!T *sfKPhane ' u~1q#ktvoC/I4K6T?oo b)cqlUɐfg8 ,A E,~jw^g1ΠDC*ȑwzÈsHO$itg~6\а57Y $.B%:KE@8m &vg$%gYZ7zXZִF! hk]ŗXiɟ9 i:4V;}A<<ګMP7k60RS<`"miɤ'G0r.s㞮^&d3FwT-C ֡R9K{0Ж7Ֆrx&ߵ3Cr TB55 {??#V^P3B _}֓$ s n{ Wr 61XX$+@ Z,H`o3|xsuWJ;yܳT,>C0ԡF(s1 Ѯ~fk%t8_ !gYZ7zXZִF! d&]ŗXi%6\ҋ= y/ p@_ 7(b}xisܶ3.kZS)N H_w|a#8U)kc c:`y7 )D;\)f>viHQ (wpw򪘀v*{f$cPf>>9{MqGS`tM>4]V{gʓ ʗ:f,?"]x0Az8,`yTr@F~d^{M8} E8lh5r"{<P`L2S'A+2@ QXmS˴/VLNn*`^|!O fV0J`gMVs7=lJ{ j4X3\8rYr<ƹ`INL8}g+>O\f\x!ʡ"zo긿`XT8ds{7yݰ^zf{0ZhHxm.Sn=b?^ST{4j ٵzT0&Uo܁F*b>ByZ+aՑ@wĊYX>dnDJ GSuQ/yxPO̒I_s擐-;IbZd+Oee h:;˔N@aS/KCRK-!Rx_u.ZC _^X@)RZ1R2U&U_ "Y'O+Դf<)KoPoNpB(үp)28۱gYZ29ed3214752e7d40f461e7b09014cf8c04d3bfb5eb06bb30852b87bf08fc9bc974d190b6e06c78ba f4fce277c9c42ef9bba8f85f9536f0412a82bdc4 a19fdd848f18680c3cf5a4d12c0396fe1e5554fc   ZF-UNITY