SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 l L|  Tycon:threads=2elapsed=10.045cpu=18.612gc=0.592factor=1.857zXZִF! ]ŗXf1-/6vR[l>eMx?/᣶ކX?<}#h߀ZGRK| y}+`y뀸ۦ Y0,z-ʬd3ы-ut ;d}'nK;/>v{yx`Z{QIT l%_B_Ӆ੺6u7],Qeݢ;,9eN7u R6,/Hˌ**akB4ftsn8g9Mڇ?7ڇڄw#^04P p&Kw;)9k:um>&orpʤYSET )śѝ[!A{^Bƞ(T:J6 &jf6wA%yO7&+98P.r^nW-+v"ut֫ل82!2^~b b 0_ܠ}Z.fN:HIJq-wٰ;-%K? ePJ˨ Xɡ0J-̰~5g嬳DC{UO{`e7-'uET2b/w0|N,\*'/ # M+_ y'-hqGUi-q %jO_'5Mۋg`?bVmBy)MWNE}~oY'j8|2pxYF;j((,M4;XcwDV(:0$c37R0"3sD?b5`vwƹ<73GE*qD9SM*h1`K[|lo><ǒ$Cy@F=M.3̫|K6iKcc,Z[{)6[ $ouǏT#Q=m-gV|)=m֊'e x/~@R84(0"QIp댤6qr 'tҹ(MYtt4}Jڣf0K g͗ GX