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 Z d\$ ] ZF-UNITY:threads=6elapsed=5.075cpu=25.032gc=0.868factor=4.937zXZִF! )]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb3o uZ̓C4sgcmbi=;. Io \F MW^\8VXb"0%30I]jנ;sY*sm[劼Yoks ylq=[i1iN>뀦 Ŕ%;=JHl]T}.hP}%aP(rlNM~s e"M`"4CC; Yx´Lrql $71n©'w).΄Gj\S Bq13; WC#y{ tL|""N(;xT*vhF,3ކO'/qiJ @wpPjB>4 Ԥgmy jzEfނ߫;`y3Ze +"֎)cWw>ŠMԭХDN p_P/0fe[gYZ7zXZִF! hg]ŗXiɟ9 i:4V;}A<<ګMP77}M*a&Q(r:ei,Մ1Ї}Ki͘CSc!q.I1 9%c$i᏿/x9@eG 7==HoU+˜M@QxD.=At"'H27U\g1?I>2/X%:q ml$}u"Bʶ.%agݩR`qzJЇ8kgjvu,OT3OS+;94œ]-IJ9,~2C.R((i8BmBiPJk-%=8ѱG5m8'hp<8Yi3 YXWy\|(4ZJ$Z 0uKJzXPL|(cM B^UmDMȰt͝k{};:ix#$k&&@mh17L/M@~ \(9ʉ,lIbu Ul$ -<bWj߼΅q3/&+Urid6Shyou.ǁj!o_DT_g#1T)MS yg+4_gYZb15acfe59180e24fb40350caf7508a62dfba6c24a46db31bb55395b3dbdfc848f24a96e1b1255d76 69a6bc65e930c2bb67b66e13eba54a746f08ff63 469566ef8e256809adb67677d1f07946c1da8daa   ZF-UNITY