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   b <<| ]/]ZF-Induct:threads=6elapsed=3.192cpu=10.776gc=0.396factor=3.387zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NpG]8D|6g}wⳂ$w$q/vW#N5v@X~ CK}9 V ^h õIݑ7?) Q .U5/+(H ε`02a|gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|2{nȲ Vv>qA<4,\oTͮj*'d)+0t 䈂׏p," mC t Cv~*uUSjpRQs>) ,YOf?%ONs\aPps𪅹41ً_i,(Saa C]cJDHʁ%bLN|Hܠge9$r . E3q$pd|_rEaXɱgYZ7zXZִF! 6]ŗXi%;`Qz\]-#rRJma oT=\ 7,u+ݲR'rɽkץ!-k(s!$u?cЇQ.}Eˠ٧ܜOR Kv-@К'<` +T&P}QHnChP'4c Eeu'>B}kZ09ov<=~ _ @X(yl8^*\^QZ@ѱ.9}9$ =ltBu<{~[95>0=j m5?k} ^)i]uv@l.0UP(L=7A>1]EbGRW0 EU£ob (f'pSA`.0#5ڡ>P.Xv?t?MIǝG//e8Q딅 6w;۪;sP'kt(&A5_7Df\Sھ!G^j,7qg9?:؊B:Re!2IgYZab92c6a794cfcb411be0480443e320f6d7fe410684f26ce01913cf374dc1c991cfbba0ac44f7783a 82e04162c279fa57c60cca8112c84ca5c8ff82bfa2e12a871afa5f9673eaf76c4c71542da7a8cfa6   ZF-Induct