SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 <<A! |, ] HOL-Induct:threads=2elapsed=19.509cpu=36.960gc=6.380factor=1.897zXZִF! ]ŗXf1-q恈4?/*b#)gQq:#irnqIRG!U_͢BU`l)tNSm=!IWٓ*I"jJw]qr3LR`z @gm;DJC>ci/?9$sF0.@Ӯ%o0ORd!S qWU*U\H.b1^ـϑɉ}-K<;şFV1f"w GJ)$N]eJ@"g7{Ɋ`1m?z+̱@ԊT/כ inz6z/x*4P`śd)}yFN)uԼ)S &HnR}s΃=gNz$.ĩ#Un1?،XS>;0uj$aY gYZ7zXZִF! M]ŗXiɟ1Ml3`L"Ψx ZEԛa|g5ia/8nǡsji;sǯM8 a7%X˺\n\ 2ޅqu1N:Дi|* !(_I1f. Cj9_0HH c\ʺDo=@{f,c1,=75a.߫$mOē몲#[a&Ix@)j}W]ȋ~ 毅a[@lK->P!j# ak [xuA8_] Қ$@ II8 gYZ7zXZִF! `k]ŗXi%;UM-}WKCD~8@nv2o-jݹ:ÓÖ\g?9'8x+&[_ P0PX.$0yl>K WElm n?7{]5陼c5Up|*/[ai&8Rd߅id_jGZ;/翿ČHV/Md ֚Q4ɎZyG(4}%Cn$b1$g/rB >?eQBiz>eK9e :bwu2v"5>6GW&wwdS Psdg-lVdeX{-(c  Tȯ|ғk_F]}./hAї. @([qrra]F0&o_.A`eKF\đWh螘k'/14㭂\/a QU-xNS} V mȬ jw띉 N%auA* Z(WoIAX0fs ) ~B;$GF6@"` moG߈owmm+HBZ ?¬y# YsA`\vwutNT|/ǧBԂ`9hw"⩚eUEєw !B Qg܈4NSxF"/5+Zg$~JW$ "ILؗ0hw`q?`$䤢ׇ]ù8;YrbVɋoy/L3nEё\\G0bQZ\96pO "/h +7~Ӫ@p"m`x"f/>b7߿4ü'S<5}8.D!"-ccH]&ĨbX2bĚQ~0 JGyA [G=:T &'BU)/IͱHJP S1D JIh]t $ $K1Cn+|Vz̵@%3dr,j&ԘCKh摯aIQ;#ySvbP_tB)R t(dʩ=3p#&=*s% 2UKIZ$w