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   d< ]/]ZF-Induct:threads=6elapsed=3.289cpu=11.200gc=0.372factor=3.407zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NpG]8D|6g}wⳂ%GƟ >Hm+JxzA_p&\$,r, ɭJd9Gy;W|MchAI]y{N}p\TVWhaޛRf.=&K4i0y :y@QYj +$gYZ7zXZִF! ]ŗXiɟ9\'B:b&=*eVBz"eAaƂgH7x͞+׮]3%E)& 0l@g"Mpn3NePG tBwXɱgYZ7zXZִF! C]ŗXi%6Y@v~cV~G&J1J[nXӞVOLE냏6mW(ߥ ~GH1tYK %*JdnA֙yB@v!ֶj(g`}'m&r4 A:˪ɷTņnkݵ*79o` ^:(}cPl'7.yZ2YjE|D(ldpPV~zxUӃ3Z7d&tlOԉ[ɧ@y=& HWN O*C2QE<풱5j>ZOếEpZa&/aIЈ˗>iLw•e!f*p-q xXa9ңt}ٸ}5 M0,GRv$$F@4;ۍ KAʅ"tި!A(p=&Do>k?`ei5u e0&^vǫvKn-uݺ.$pD\H`=m/hEv%9?gYZ4f17033921c02a1ff0b1e90c5efbb066bb43d6dfe739dc532a6c80e6f5d762f572346ebeb03f4552 9601e45b9257fc270ad7055adaa5b24c5ad33dbb9f4ad90aabfad8ea85aaaaa3b6896d41360353df   ZF-Induct