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 ss  \l O/]ZF-Induct:threads=6elapsed=2.850cpu=10.384gc=0.404factor=3.647zXZִF! *6']ŗXf1-W_X vL7Blv!~vu'AZ|Je3{Y-9`El t} XȎ G|_-Od a83rt-QL/ԟq^Cga!w;!Κ7W(E?y0,|.{Sq>}oaPJe {&?Y4nJ=[Nm&^*Q`=4'Cj&=$Me$V-=@RwuQ`}[?WzJn:Jਰȁ+T'yt FvO/ڟwk052>n:HvS zҲ,':Rp bAbo[~Ӛw Fh)ZjS1M}Q ! [DٯѮib2Eɥ ~IVGqSw}󵩡 ڀgr8>:X_ *~ZbmBb4$>X4f[K 6YC\QO&pTIIgYZ7zXZִF! w-]ŗXi% (znNC$)\W(!@PdoȏA8bXS !8 5S,#䠴NTRhOVH4wq&Ȇj #گF_Zcuu1*::b3Z `L'#ø8"q..Ē"ncl`uRb#afsX+ȱ0[݋,ox7}]JD:a$N_E8LIÛ3 2PKjV9i~ۘN7^4KgO$)ݥ6 j5QF̆ zqEO# ;Q;y6Y* ?T [>x\4SL-!0i`#cз6ٴ XpWYd[Wip@k6W,zI\,AGxӋDTv@NoN?'xm?epUl( F3YgMv򢶫̰Skr6!1\qf p s E{gYZ18218eb9e9f34ae93dd5c35f469bf3ce1a3f2eae 25d36e152c256908a18b0792a5344e6043680b74 2819d322b509e31af00bfcdb2460fdd00aecb9e7 36863080348d1714da512ceaa1cb6bd2523e0280 54a2b9cfc7b1ee599e8551acdde97ea61c960b05 55ba57f7221bd3722bb55c5d9e313c6b44d53653 57e5d2a67cd7b81d4bdf0228ddd9cc5c5aa84925 5908d12ee51e1685f9fd0112c653b511019ce95c 6484222b7029159d8903a4a528dbeff89b4b709c 6a23b0c42d6faf775a48365c357f108a2cc76b8a 6a654df147c506e436ee80ce7e742ad58bccf06a 7cf20fa1bad82a873187163fc404bad277ad5029 84c253a9bc8dd2eb8d948c12ac218c1ed83da117 9260e358cebee6fa0aa6fa1eb1b1652924a55bde 9dca6ad3b1a955fb2dd5272bfe09cdce1bd83e0a a11834af04ab1c630562283c8c8ccde857e6b8b8 e619331dbd8ef867353881a9d44cf095ae0469a1 edc4d1779a3a5d82f56aad55f6095cffc9871aad67e6021bb7b814ab9adfc5310b79af51ba1a473c c8d02b7880984757cc585de4b3c88208dbbc02d5bb5c4105b820f50d86056de14ce3a9b53f9be2c8   ZF-Induct