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  , O/ ZF-Induct:threads=2elapsed=8.140cpu=12.944gc=0.624factor=1.597zXZִF!   ZF-Induct 2]ŗXf1-W_X vL7Blv!~j@;к ÁJ-2][IXo#|L<\Kʶ*#uʣgS y`?,.kʗb ]4bH6AN;71jU )^gc`ү6T)dcz{i(U ?̄Aq)Ht3ud$"`_[]0E6^t qU=&+r\d^hӳ~.+i#x@J|Z'8!Sygpj#A#Z,O45 R @=Gc57zN3ݹ8[~$NYVoJֈer*-a\)t-X'(5UƹHد&kS12fN֒iqDm`lt%cH?=vX}B1εIl$S90I.f-ųP2EFIͽ.8&o $^G,ޡ#i"DWYV#$nj$jO4ݍnJ6Dckk9F'INn JdZ bZQ5"nA&u!uNQJeJFE1oћz/5HJ&hBw6Py ("Vigپ$]yϸ}]K h%Ggk"=>W ѤF _ $*} BNV6;.%{QvHh2$WN.ݿC?0: X_V6wV/L݈DtgٰFY]aF2WHLs GVyܭaOo}b[ BgcDX[m:AT \)N WQcEm*hn e:VDZgYZ7zXZִF! 3M]ŗXi%H蚛EGJK$wRld̑][9:DXx-kN^w"fMy}9@>6́==jߧS( Nݿ!&HY@;IK5D7V`/gHr6@4+ 8n4! TgAmoĈNQvD)0+|RUvϰ؇*h„~^m#lqzx[m͑CH[[NZL`B,4NI/zo1 %)ĘǹP?/}Ko f# ]o34r ~ц^39?eRU{MC r Mk.(3!ȠCX2|rԾmmȒspgn}>\ we//@?!f@3UBqF20ṫ]JN;'#x(TtT3LkO`x=G,xQcIih7:SalY2}?tX싼3^Pfз|';8| RtCkPT%nU%ø~WBSz XK678/bQ3K{Fq)X휭rC-6.z_ͷb@ŏE/Q޷ g7ЇZgYZ13a708e80ede860b56bb4255667ef38f89d00fb6 211c6d820a07c7d8a8909ce1ea47cba8bd05be8e 25d36e152c256908a18b0792a5344e6043680b74 475f233ae2035d666d45be596b68cdb684836c21 54a2b9cfc7b1ee599e8551acdde97ea61c960b05 6f72817e7acac96bc07022dc6afaa9420e4140ab 7353b7546cb46d8fe8a83ba365b83de30653aa5f 7c86bb6abe5d55bc734d8fb4133675fd6baa01b3 88bf2019a4473fec21b474c43e91a66330d82045 a3a98637edd490eace6aca8e896600a6e62245e6 c4ac8dc1d359c2084e08495882ea5245994e4e5f ce84eada21d67fb38022743b9fde5b6e2d8c71a8 dd3a99112e079d3315463008fca03d05dfacc330 e619331dbd8ef867353881a9d44cf095ae0469a1 e6ef99fc2bdf343d2951af24afe67b66665908f8 ec183088b851237645051a5014b3dc03d30e2bfd edc4d1779a3a5d82f56aad55f6095cffc9871aad fafb911cdd11521c98216baa33000acde2ff02447f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 64b77baa97900996c9549c22be820cea669f0636