SQLite format 3@ .  hhB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info XX% d O/]ZF-Induct:threads=6elapsed=3.458cpu=11.364gc=0.372factor=3.297zXZִF! *F]ŗXf1-W_X vL7Blv!~@SUO9<И;@1|M'IiHvHcB'pk%<_0|`tyIn=XTc(Ku0<'\$?~hK1W_U"D&AΚhT5aD6zgEfrkw R :З\.s_ y8NvMk?}h`=IoN#z->=O~:9t >pAhܧur}ͷy1f]9mآI7SAۗʸS`͌ ozж?0+Daq!,'4ctĔܴ]x&&!PeNÿꇃcjLӯɭнPP[Ѱ놅per]Ř+u^e=h5JZ9GL(Gʝ.Zms]֔nU%C9[ڍIÆIҷTFx#+ 'jA3ڟP_U,S괄y\/>賍DśXU[݊q^;p|.pB{ep䊠l)dEk5ǒ-bТtrls';bһrHRF`C{۴猖mPQnڑ{?/aJT:ָHwܱ'~U3b ۠ʴɝ{zK?-rkl"03J12&5PO`3 njcAsXkD+Mu2rtvUkgYZ7zXZִF! *]ŗXi%ںt5>9AmA|&/y/ຢ3, U>3›5'L":Rև8ñ!:9cmp9A[NOW=)rBd^?pn([?)_?|.qLtLʋ~ڥ3}CwVk8Qa,ǵw59+CuFv'wPt`zΜU— 6Y^(hKv'ԜXlxd^fͧ7{_>0mK D_;.0$ظf{%?7E5GLE0c#_$4~);O2 Q~4+CwV8߸G*sxl:D'fX~tx+`Zqȡ,uLNkJ[M/xt-]|Qw&%We7.b3:!LA0)A,={^M7נi86OHUzpo%q%fgYZ18218eb9e9f34ae93dd5c35f469bf3ce1a3f2eae 25d36e152c256908a18b0792a5344e6043680b74 2819d322b509e31af00bfcdb2460fdd00aecb9e7 36863080348d1714da512ceaa1cb6bd2523e0280 54a2b9cfc7b1ee599e8551acdde97ea61c960b05 55ba57f7221bd3722bb55c5d9e313c6b44d53653 57e5d2a67cd7b81d4bdf0228ddd9cc5c5aa84925 5908d12ee51e1685f9fd0112c653b511019ce95c 6484222b7029159d8903a4a528dbeff89b4b709c 6a23b0c42d6faf775a48365c357f108a2cc76b8a 6a654df147c506e436ee80ce7e742ad58bccf06a 7cf20fa1bad82a873187163fc404bad277ad5029 84c253a9bc8dd2eb8d948c12ac218c1ed83da117 9260e358cebee6fa0aa6fa1eb1b1652924a55bde 9dca6ad3b1a955fb2dd5272bfe09cdce1bd83e0a a11834af04ab1c630562283c8c8ccde857e6b8b8 e619331dbd8ef867353881a9d44cf095ae0469a1 edc4d1779a3a5d82f56aad55f6095cffc9871aad087fe321adc1f0bef2d5ddc0b1f9b0f8290cdd6a 76932f7fd06b5fabf46c8183d8395c270c2c9416ee47ef518b375d35e7bd0796f1b00e7d4ce832b0   ZF-Induct