SQLite format 3@ . YYQ77Atableisabelle_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, "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   W'< ] HOL-MicroJava:threads=6elapsed=62.600cpu=275.176gc=7.988factor=4.407zXZִF! Z]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?"bGb!}}&3 XZsjqݖn]^'[ >%нNiQz w?=c_P'{l[/ lvg3jU쭥$uS%fVS)N6 a8aЯwpPXwJsUcc:>He8@IP3ZX?oc{Ɉ;:,uj{i 9f\E4B4W顏$-7Vڶ0Mq>g%cA%6dC< ^.`_3I%6Gt8'Gvj wBnV0οΡ],&ԉI ' HOL-MicroJavamZ$ ˂2\j䡪 6N0L)M,Jg~FNP-'MZ"ׅ=EƜfNYPFvW(3)z6]hp+h;jf9G;)!Oqˏ g6@'^V;;҄ siO&1W"$n8،NgEʢ9-2Bu\xձS}"qf]KeŤ38A;8@Zވ`Al q!9?4MmiƉ!FC:="Uos{ſ逕f8..RrE=f%&N%&~]=ҡvNaINʀ'ɓNUP(@ܘ帱34dr;5|W6Cށ;ߝq~5AzKݖq2/8;َ=)7G/j1{\. u#7äTM O 2oGZ$ ȊPs*())Lڋ6a1fhjEl HD. /!B˜`T>,3+޳*yz))2Ba\}UN5WV# :S aYfv1fʘs+9>Y۟V(ܦk5xգ{eIKT@ ~ өgcw>cg|7"8$_Dܿv q6ѝ̣{Y0TTη/?i'%6^ 5 /K4ɜЮV};~$qeek6Q-KG'\c)6ǡ:L([|F kحчy(jEbM! 51W4i(ePaIUgkh y Um)# =J;2>`Xr3]kW烂7|]H}0ٰRVj7 IcJEү(Gi#W'Ty͙/GBϽ:d>i8 bm'KIJJ۠Zj䙆u$L+pL,/hKC7S( tgƆRrZ{h;z2a,FxXx`s&+Bp$˲#Z E4-7A YPÅhTm] J3*A%R4=“d9r6E =8ADB:k~p}1 q5kɹEW؏^=(K[64<;} kŊƩ)Bj^6 ЁkޏS/NLq1$~Ȉ -wŵ~ӈ@L>ҵPFj*/4m/Lp=݇Ub&% <9,*a@#sq@#}]߁wi',Z#DPN,:nsDO,T|LOR!\fҲ>`SO@_ nrӢZU1/)l ˟N♴5ŷZ| B5&\!O9b?L9Ŭi ,E`*Iԁ^AH\gT1'M n}76G l_iu4EypEN׺W RquF ~g~!=,}pbqŐgxTכ&%ޠ@%'Hw(<]4ңc ĵ!9\v6Mp+lZU%,]ш!uhML΀TeT tpF6k-F ϙ|o_vow&DO[pXKCaeYYJ@L^Rd6ιPQmhhh>Ij;-´ # pv}gqhjrDK;#pj{`D<[M崚Ԙ Ksaw/TK.)Z.SF.!|m  HPF.ܸG o~Ux:7_-1kG+̏`cv[FDC#XtkvXv2`DVI%`R뀦nQ-Po$.RzʻUܤzT Vr_5ؼx':W?+X =NGs&L{H`h0Rʛ ?V-LdT-9.#| [ :!V5ÆQc9F1@y%{sCY+&&l0^ Pi6^WQ5[ ` m:~ew J Z:0ӗ1> ޔ ZbU"rheSgYZ7zXZִF! &d=]ŗXi%6Ƥ!|Ӹdm7#w%p*ث(*Įjh4hH7Z0\(>7'ؔ.%?lw~A/IFd?m?)ZJ|)ߛF/G08(e{[93TW<]^a,$<`,NTmaz9S"dJTycؖ_j٢:I=_NsŚ2N"IuJ6Ӑ.,͵TX"wz& H6^t.RZEIA¶D==L%4J2g7UG||[nx ٰt׺L7ձT+_ݞ=5ge}rD{3ut3¸R~ҲϮTW˨ļCQdp 4%B"ȤRΥ//F|ZA#u]piuQ2'0!WׇHg~mf)~mbG!{'K[5'QK`Q8O28aOZ { HÛŶNM~Š} ,^/ q8 wUlrε4i ɟUf__saA#_;=bW3сauɜǍNX5M" 8t;8O`GҩJ]@lLtJJg w,-_CV;;_)LWUy!u8u{",FB9,r)Ɵ9 `ibc3*(2vapZmuR![@S}RG=t.R?zD~&d6&~^iȰ|Bg.x+vFCr; i9U毩_8sZ:n0& hrMJ7c$wU8) csaqgbvy$̬>gQ)#w-aA_%-1xLS 8 J {<*d{>y-^7gs9t•B=.Yzǎp״BRt\1 Ά8Z%qr"8f_ .^4 E-U&:ylC4$cщOC֚X$57Fw oiYjŠ@U ˌ( :=5MoWejJ,# !"h|DmE{!N,G[=؟x?#T|zц,6ڄlrƭfaA*f1]"㟳8LߠA50!=W@ "X ք AmmoTh "c8XQV@!֗^< '$"?htͰSJ/OG_.ux~jT +qNŐiE%$i kI1M8*мY'ȋ%kJtt3A\=dGחJ)Sp | sBMGC=gˊ<`?(,y2to<)N0ᄞʠ 1@$x6suzKd\"JË( FR??AWnI t 8OxoQxKHZJ|;]0j36RZwcٶƿj5OREOd$ .-3vTHڷ,ml wGȘd} _͋ZfZ͓:)9ѺYSY95Υ+dD3pȌxɭ|Yj&^ s^?{e WKO&TDd43}гŒ}$ qp8%qDk2֮+hDϽnKYM*|.QbgM,$^os.(>1og:ۻ҇Rd1G_]@a,<GE "W"hABw$=^RU`8wDӨ$tlNj\RvE!ɩx<>)bVN]])O«w3ФΖhIR%es̄[ mz}j}NbZD̍#F=E~ c ڤ̮';fQD*F.q bȕ5I8ߟ#`ȋ ;x^>DbfMh5JzH dP8r )xJ? Eހ[4##6.ita08t5!3lF~54w-`)ЁqJ4mq7Ơ{G#TD% HП꺛pjJn ψ.v=tv\C[ͼ K#)T8\M4= EkpxQ,6 >auP >vg߃S]RM7S|a][@~!IXfiUmܰxrS l*"ߏğ[*}ƌ%0 %%iTCΧL!\HEgXt cskuFQקhƒ<^DžI fJ:ŽfAz Sm.,z%j歝s˸5DKX"7dZv/uuabb-xaJD2(8#c`]Ġg8.mY/bwE'd<3=tmẳ>J EbXk3R16Y <ՔM6E Vz1 dҤ\y|% DqʏSPŘfQ xnEb@^^mʚsq\r-Ӗn8S͘FzH,3IYDI1(#liq<ĕwl|ڒ[5bFn}7lry~?ϰMpŎR3BQoVDBkiy{D~ݬ(b|mcl