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 D, ]/]ZF-Induct:threads=6elapsed=3.163cpu=10.724gc=0.356factor=3.397zXZִF! c]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nv;TȈOG̲j%K-yG$һ;{IXmbmÐ*MJUp6]zXU NЊ8 иVvɲ_Nyc4<+ (˹PgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەxm7;bGJzpW 4UTDr Ia9,q}&#B`<njn!DP?SHC6Llc=<2L4P d8.8msܫeu'2.qv^-^4a1x5Qc9a%"N٘>@wFmYo$[s#Q5UUYJgP@OǪgYZ7zXZִF! <]ŗXi%92F36v^z_ZH njlz%Bʲ)>!]1w q8`Nlmߵ> -~n&u,Gß(RJ7H*͝j#A-![wIOyr(Z1,D0 S]\ڦ pW_ -/[1qx@Ѯ1=xSp @U>W7xh0-3x'jMK+uQp@Qech(sʊf,>]]=E2 TNR>K(J]3a`!4i, ×K><: )_|L&`Gb.W!ki1J 17 ê9޳y$-S15'MBF\C^յ=A5BW Ժ*Vc+[TI~YMY/ Q1<] +27NĚR@DzQ Ar.bwe2/P\yMF[%I&Eǫ_.("s}w]%!gYZab5f619cc5a60c53e07748cad4beea69bd2a4286341573a915193db629e8d127a9a53502c8309b6e 6bb20b7c7047815b1946f24dab9992e29c28bec5b185539e999a2626dcbbe30695d4103eb15c59b3   ZF-Induct