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 | 4L ] LOFT:threads=2elapsed=179.282cpu=331.592gc=16.536factor=1.857zXZִF! 5~]ŗXf1-/6vRZ0-d!'?BɆ/A*_D-n?SNPQK$1X= ̳I5P-SIx)GjO'WJ}3iWine%~Sd3jcZ<^Gڄe7iO>J€&*wa3` sGcy^@aG_;Q%&g35b>e02ILύyzmC"C΢}7-ejOqR)ߢ]3j b$*P-jjHkpتl0̧1B9FL#&O4C+S]S^~rj]qfKLvVZ0Dlpn@JGZt9yU7*\[Q(r =JA2=4Qݢ=0izev/MBlʍ']=C“0.֭.YJ,eWW@X= PV(%pCBOlHÜs_xsd 7tmaz[2ʩƅQR˝c|PM\[}NnUkEs>owjp吾(}aqs8Oïz߆&)G#-557eި_WˎWByg;KVÂw%_? ԡ(^w[B̓W]M#qA^D-qOsKѕ!qvn}O[uZ"6/ uUHhȕZ]]07{L7C%l&4y-iU16BV|&\ЁD}DIފܶ  vHJz -%{\ 3>jʎ.p`W4$M/'K[F *z-.W$\\VXԃ|lK{4+OSβG6$p큯bBX*G7x,7-&%. s/nۇyE;bd!L7a [xBRDa&HCI:Z* !D uOeoAZblp T(]7QAݩ;]w[ĸa87SǷ,Ų\1 iR3⼙0Qr+=Mh:Hbk_opT`5}͙]ø\Rde 't)\a];h}Jj/vxJ /!,^ ebK&qx7]Bp]ߘVOiiwz˓kY8C< \ؚ˛D|2`^PO!ձb ]nLeƤGuB(o"@ ~&tS&p'" 4^gYZ7zXZִF! E!]ŗXi%;z8BΐjmS Fj? xx(QP3lRY GY{$mߏ)x]&dM]5?A0`|Y5-Az[*!NJ!ϣ*ϧόuq.BcD*ԮϪ' vYou/@2Bne0zAAh},l8%FBfƴ H%. Xɕ8Ӿ|D ~YLߤOoW}*0턳 {2k)x Qx2ϣ[/S#Úa k!0E t-Ⱦ|Eʁ! X>}N(3vXBDHZsR} cbn?k:%'6yKu3;FM2Rѕ5!b:%d3ʎFW[CT;tHHZӤbc'eG0t\S7ppezS<+Ză2<$B8)BC$Bʳe3Lչ~gSs]T,3;Ю3>2~Ot#ҷuDJ}^ELܒw`  LOFTj7F)Q~:%QD$5W2 1d^ wLd$9.jYx3s)A^Lt̆v"\e4+ɐ34AaSC%bL2f?q(b$O0xKtAd%?g:lm wzjD[LM 08'׭OnjH I/X†a%%w׹=rz;D CiJGƝa>jŴ~uU[J™Ѵ&!um+YR$eM=5I(G,M7pf678u}IJUyLEk;^sqwV˜I8ڝEMI>vywṅV7':;SH`C:eXoW4QΞE{w lpt)j&eC+Јo23B]z^D" չ 2-`^o2ɖo0=ϣ[TOp5f.;j73-=#M&$e(w59m~;8$=ٲ@jq N?sQ=*o}q/N5Mehmԧ"Ƭ%R<5D%Dž=+_N3|ɗ&[տޅ+Kk-QO5eDiӳf?{kx9nPrq$8'cD~c^b zhb2i.( bwFd9cv;큚JfIޓ F~%pb_\XEՕg2F]툴N`|J"^$/[TtȲwv9x 0TrZmJNrWbe.]ekآAcꤡ@?&:MYt.Go_JF"q0'L}n5TX)$ϙ{cE2z#+ncoAUyZsi4;(@vR՚-,]|;ggu6Ϲ!17BeZ-xqWu~9@vcÁr|a"A[ƻxU 0$Fzh0_>3)wZ)OhRY2kUX5r^L+gyn E<GiW۔ U+P6}< 8bK>¶ˢZVMJWPDdpqySJl^U/.Y)%P|Ucϖ2hhܑ*iwm.:>gm_g’.C*1#&ڛ&:W7E3'f[~nd f )T7rxL fDQ6}f6<\CoL-I}1Z}TJ~P)`Gg(!Ef2G>!~|x_" pqi䒋iҷu_ŁFA7: ʈHÞlqKnmRLKFOեVYVԮ)> VDGC9ޓOTI:q]a3Ç[.e>ܱF<F|; $1⢄mՠgm kA~SG%:ɐa7ڲywd/lrP4MVt"Mbo|: ['=_ޮaIJF$ o}8mmjLHx ) VĹ{##1Rp7~.BX9;̹OR/ek" KnVj4}شʖ\R>/c[DiρʈZWHfB9?Nu^-ǭ` pѱaъlGP}1ZIv5UŹc(+?r3ϱ"e N"Pdz1҄Kaџ<C~6W >B3>|Qubzꊹհ8Ww <Q48 @_84I9̾M%/GIԔ՚`7S6]0m .n;A\ F \ dwN%ī7;MyadL jҜU|P['D$t(T%J6m}֪<9W=s[!oTRq y]T KX7pP[tAʜS 14SGI3PQ=;V҂ "96j&! <-8}hK__;{ ȽNxĸ< ,bGL^>1WA"B["N s*E[fbJ W{L٥fs؅J5.@:x.}نndd7eBvM|`^ i۞3Bxl^#v JQ\^,jIZ9<ڗv "q|-Uo"kdgi,6R%B䂄_0S3 _5<lQ2qG T0_d#8?aZobcr|J6Y怐DV0CuIP6DZtz?S?zK&h_rb9"Cnc8m98a#Z$7J9ʤjbq]2k $,X݆0SFȯAc` Nt矬~ ͤp^Qy6|)-)2$8ҭf`*벽 ?gSݜ$Xs4c%?,Yxs^O"CVA}#>vW\N;C &.;r)ZH j]>{wwKtxT ME郚7ٲQ_ٸ\HޠҨ7x</E&BQo @& $O,b}^8]2&œdg["˯hc!G-'i92$Gm5aT;[c*r!i:Rr֝ B&Fș&l]K"^?WZt} oٸz>}%FΞ9x .RJ=^8Hx7"'au6GZG-B#@b͇cX/ąRafwFH&n0MBkhWX.%0ˤ[3+ :~sjʄ uRDԌOG}pj $Z`чE{tБޫX6urvQ1/j}C6g{@OŠl-0ݧ% O!nC>T_laJ8\WJ5%kߩ0Mg̅sc3d?n3CCmddq9۰W{892d @j8/)iBvf=F Y@=nKEޡ: nUķyy7|S"Z=1)P]ftՏRWd 9_KCIPIIΥآ`+7hd60b!}&s~ ϤĘoe 5(pp A n}^?7G(^nvuV1>IB'nnV4Ys5ϣ)qݏVJN qaMNT|Tfs_jPkOp[9QoNJ<btkq4pcA!%r`=TRu=ZxC  TR?HD^Rc2Nьf\L&ޫ;ٷ(t#@yt;Vޘ8A"qoR>(:Էqn&18RVYez!\qMK7U|X(՚!9^v7!SXv9>4[ZӋAMN)? :^B@?O',bK VGם ]$;5'CR{r[ۀwHe0Fq{? ^o-Z$ߔpi](DŽ{RI X o%E۪EUIBi0"v(R]rԡͪרil垓aV 0]>C<\8g Z#82+ ۺ_OLlU 0%DhItIN2Aŧʾ<EgH+Lِѹwz]GHmF9y:q?NUjpf]/Ha ;, n%=TԀظ53VMwJ`&jĹD燶dFM h^Bd!>7<4{`ΪsM,\pQ_oTj j͑$=ޖ,yL?ڈ[E`ZVW}If2ùnKJLcULNtXHhLYCB0O!*==M#Z?Q,b~Rf}"^6!{»1D6@3ȅSukqZ $rKn#ܹfND_~USzMV}(`{5tYqsshoȃ`9rp?d-e4jb8(?Bpzb SH(H۝^K%Q7.L ` ~ b=LfW/h㹯RTYaW!NV7g~Kj;_ښOI_fheJ=W`|Ɗ ."J;3Y}KS0:F,J:&lֿq>8ojIw IDS=!..HU5޿x=;vbX`h)Ģj48k:=6?> jS q/P"6w qW{`8?RF!cͷgW *jBq8'Fe(MjQ R?/~гIu']񋯫(V*ft&5?J4J 9d Nۏyzگ:qgP_?l6*Ev8!;Z>EEI6Oo$싫)GIlp&mϮq$ϋTeb{fVG])6i