SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ??> Ld O/]ZF-Induct:threads=6elapsed=2.975cpu=10.784gc=0.396factor=3.637zXZִF! ,1^]ŗXf1-W_X:m[_ϖ100O(jLm(z|vS + ڙ| 7AHP| lȫsHīϳeNVaGxs)U'ִTPc/y4YK.j% lKr3b`$T盪k]D0 41~D3[Ͼ%^ )LLw*]rA/{Isͣweu 簎YuT)/(8Bc=-- a=wsnoL۝_GXXyDbm^5'#lExQK& Y" :CQ;cOYǭ AnF}uh8N>xHKaCZ)5e+ɑ$&HuW1q_{Z׷w^'@XN4a'18y]QnhG.2$s0Ј؃T(`h*J3T߇<*t/jfZ@e"ZR]INЗ&w;8<1oԵ؇{ֲwH7)&{m%OT)mj4QV%~ģWbn;m喭c+p6R6Ȍ]Tt^$M9uy.bW}goUk-5'zr9;y^7FR995zm`s{%e&Ox+r ^)mXz\gYZ7zXZִF! x*]ŗXi%!O~6NΆX`TK/͹GSZ:}we"x|A-\Ielp}&VtC/N#Dc낗cF9'ibwW4"\KZlf͡epx^pPiIX $p`_C#"4%N@ a()JJ*A8R<݉))}_Q@kgؓI0bٺH\ f5=!yٸ !f?.L9wQ@]@Jb_;>WY xoU$0W4H]M`O=//Hqq\ +Ř&pK) Vt*`8LULLtG8tA{ U|&&s2 U/aG3r6ZDxQS!D'\T[4w"g,P#%%\]̑ Iߧj4:, Ǖ' yG2gYZ18218eb9e9f34ae93dd5c35f469bf3ce1a3f2eae 25d36e152c256908a18b0792a5344e6043680b74 2819d322b509e31af00bfcdb2460fdd00aecb9e7 36863080348d1714da512ceaa1cb6bd2523e0280 54a2b9cfc7b1ee599e8551acdde97ea61c960b05 55ba57f7221bd3722bb55c5d9e313c6b44d53653 57e5d2a67cd7b81d4bdf0228ddd9cc5c5aa84925 5908d12ee51e1685f9fd0112c653b511019ce95c 6484222b7029159d8903a4a528dbeff89b4b709c 6a23b0c42d6faf775a48365c357f108a2cc76b8a 6a654df147c506e436ee80ce7e742ad58bccf06a 7cf20fa1bad82a873187163fc404bad277ad5029 84c253a9bc8dd2eb8d948c12ac218c1ed83da117 9260e358cebee6fa0aa6fa1eb1b1652924a55bde 9dca6ad3b1a955fb2dd5272bfe09cdce1bd83e0a a11834af04ab1c630562283c8c8ccde857e6b8b8 e619331dbd8ef867353881a9d44cf095ae0469a1 edc4d1779a3a5d82f56aad55f6095cffc9871aad1e75038958649eff204a1d23d70eece74287e586 9780049f70720679295cbbfe456e062c769b43c2a16a84cbded7c9f3355894605763870bb4ab1596   ZF-Induct