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 3!4  ]/ Hoare_Time:threads=2elapsed=154.024cpu=275.304gc=25.220factor=1.797zXZִF! jS ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dޢ7="O#`E}'f+IҪ?U@4hg<ۤFOԩ$YMTuX27xQ4Uq f?'2a"0\DQMW9r)+s4MaS&=և.5+&b7co *&28Y)| #VvoCqϤzw7igy ǸlL k ]rFN>܅7-r[+RX%ґ~-Fޠ!"2A- ۈb?Fq_\'qܩ981?}P"Gյ. ;ܙron עO^n%{gnzWT>畡Uasz>h9*I}Cr2"N6e@H^6lA_ԶX)?\ьŹv$2od{s,$H J;O:O N(=܇|k΁X X+W$1w&il&:dkSf=}l^آjJqX#7H5@0x q]?e7ͭuK0WtjtR+>TDtbdw/i R$Wk潲hǮb, s]jb" !Z;v "!rZGb&; = f +?a $L/R-@7L^ދ5v j3i.tが6)rN5V Hgӻ9ܳ(TirР3ڃhxL2* E)H5{kj*C k/m5mC3S[_9ϣN kq8b2?o0aֆ^MCKna,}%+(T^w;ezHMTE~H,L+zMGLSVS`9쥅&wP!ϿnA&`+Ov+W$`KFÚ>HE⢡ [sL|) #5?٨ .[^a0h0&P1[==rh{5[FgL(NL2VF-IO]KKQD;4 3:jCmǞl'[`'*Bqc_b"*a ˠ wfA 9Zo/YZP*N^φac0|Z`g\D䯠hRAъ[ix]1#Bs6ȋRvH.X dԟȦo˙&mjmz р]'_@fÈC軡9fW )Чi&G#X\۬/{38_;ֳ&GzЍLL)|Hsi%MQ1{kλ>KLk(d5bQc'EIXn8g,5qDp<~ n3/Y; * :Gѩ7%\LJ\uLzAYK=k&Ȫ7'"#~;Raт^u OW:__#`Ca : G$9HDcKo $Jm֔I'EքD#A ao)-8u]ah~>S vlRߒN DpϴVÚ&NdoP-)q]wS* f)8wI^UɵsR]KfI m84Y:d;x.'>*S7s$eCIO#cޝ` >ן=`,d{rgYZ7zXZִF! ]ŗXiɟgU06O`PEǯ<;fHYSuUWK0"q ͢A)D_ =yYR -Bc2-^o0+3 6yH3_̸߀j})fK'hhv4ɮ8eCy #JdVw0غm,@+łb? A#pnG xLrcz4cEtϗ%=W-Ss[:d\5PnrCtI&1.Y^ ڜXz/0o r"Lg^#.TL9DG" M] Pse`9:tz)M*-<- UB /VR5,)Br7/WQo\##]= Vǽשrc47;v~v@> ᧂ^X "y$fLJͪU|)k)b7.?^wײn@\E{w9ŊG^^?q<5Th.}?0Gvޝn-P~BZ#kӚZ+"juwf1_sI:[=Oklu>{ I e UF<*W>WN.k>faXQyIl,h 6E$, }_z'r|KD__ dѤ8W&Xޯ:d8Tow}.ZH.Bg`8'\끇7#.) mSD )8H|̺$+v$. 'rjn45%z𦼋|W!hYu~〝X 0%) ed=N6=(KW'w -"8&\D/Cl5N<@P25ZB:=]N-|'[OIwuGj}SOx)-vs#ԺoܑHC%_D2!:D>@x=Ѵ%68] ipoH-llr:`:Ob_?u3뵖CLlu)j@\+I*SRMrj@\r~n %fb5|NR[߁3ۑI~+sҽRNU ,^z=$)j O<7Ss7ެB":?h?m4F0y !_r{AK]3)dMUrU!2Cy^Q/9.#(`yVxW(ƟR Ndq-1cnM< bBHq0Yo/_vb BG">-"/)49:iL m 0Ldl* UO&3)/s-SOêh5} ʊLQ 5#9 ry^},[1~߁=i@{!ŴY9YBmx,IxƵd%a7BGs`DDE*In3tt E C6JtrZGl^_B2T: ]~}n>>;&%\[TљVb4ew&~6C~DmQ?xy_0;X'd]P8 9Dbf=Gy+ps&F XeDBz$ ;/Q[@DkK@TF ZQ R촙p٪YϏ9o`B3de ԰! ~Wwω4l" luuEL_ )Bapzj/(axs̆G\r Sx:#Ĵ%SZڳNȤOv:.ӫxav䷑qIdKľgԮ85t-Ɓ6Bu w:9w `4l_۝t* kreEl%n=%?%(l)`~uІ@"*sБKPQ@Saql=jPfj;~|ʿlU)_Ms0eԤrX,5ɯڳǚ}{V' #YSO#l#] #RLW~|6TȔ$3!9>PPE4F }{M_.dYPw٤F'w$8aY )?cl>Y6J$w V3tzndL.{"o . hvS2k8a4CeD*Å-W4T*TЭ6ڲ߇S'~L(^_tzUd&: _bb6eV~:b#9|kw=>֛vUڐN]~RV6ޔF 8Nf)&#RH:75m|TljiZQAUXIf4K78 ƱzqSi;\yB+ =_u."Ϣ|9z&RNr̫K$V-c6u&>i1x4LױЯJC`0a)6<]ץ3+NKuv`-\l#! ~>?R|4lMF/]!..OV"u xg"hg!MgC]|&PKMf%3 K,e5+%pGhh*6yiYP 3:I04 fG'ZTL]$5J!3ػו#IUӷpg/%9HV>-2g +}D'cI՜U#,8m1-$Gfnj,GBu,_Yt,\3 ܓuyʼn;=2>W9NLF&J?'C:}g9E0KΔ"R⹗26GDZhC17^s=H9!)]dt`CF?33XDKu`BŲC?9l\>?zZ6!c[LW\:RXl[b Хԗekh\U]7igEP,Bu8%f?u1=3>[stL\:)'С)"Qmu Pl sғ4ӸY\Lw%b#cŏ4GxS awʇO0];.8Yz$j=ӪʕP w*"\Wc&Ezɐx~Q ygݟ j 8$2y&3 k2({XNLEl<SqGk nq q cޫ㞓vu#ͬaʺSr )f_{AaXpg 7uѢ} `(AJ'eakJTμ59:WDT&\C;.Qiw/<ᤅz ZQ?k܆PvDFQOWĞV%"KwIѭ?v{E#Xm^[y7o[.^b(޴ +DQ؎`:0PZK4LL;,l]쓬!`+Ѯ!B0T8 aMT4id4{j\>b4ݍ+ ʪ̩-}`7hMԌPvH@ :`˚cm}cjtƨVR&?7eߌs G5gNNEAP>Je~u7h#Z%SuMs'pemRTn;p&/ANy6+.] 9Wr:`:ԡЭNޓf_pEZrn\Z!}BI|糛?$g V8a>J}i3_na]QE޼ ӫ N\i#:+йǯڡuRu NUN'auɇivmY8X_+dַEm箿zɀ6~\S`$KI@ω.g2_g-Ezb  )41-vu'uq~:+0uvԛ;:ҥ~vn0 HVj%V$eklQ̭E#KȐ{3Ga'o|xErs & vVggŒ\PyS=L es䁮Y@;<We>e'8b,2<=Ň ˛8aaZВ+cQNnT%{ S$O.oߦk5G/V°_=UQ^[bse޿#BcO\b.4fFNq 7Ҡh\C&qup%tM8QӒ+yzpt{dk ,3G7E5iށlaqtnmDzdoA c17;޺؈1YVăRɼa]kOEu$h^I޼ ͯQ<;]Rk~Ws+ElT!` .1{>-mE}ȞAH1K~m&t1OZ_LIf;I.E:Z($0D*!pr0GBz(~֣ɝ" p7\e@6xa 泘._^R=YP!9bOMگ}J@8PT/@K4Px Id󟛓]2Zݲ+\5+YQn;3o$9'I  2&q |D|B'9G<5\-鏈婘 avջ @3DRpe&[x2r/ ]+* 6K1 τID#wciG I4|>̼m)&~D}n2(E_Q9R]ߥ|.TNvAi7\[xPF͠ $9308~kvʲxnsĵ ],%]55XҊ(nk+Pq ޟI93]nJѽi 삼Z.`TnQM%{ 5^qYt& 3(`f/^}NCitw"[3S|ybe~ڶƧ^j L6lR3l;=ǚc,ۧ*kRHc vmdj6ardI3"0O!;c b*Q{2u FE8*xil /$.44|{pNɊwA77 6dusAmN(ԠD5FV GB0 Nbx )@i3Ov kt[@86y6JQ10HwIZ>훸7l~!N 6c[۶QN'ii IV%T'jרmXP| T\߈s;ؽsQKTile} ^&<=eڥb2b3yatذ:@J\TJgO*9['&U#4 +XRt)y7@}ECw.?$8[}w, .۵E#ױ6I$EAe%?x @{cO3\ 9̱]'2n1 [b ТC$km@t~!1:MU.p\d (*!0q8s70jo"m 2т*ב 7gYZb5446da3aae1a4999f82bae4f4ca22e76dbcb91a79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d