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   t< ]/]ZF-Induct:threads=6elapsed=3.586cpu=11.912gc=0.472factor=3.327zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N b&թa-jyptPz:I2(ޙ}Si?6R2lup\b"BLaxT)WDC{T[( 4y߈F,ȡݘD.h^Js:tU6 lo,W WgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzً}n л_AJSpkLvȡ|aZ30ncwf&7T+)mІšhf{2HIB :Aog0Gco٭BT]k9ofS/9 p;v0YfwdyDl[l`@v*AU8OFY=E4wa7mel"j9A11C<]B*hѰ0.^,(gYZ7zXZִF! G]ŗXi%96>AݮNt~C. D߹C'#@񀏺U`rL9 nC? +џ&i wkx}+a &'Nj%Pjyf|ӀM0LZ(~v(̐wyrmX^Tt=} .xP+qE'I! Nmj5A/zrw >3jEn}rx6g1 ;E`"Z|QaL\dIࢲThl{o٢ӦO~ԏ,,@ !>b}|NŚ\!P, ϖC [#EQYaal>a"ۏQ,?0hN8+ dbA2GU$uW(  ǐc rJxed ;P|>Nͳ`Re{I Y&ۋnF9U:4AMς }o1Ba$a40%NgYZf9a9c0b6b31cda91c921dc92fa4c36e105976e2aad9522bc18e2b2a6cf26599b560f2a9ea7596aee 3662ce0455791e6c89f5f9ef0fce92bc76c78fc81056c05ac55d4f6f8bf2568e131df6537871c976   ZF-Induct