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  dD O/ ZF-Induct:threads=2elapsed=6.082cpu=10.368gc=0.396factor=1.707zXZִF! %]ŗXf1-W_X vL7Blv!~JP $is! tgO =etDy@ʖq/"-r6}hݩ~f%g"TL Hlw,77Am05U'kr 2'M592( {46w׆~,0Q)y$%E㌵V|^^z1BD^)t_//Q, =eUml2ӾǛҩwcjH YDo](8('/F&>ǯpy]ŬUQcŋٺJNՃUc\ƊíXùr.[g1-|r.=%TDOJ6zK#?%Uoܯ[ߧ^0h; \kP$smDΘ'յ/0^Lv׭SD~Vm*DrSCk0UT!ueA\*gܲt,tЫ/ t   ZF-InductKD2< ԩOV7@v-1-ιzrC$uhby~E+z_ kx/U_{I'%y'jֆ];д:ct mMoX'fFc`B|#U"<۴!"C,m#hLtg$GFh+#/z% ƌ|CN`k9Ůys'Y bh⛈ ~sX38bwf>LԶjR 8A4r. jzXZg[_JPWhr\0 2| GsKٱgYZ7zXZִF! *)]ŗXi%B%A5\Z96+>"1Q" +1$<˾۩1B!VI^,p<(n ]'ŜPMLa{Fw.:_@aEpZR5Z&Rb޼hOĤ)pbJ9ar!;P:?*%0d!G_' h/vZ~G?FP>. YӺ:P=6Oe t2>j%U{+1I!l'ȵG6i$l d.y|D̕7;I˭t?VRժEPkyʣEYW1FR Ostq 9rW KTr1x/^즍#{`>{#}&7yux&[ =^v2)5 ȓ sEv![`GҷT}gYZ13a708e80ede860b56bb4255667ef38f89d00fb6 211c6d820a07c7d8a8909ce1ea47cba8bd05be8e 25d36e152c256908a18b0792a5344e6043680b74 475f233ae2035d666d45be596b68cdb684836c21 54a2b9cfc7b1ee599e8551acdde97ea61c960b05 6f72817e7acac96bc07022dc6afaa9420e4140ab 7353b7546cb46d8fe8a83ba365b83de30653aa5f 7c86bb6abe5d55bc734d8fb4133675fd6baa01b3 88bf2019a4473fec21b474c43e91a66330d82045 a3a98637edd490eace6aca8e896600a6e62245e6 b0442740934fb4ff5c455327c27638355e569117 c4ac8dc1d359c2084e08495882ea5245994e4e5f ce84eada21d67fb38022743b9fde5b6e2d8c71a8 dd3a99112e079d3315463008fca03d05dfacc330 e6ef99fc2bdf343d2951af24afe67b66665908f8 ec183088b851237645051a5014b3dc03d30e2bfd edc4d1779a3a5d82f56aad55f6095cffc9871aad fafb911cdd11521c98216baa33000acde2ff02448c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 7f8b9608355870d405660de565874803ecfed86c