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 S l ]/ PropResPI:threads=2elapsed=15.856cpu=25.228gc=0.856factor=1.597zXZִF! LF]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=M?HB9edX;xI&mD"c-`\W@h'HW.6YU~DE)` ˎW$ߚn`@(- wNܶnj-Eߐ$)1^ަ { t Y0mYR+{IDv:m"*x>)o&Ffs~0zz _~5Ho8_9й|ygYZ7zXZִF! p]ŗXiɟ˕A|tYnUzݪ7PE |JT2<~aQ/mʩռS\io:r] &J#;ܪBΎ6tL gYZ7zXZִF! V]ŗXi%9#qt@ޓƻ'TSJM$1pcx)}BNY¥|?J|A,'4bCAKJ&  X9q~q uܧZ#=Qm>= CKTaۛZ\UK K@=Y-w0Of>9Va9#-6Փ´abF2n8d&p(4]G.8N} {}R9k:s^KtDHY/7:SNfEz]7t?M |W NT.#^^a8j*R;fxt҅[>gʘyGe9HB7`nŸcQAʦHbFa((JkAV3Dz3@F.;+a޶ _JUf^xV+RG\PgƐ;88?_A|?Ĝ ‰kKNuo w;*v|{3#Q0 w|gܠ¹G tk*n,,S:rť = 8p[rB\MO8KKDg\9#]>*@{+NS boӃ M]eޜRhm@85)eѶ _{X/Ovq2kװlJNB=wu] ^j2lvO 7ktz!}{h W/:i]^4Z(FRI=Tc-,4 w?>S̛~fb³S*I0hd+#A o7A%[adonmK1'V(X#hI~b!\WKQL Ҝf-<"l N'B2#ZyuE ^΍|u_Iʴkҽ7_?oA ׭ gYZ2821a5efb5d95def6471f0c9ba9d10bef9f426848ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a   PropResPI