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=2elapsed=7.154cpu=11.448gc=0.424factor=1.607zXZִF! ` ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb <@^var% ?g۝C0+ӺtxIL$2%9ؓ2==F_k*F#q3i <}u~]84vm\y~3j6 vz LHpjAL<7I Zmm# ÔS|+vCއXZ+N%l. r(TC2Bn 7x6/ /LotPRWP _, MO ֣T~y<2EuVZIvgYZ7zXZִF! 8Fb]ŗXi%;iI߮ #z?YH/@͇P{>!]Jl`*+ UrpBP!ò!*4ȹfL/X7>84[+g΁᧭mA<5&; ]L7x{\/nI`Zل~5˥|`O J^: Qg^v|&j5HS ~` Avvw3 ]w$WRh.Ex-msc,5N K,pCB`ydfD%fV.kG(8xksfue^oqC.i$n%9<ۡ[Ny:˳S.Mbj皼AJ{z4yp,&nLhbr>Rv~n>1Dc $Rڏ*"p &}U$OnR'bTWu">[5.YWř)ge.$c#aK3Zyᢋ Árcb=+ ;/Py(Zm˙z^hBXd}4CLi[$16,"]#ס{SVl$"$a[Oip>emЬƬ4\Ox5)1~ pNw[wtFZFĖ 7۬EMCz{-ɞ=#oѮI)?ʬ< C 祖`-q1WDPPDͽIXaPʭΛW].I7 @U1oeHxFcVC ygq]Sɺq7%$Px(@e/qvy=>x~/L 8slpܱgYZab92c6a794cfcb411be0480443e320f6d7fe4106b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 2df90704e8c82afb8dcd42a90638700d196126068026c4bae0e11221661fb1d9bd507b9edd411edb   ZF-Induct