SQLite format 3@ - llB77#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 U D O/]ZF-Induct:threads=6elapsed=3.206cpu=10.656gc=0.412factor=3.327zXZִF! )4]ŗXf1-W_X vL7Blv!~5ʖN, ZC}-ogL_su`[MǛ#!n2~*v*qq5Lý:Z|^,(LtD1zAF}H<uv   ZF-Induct"SHQ?{__?lu:r1LT*ȶbfQ6j2ʢTl^t uf25l#I@{%!;?F;tk7pԳljV}y,Œ[޸^nF6>|RcloWNj]J$t3 gNnކ)`PKAwek|?Ztݗ:`##Xy<.˔i|bacvՓx4styfv8h`-7 W40Qb)wTf좀sM8i~6I1RG~HUߐ,|lb>FQ!сN"Z.S |{% n[JC;[L Ov3?"hB^b#.b0i?Y_,B5lvdDMm`6]bڴO;EDiٯjUyA.&W٭n46g 6dжꅪS|{#ߥRYgYZ7zXZִF! x]ŗXi%KʎqS`MίGv c/xS ٶ ~4v0l||3-c7&o}63$L`1<\RyB@Whc?lZ!(U}"w)s江##x*.(k3U9W+U( ׿w)WR/D)&> kE&K3Y}ܸ6rr Y O? 鳄#qAHPuAz儧9KT-Z:&e?HAC)#^_5t᫘?ٮ3[D boe;69LbŖm '4iC # X͟-Mw9P[`.zH^(WrTCD5g}6+i;Pʑ89@vlB b#i/ԳS}g#*$"U{[n}/\x 8L (>{wgYZ18218eb9e9f34ae93dd5c35f469bf3ce1a3f2eae 25d36e152c256908a18b0792a5344e6043680b74 2819d322b509e31af00bfcdb2460fdd00aecb9e7 36863080348d1714da512ceaa1cb6bd2523e0280 54a2b9cfc7b1ee599e8551acdde97ea61c960b05 55ba57f7221bd3722bb55c5d9e313c6b44d53653 57e5d2a67cd7b81d4bdf0228ddd9cc5c5aa84925 5908d12ee51e1685f9fd0112c653b511019ce95c 6484222b7029159d8903a4a528dbeff89b4b709c 6a23b0c42d6faf775a48365c357f108a2cc76b8a 6a654df147c506e436ee80ce7e742ad58bccf06a 7cf20fa1bad82a873187163fc404bad277ad5029 84c253a9bc8dd2eb8d948c12ac218c1ed83da117 9260e358cebee6fa0aa6fa1eb1b1652924a55bde 9dca6ad3b1a955fb2dd5272bfe09cdce1bd83e0a a11834af04ab1c630562283c8c8ccde857e6b8b8 e619331dbd8ef867353881a9d44cf095ae0469a1 edc4d1779a3a5d82f56aad55f6095cffc9871aadc367f42b288d7566b73a876ed41fff0a0246a83f 35e13c1c8d9d7e2603b810de5a2314bbf018354fe6fb066219cbfe40acf1d3868e7ce13ae76c2241