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 Dd o CoreC++:threads=2elapsed=214.071cpu=383.256gc=34.568factor=1.797zXZִF! Lp]ŗXf1-/6vRZy s9,tگp1 qgib2KwYD<ėi2"D5/ó\7O~+.ךa~oh΃u XZsx mvTlxP#q^n^i5#k;9 & wvRcV8^jd~d lT%'"0WΡntN~rg1_ߍ5W#8HK'"72A3R2.s8QYOe7kߖH-Z³F+{1Qkɖy!W0m?%MM f[gȰ+y-;:U.7f0PD~7p̧mB`J>koPnM0Q&5tFg2ˬnkװcmN;v L5z)x[m#*讇()q6ũpRR:(9, ,=fC=>\q?5;w,@Y8Z$ ;uC1hcgRaݏnԑT14,KΣ0dj]͆>yIQ[6 40R06rkR[pB9|ac(`x̓Hc^ĜlLv..pp# $gҟfeĎGNm|n.2\cu,99/I7/kD Bt'vuŀFV/lHKB},D^lEjg}TэF|Uv[H]608jbf>Ȉ5_1ZkJKKk{QiJ|Je8#$.J B=gߨr م/444U;~yvK+YsEv3KХ"qu d6$3,GPF;ESZkb.NjJJ?P{RٓY$Lkw{GvP6b'SS%byg`00}NFgF%`D0YPEam'%K3+M %Kaply# PXXJBGJc|pTF&n&@Z4 ަ*w6] 4OlB)#$BXvt\t^>>SԸ1o Rp8|Lr`njg|޸j}eM-{j@0l/E+ _+vDʜ%{GW6,^a$Y̵ z!fٕ] w[a.\:#:_ǻѰa*!iCUQ0 =I5F ,&,n ǧzԹ3LLovۥ..c| gm;ő}+œ#"NaH{ \68j]+It1Nyi۟;w4UY<'EH۪Cɽ%f7R?H؋`4ɥ4͏\@twAeLT|רz+oUFnDWUVgү9旋Ezo+L>3J1I;s6mQF8p.=os~ Y$}®]|*ng @rK0̱LhXkV[k=} CgB4~J.\ghd> ѠL ?2<|ǻ{ k$ ?]X _HJ]n/W9[ fdSPcCVD>T7(wq*{]!˚"0= ҄hZ"('(uc:1IY~aZbץ-3l2_)3X~LnڇjVs R {|AMi\aYTz$9Kvθaނڨ*ډZfj zCCNY P2SE&;g\M(J6ƾc\Z\ѼyCGj0X<yb9\i%vvUJQg:USL*MצpUҍ j9q:8"^> e8M6%L1נWu@7̥ۨ00`e+?¯\ 9rEtORپϕ/q).RUП䩇`- ]s%6w jUUgW{s   CoreC++HROcB(gF1 hj -2iTY' ose$1[{ +R{]ߓ\ U֚VVVVbnՖ!)$EJV?Nj8RGrg¸-0S@}H\lРQ 餈U7S'ƑaKAՈ|)ō7mQR+[KN+L~ԃB |!D HƘ$.!q1.6y XF)r4(E`|h=߾MD@e` *"uh 8"\*|%QI[x|ɍ@VD{7[J&(u  F#wU6"4;%lGA{Ͳo^.쀗@nA_j=og3;kdlQB/X/o(L\FވuA_2;j7=<(@=K"Eu,Qn7i G#~cP&SߣDKWm +,6B ;16y.q.U n :3/䉍@At37 J=.`<@lJTϖb^ANx̮.UWٰrn5[h20z qqE%qZ!oX"7W(ԏA`PtF\RD4Tȋ#kxj5axU>Mu1-G)M00C2`4U?`nz\oerZ>r wlG3f]p 2PMlOpSfPg3g͆U\Ԥ"Cbyυ{B/.^!p3Y2`'>UoȬ=/ {FMٿЕeZo/UCQҢ6PBIAŨE-iKʖ@鍔0Њ@fxEPS%4\!zV2=TZ&ԃa4WmZ$[]`Xo%8mJe ZJNL7&m{Ȓ]21ɺJҔ:B'o_yhĊ {֪H:~; m~?X`z|xu˕h*P{߰P愠s RR B915dEy\ɐ٤>‰!AT6z|)_ 9ȁ G3(l΀ܼX;$ [wa}期b=@N.4}7r^²U :i35\]e@#9))N ΰBe 1Ru7?)3Hn!̎2b>=`hvK`3o$nQ'؂z0^p 5]>dSбuŷEZGIOPk+Q [3 Y{G<[;z"=Ww" kx3 ,h8E z1ob/ARvEYsa `vvlEQu;w|&X3ykVnˆ rs1J!yRk<{ CQt|kid)ѩ|mn&(tl¼井Pji6n{8wS:g0XZQ22> ^%퐓+́{Вq4F ^x%fYw@5߃>e㫄yxQzt}$wZJ]s{g/.IWaؿ*fs"h%U꛱vZ'98(߼!AY袢NC?.AUptvĠiەF½-PT6RF3QwNMUFD!JvCIfL'|c$F$ۤFZySѤ+cli83wT`6tWܩ_bTx J[5+~~Ŀػ5 oA-ZNToAxZ*M^*kO 7^ʌݍnd~["=3X<] `/aC3TNˤ)NWξX.6##Umq I9ߡotpoeQ.a M^Lfjbs!F2:sL #7 ' Ck .oXewؒ1 ,(bJ.s5Ch?y+_wWZ(p ;bBTp냅#,qL׏g&6s{LCmЅt{W`Uꏿ{"?)8* _Y41^;CF8nkɤ/P]@1쑨(`ZGLc.![qmH[}w Ϧ|º ]b =9aLq"HU<79Y-i(5Nfn;elH^pML>Ak޵1%w 4)39ڼ-:lIN|;05EV0|8N bk0/}ASn 6Oߙ19e|QADi/pC%=8Ǐ'4EBMdU ]"T6+@h V8,D-z>)tJeZ̔ d)|VVvE aav,M _v,O.K0]5Xu>DIى:7zFyA*:d B}#⮡XIS@c}#cT(ݲ0"8N]foYRϦ0E|ѳlW)ݓAC^[lDJVիt-[)_"!yyn|^UE\:{BjE8$[GːnzT ӰZ!; ڽA+ڟ*ysaK#U퓟9(Y-~c9Y% ^]$M:'T+oh\N[5WkcE%F~W2^ӣAESwumg^R/Dq.Ar0|Kg=bi6@WIЦm[0T5$ $:5 pdha)92ës߁#K Y j!BG{ƺO'QY7Vwtn)7O6@z.l)w6XVqD^+YD*MB$,Fž×mԬa{;FBX}k{H2e'f^l;6@SXp$yx Xi `\YSCT .k@@?ER2xzͽV'Oa;lb "51n_TDjqۙDݣ~vVakmPB4:qNa$T=-" xS6v{vk]Ef.-QlMiUyt\YizgB4r'LuFRE7%OKsyU!4ML[Eˮb)gZ0 RQ(`0q'Ӝ'9B!lyw\~cc2?Zk; ko{tR H ߤsB_Aq^O G8_, e@z %哓B,'eb\#v,f,dwN.qfښQWcظ)><\ Hx0.!kvXt г+EˋTapWV5V ``c Q$҉y E4o%qP?!z~~~;<2eͲ7 IJ6Ļ0ZkZ6ϙ?m ս鿓|o7T>~,WA6zrse͈> .BS|OP~q۪xk`zl#pF 2@fǫ6j\ů\ J`ZGց_v +mgMc6˷R8s'zWCR^ysoc x ¾vm8Q4ou'.;}M) vZ^si4@oc5tOC 7>AyCϠHR\/MA9 }'f=mvG-bnlSi 1>.dȆ/jPzC*Ò^3_ cCh`VlaOQ)K g:9 OBS)N V7iGbz |˾Fk}Wޕu?LC%~~n5Xl)'RMs~$u_J_"Ab-& `=-RYMt"-X*,"6w 5A2nݴPȏ;/). g҇^Od|3&PY4WN(sQ:#1ﰓJjG jjS}&4G2`t a_Ce#0:Ԧw)I oFl"b4s_^j~?Dzr,v^dOkYVX|zb-̥V4eZ[%\ #y*A; uVa8y™@q "Zא`xjNrczb]˞P >N7:MdWmC /\0{dSuQE5`7ub[{j'5{ZD~۷X?N/-)'ZV-CnM\,10βrpF2*ˁj[ TS:^i:mZw5;g>M Aqa8NI)3Yx[k/X&ht%mv4PP@vWTWbivzϾ~> ,gQ#cwHppGZ3S]\6ZTu}7=6Op7n7/QԅTnk=+p>u\FVV$yHO2rՈF>8X6|TLNG~'oւy&4@ Z܎^2'k*O_oo0,\c(jw/ uNL=2AL-y`k `jC2kfQ$h;:^08[0Vibϋ侼fQIUdvcJIl9뱱6(!!8>V2z8cqWmN%0IvX#C CwQQľxJKpvF>I+pv}o1L8kx ?WhJ{(.l[w'N%'lORH d[Eůj(̕}Šhp>`?m6N\L ,ޛ}(2d,#oNUi=t-(JȶJ ?BNHYq$͍obJAVP}7QܛTp=:-zul5,6t7:*%bb18QjַtrzOnն~snOdYO߫g51Q6-W9 &2//+dSH:S/aKn Ɩ艵D?k'jϊڹ/˓j^cHwcvL=s0w.S#Á|+I%hA)DZ5S*A W}O"ńɸGd-4eִ Q?{MρENIr3 jr37. v&ۄ dU?ecFAK8(=XPf)M)Y>_kyML٬lmbNqR;ׂONןB6 ]_(&w[ ܠW>Up"oڅ9lħ}/E#F  4r ڐi-r:w+V߷䵞}Ɔ7 {vlw-D:R)dѾ:Cjw yDC+c3e5_%tVRU/q:Pcm>.}(ַ$s=Qj(9x=qZ1 /\¼C