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 V l\ ] ZF-UNITY:threads=6elapsed=5.106cpu=25.492gc=0.868factor=4.997zXZִF! 0]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb1mqsRHJT[i"l$yX[kpo  4AiTF\1/l^, hK,S3ayJAo91!"_*)?-z*\KN/o!j?J='U,Z|N]6  i%ib0n?ٯ'm:4XE/*^ӷ$3[|q3S`&iɽg+@yF8 4z"-ddm3KJ3 %I=1I}25ǎkMcݪ(t&JbJdx_-iЮ$ 7"~F1|2P"o"z&oo8g4 M]gP f4*[eM'([^_*CZ2o-HX W,.QksYgYZ7zXZִF! hh]ŗXiɟ9 i:4V;}A<<ګMP8'J%LUF^, f㪃< {473  ~qۉoWcyj1*kQנ hp*cyF s/5f7^X) 8aCw^8,)B?:9+ScΪ)VK+| jT >ƮC&ԽRcK-|wJphK ǎW/DH#ɀO $L,f\o p{^JOh_R8RrU Z9BX &1H6~@+J KgdRUJg)5WUVsq s4gYZ7zXZִF! ]ŗXi%;ާrԞMD):q=Duw~y,Z]v5,?XSdj"VMۉS" ZӄcNbfz}vMy♟ 3Ԗm8:&L<ɤdž^b.L{yP -#XjnGhL mF/ >~Zu#qHmNKߤ=" P{$CB4\z:YnTB堗lDF8SzZox&UHb*G/\[5-cGi7j{TEx}\#ΖbTmq֤78BFEAMJ𞠋#s$mv:qGHp7BڨN$yL/ 7| ʟW#m.92+8dGD.ÞTwugc~s8w'P"a1לo%`a E aן>Oh~L_L{UQObOzbH9)Am E[➹,Ub(/`$~%ϴ+]ܖSRcrH:)} 驨!4\gYZ557982b0d06883e5fde081e7b7c96d6abc5e0034ed6caa966bb75077c120e012673453f69d500802 c91f62e0be9381cb3a4c91a0639d8553d1b886e0 4293d1a02b409742a0e93807ab1c754010246075   ZF-UNITY