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 a;lL m HOL-Quickcheck_Examples:threads=6elapsed=66.509cpu=152.720gc=5.348factor=2.307zXZִF! ; HOL-Quickcheck_Examples u]ŗXf1-q恈?X Vd!x{f(Ǟl9o!'8~'OGYTƖy.Lê>j&SD~K 9 b=䫄G Ĕ1+g6XnIsעc\ CvpqH:_n6Ѓ26RNݶ[O5|4PmZ%kICU[Sʤ3g7e=K.S9VѦ0__ANc#Q&7/%VORAyxkڐ%j@}5m^as*}U^h/vDړ[ЂQo4|D@ڷ+66( ԮV .VjWc[4fb:6HgbEjoՐr}K}衃W;&tr#ժmg''m~@ݣfD%=>|ZoQC51+c S|za_Q7 @ 6"n^ sY~MŜyErFviNJ%eyn#`#jo/zLG2 YQ+1Ul#9F0j 3jز*7z*%z iͿNH`yIKnȡq"ܚ;y|f3/K~ߴ%ryۤV;))D0=_%Ћ`Q:z7vbUG@^aUR*6:uQSB>JJi[wy}@ i .M:cJ"Ls{DܛA>oaŵ!rEÔYe(E hrܕ%o}ЗM׈gy`mSi9F5Ɩ,7 | v=EscF~tE,VAԤ܋u}I'(<_7M/iD!T&e PaK# f5+1Ts R ʽaq؏R[-~ڧI+S\6,saH#H*9"b-iv1ed2Y2@!{u04dp\8\HQ* \AкoJr1luRUmlW c͛8԰8"0U\F7|UQN-حe5Ehӻ#%o$X.Ek7tqV40ӆ@BZw.Н&%L}B* u` B2#je!5ڣ8GM&g@$R !"9LWy:%&f"b K[F?2g=$‰6r~2N(=;PVO¿LBxie|wB.Cr{?<^(4L^Y'DL)'BQ%nχ;go 5^A"& \ˬ$pŕnS+8rmZ" ʪ??\[Iw2\G_ƘMSC aAfLuz\`?_`\sSxj] pT6(@{kζF?T̢͒?M&yИS@rȠDEh.$QtLm .'gWxV$)pRgdv$_n :SrSh Gd}qď8ûSΨm*$(FC/yd8$W 6VEEz~,EYl\< u’\|w2a]d0Հ$x/{=o].+fMkƹ_b$ҜmT^YaD겍u ˅5qe]͝ ZȻ_%\S2M[ lvgE`E88X  (_]Fc5D)cA!Xs&(=>`!/t9 +23RMekA/ylLꬷ6vNvwryN. 1݊ZUB^=Pq$us)u%=Qy+G>%,FjkNDB%֏q琮\MYiS/E$4Љ)L*ZHJ]D81Oj c[6]⚐yZ e#,߁nD4?\߳kͧjAgX6j}ٔ~u)ܟ`͛k'T r"_%G l1[غilRfᢻkd:Z%R,B9Y'! A&^(].!\/ty`ODC(NؙSJFN/$de+0|!CY1Q P>ORAlY|ri gdV^2[eTN}Ky sYag[|4a.*k{fB)5)ܐocT^1 dm5ӻxqf@9%ہH0 dKJ]{:+`# ' ݾ'*gag{'ϐedtڠ *7:as=6ŮY:? Z_hdZ[Y2/o1a\{יmz9bO >{bPD{y4&M3T5'~ WejKgLUw6c6o:aj|=< ډWſp1᳉ tϛSnb'F\k:ۥ7 ʓ/@} ƾu*$UrG VvI3FelUS@6,hYZ0Ti%cb:GryeiRd"7J$vG¤Ļm# O O c9+GMpAUQxqHឝd#ۘ?C|4;|R!۞I$ė[b|lsW*b+, *|s--*;~npGiQIpЃ39I$'o.2EG~!EP *+PC1m-wŇkؾ<YIWUUC'i6uv quV4XO196˜.J,j& #i٧r%)L FѥR5b?lDEѼ;:F$1 AP,w"l.{AlθC& =  &jzZkQ Gؓ7c:P4"v7?2r-4"4lج&]Ku:{< ^K&ev1|GsYN&㹝x)P/IzBe9oVB fZ{:WbgOcPkrmC8[X3qPܾ1c.vrodSZ;⌒3`{sMaZycOC1h-t}r>Zn5Ē t7F)z47}Xl2a3[)W~d;Qx:Hd=7tRzǔA?M ':cz>Q}m؏M?ZY>IQLrQt*03]t`=MWU+qN,务 ]J eŷjdإhP`70&4Ҥ` [7#c79S[qҘ5)/t"01)zsM++#7D 3 p4tR?( p*N0Hpm3{PjuT =9xYvÎc7=ޖ撅}: nY_l ƳM