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 |l| ] ZF-UNITY:threads=6elapsed=5.861cpu=29.360gc=1.060factor=5.017zXZִF! w]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄē>ai~ x2)&x! dllkwH :oDlGa5KD@4yj.@64ЎS^bK>}b^ctzw`߫`_:kB:Rs2?6OE1JFyZ[:B' DᄍnljΎ 1d[Rq5LЫތjҮ 'z,') RcdR" ; K"3Mr d" dH"J ,?w_Fx&fډU~-V Ler/5!̟_@f)Q։7¹Ϫ\>OAy~[,]a &`q5ܗމgR73oecKe,md~:yM(C?ԑQC3Ψ l8NiAwF #vKgYZ7zXZִF! ho]ŗXiɟ9 i:4V;}A<<ګMP7 Ԭ[ X#=8IKR39ȽX'Jx\qZXpo17򗃥Nf+5&aЪkB`m-Xv/ySۀ6$r12*Yo/eĵ:/yQnbwdeNa7%&~Rݿ? d;w@`t-q57{/w.B̒ԽGЅm9膋&2&湢5Y~r ^wc^>he>P{[2ev>I &[Rb0[zZ*E7$0ʹ: rbVgYZ7zXZִF! a7]ŗXi%9,xhq:t)XCx+ug\Rn#cl%fJun"U#[tEDy?(8 t̄_$ Y+HZBXyBzUOFm¡Е›V?Cng1X_VH))Po ;%[{)lbG[x3o=+ъck4}|q9rmӐP4*MHᎰ uMs%K?|z77AhYbV#u|r .J^ks,ny>00mĊW JXeE](I@":2VT57? Soݎ6Dy`]g![e77q4 @& גV ~900c4bc~tS#󼑬?Bwn-9 = ګz*y\N-gP쉾Iq{D"Ql~w뻩VJiגb0vR8!_{r2֊3j!1*>gnGdq3ΩR!)9^VuF-s&qϵTMwul3N/Ш"Y-Oi%&\o ږ YǾa[GLL5}NSIX XY@'\%/'eQN.$q/Ng-&&N8-6 ymVq16e ¹\GHmUGX2u]z!KgS>A8grgYZ6f1e077228a007b0eabbb9d7f60a6e80d85f4900b3385753884b26aaa722d60ff4b4d3face84cc7b 2fad5064831ffcd37d09ef19447957cb60199297 9ec18fbb25101e8d19d534ed18df6d9b4dd43ae9   ZF-UNITY