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  $$ ]/]ZF-Induct:threads=2elapsed=6.998cpu=11.100gc=0.424factor=1.597zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb ҨOԇw8cj0N?9y\:\&V2$;m Mi6҃8BL,jwtgm9 )e$0I9JCw<4??3:^/F@㖺B?R?'rΖ@¦j9>K7y2B0u^X2 }G8ުQgYZ7zXZִF! 6I]ŗXi%96xJ(E,AY&Rb-]0蹗a!]3C.yޯ̕A<6yG([ns3*a[Ltµ!wH^ jy B>ˡĉkD%OIF^ kOU__| @1ծ/nb?EK`ր {sB*|akiMb7f,6YwC9L/|L)ZZϬEyz"pyס._ nmq"&HeA; !]S`9?fP5mRŢ[?nz(2Ibڱ@7ʎ]? '";BZZWY[q[mAЗEB )+ESMMoĚ5wmLv.Ư>Wxq K _7qkPe+-9`EY:U+:  i"6{!V~|R4qH&T5uk lSL,a$?xϒ70>#C;4ɀ^7vEiW TK5J{ӆy(!< JI1Dm[]Geva?1tK]'* |L.W0H] Y*S)03VvF,zjac-4RIQ~C:cFk!y])CB@lVHgYZ7421072f833182b3216add700de86b256b864c95ccf9b9418e9c76b5688e2dd3ccca778f920a9297 13053502208935dc80ab22fd085456063638351f9a03bd9187dd745f103ee78b7acaf6515e9952d7   ZF-Induct