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  N'\ 'w Markov_Models:threads=2elapsed=143.456cpu=256.676gc=12.276factor=1.797zXZִF! &]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6j8F6F=BIStR9f *ȏwV)FY*^Rx&,U7_  ]LYt7\^3TH0PEֿA))pQܫbJ#S~Si*AHO/X};iaQ?l)}_-d5L\g%ۜ= +|"_`3itؕnohS]3  -2s}?kkǃSŐ7V+5ojD4)b%0 l%f?Xvܳ"梱k{ب7慶f9EB+7U?1sxX7sm+?Ȋ$e!PSTfWEKNѽz8SA+W4^+>~ǣ+dLKGSh׳|•ase+gy 0s_Ec?YW-ؚ+,9Sf7ALL߿YCFn;m3m"oK,eʦ3^Ue7jR9M^>e'GV̔mq]jȥfbѩ8+0m?F{]cW0His {yzO!+>+ϷX[jʑ}\ Q#tai;LE5^}3lpd eI̯vHeo2qeT (z#*V΅9쩏*IUv˖)UjB@~m@5<|/9FWjb>kd[z#pd xmۢ!䘹+MXu~AmoJ6IjjDLأ-v61p ' Markov_Models*~xԪ!/e0 B+)f -n,w0OS,#4ٗƽGѵ Z0̍Qkql rNx̺ U1j'n006dgPvEO[;<Lvf/"c%2 L96 ~ _|q2ͥBUuz;>*m@9jTT0 l@ޏ2PilQؓLVz$BKYpcAj_.HjuN 'Ѵk`cPYJjoaY{$7~TNVk Pw/"4CҼ%_% CkJUqPGv)Ůȷ.9deySۓxdf(|02*܄IJED=b3Ճ:W ''tzܗ.e VOW%YNn3nYu0(Y; @֖+# %O;ωZHgGDKt$}8+dA,YAf5bB f!sb>(k3JNA!1*J0Jyi :Wgk*aϋo$)şE:TΞ}s۞ rp2TMհ H1T 2S_,F KmKut8'Ňob%=D^^G8]k91[<yx 愮׸p}{KIJ}UԚֺVzVA` i-NA! 2Aai 3=W5B8da__wRL5UG$)QxOTOI $Ί/c(@])#pt4\Xnx<,'°{_6@B{hVobNNf@@+~ y#̈́tMȕ~~ɯW7*+;pE.ie ҽ+};AE@ @T{`&C,li>TAֲ)DAw/@CvTwUsyf#p0ld6%jt7 .nGr&ˢn>1弋vb+DH=?1BU%&*)2'h 8LO Ѥ0.;HA4/*hVT냘 p+>Dӵg*~K&M#G bS̛A"4\pRHCX&6LM1cV2SKN5Eh>y~o~eOPms9[OlH#Ș |m,U]׳0ENe "n>+DPinwIbjXHJ32@#TֱxU)Ȯt{RwɶO%'Ie<*"w  ~i)W*>}<5%OodGg&?ӣVoe+; .>1b%m{̧vӈ<\vr:2[PLe Lڪw`b2l8&F3.N;Z'­'ˀ#=ws,swᐚwt{ 'k*&8㸊OB%XDpԡDy2k17-m^l/`*UVc9.SV6 VϴChCš ;v?i6A;o$TlEɊd-X*Y];VHMϦܛ%fG,Ɏ:ppC%91+}DUw\pܮ%LŽٷ&Ѿ XbQo@وQ@달 lܿCv),Vx?҇a*s!Tf$.hNxvVA:@c@EUX*i.ABWЋt$]$.Vuk^$Zv>pFC+7% Rgg6Jv 4rZ͘ ޻oEu\ՌXiFB!}7|\eos _Z&腉~Ds FݺKRov,ʼ zQ 8ƕ 4؍>vecݚ _@Z3>p$q;MLn;z+Do2tqa캃@bYDjXܔfv X,w,Kns۩3!URDmD A+Ptݯ>i!3u][i/L0 kޤT!eg|e<Y>h .Il.&f#NSJTۇ]B$5Kj@kIt 5mqhuj!\^s~`j MРη\0z$mcOPS*B 5;/;Bۮ}-e}+EF^}@b^/2 8`2ZAЙ(E$UA a<(lHG,t;>p \)p{F_|O_R1R|/ٟ.Age`֎IbLf]VZY7$&j ;Z:";AٙĚ2H I[?`cJZmJ]e SVcpeG({`]E#F3mwO7|?GCNkPU9wE 5gjUn_vv |5#Wc Jx8`+Uy%ᯞYl`R>YG@9U)HZV5Ya`{݅K'x)m(@?G=" M&~Ò%_c DrTbL[z.}#>R<>A[n?ZOWuN}=!tnFH#HB.-s8K,_B{$5+ #fc-sj*ԅ7Қ R0j5f(>3)F%Ghfo_soP"Nml3"+Z^#he0j¬dv7b)ZE8(4pZ^g'xX T 3ʹ `\ΙUڣHs/6ߝHl3 1mqffr^ZO1sTZwBRY"`G(|ZԬ~8i zgZNRoՑIy7-gĘ38ez`r#knB oaFE+ Hbe§4 :O(M/f]ЪeZv].xObP@2C2لkKCk^Ss,{\;#y!kUlAx Udutsg0reݴxY~%E6@Oe]ze1 E=ZJhMk{){: a)X|)k![J{_tٳܩs`m҃c*F"o/ܣޏ5fur$ey4yn +EQZnom|HK ^T":C2oyh}9CH!M'F0|FƄ6ݿIĿpo@[_y!yO<_xM}tW+'?p(8UNME39tH$MbP- ;_#My>v9B5SoBw7t s/zuI&(庆~'6EU^ [tBי"U𗽩;h֯Rs:񼺗xzR"F@T+Uu O0aCb) fQY:QJ#fbC7x[8v::#=Z]5Kzjn\~RZʩ*aoȇhZB0*R4)jp/y nb?; N{+93='7I3 @[ XR蛼e !9]zGݍoViW(hlˢyBzgC%k>iU=K!up@|W2N dh|;N&{-\bq{ W*I~c"s\u)e `qJ ž/K%3b{}f#h7Ixz{߅zNT*]f!X_C[ On3(SrH O=\@6;S<DW–5q^Ot%`A@<;yԆ&ƥq`AaSrUUWNn~nUJ'>[&>t#5BsC c[_C2)i'xq.+@ kIvD<ߞ}c*2*G/]̨^Cv7S*b-pD̜LgdrgSöHdہ2Nqqv*H.?dKڹ$|Lg.r֋Q`u<˄zQP! {Nf`I5s\bO>G#> UwINs >Hd'~'>3ēNR*ٮx/dyL68nLgclZe5C-R` !tn.)R)$c-"taeU N[VW(|AT\hL-AB|.gWHH놵!fvj\SEkuW[zA(jO?SMƨ.}ØSDN:fvUZ95#Ƴa {'C"dYir#yʱb[3RTl}kO)-drvEs~.IS`IMm 9=USbEOxiX k-&W-cYs)~sٙԖ^gvh>!uի&DV7j4J0{bF=y#Lqʇ,A縦T;a)Jm{aCռHÞ&7bLk]LݻQz_sg`A%M` }|?2.l5ElĔ32X{ȲE!m+ ge~}#(đMgQD@zH޷4+f,: x$Dj232]zz0 vDV5 T Wj+X9H dsU3T| ޛDi}) / kq$`? :Y=j:ǃ2S$ ư)yKr09o 3O$$Dx=[,6zB2gv,0rtT .au.W9 :S_".A4m56dC@Nw+CT7>6:U}H;5~fc#+N5a,`A`R⃏byN$ ]&{c,'fr(RAFglgd:^> \6 u8vQo]#C`O$LZY0QYm6oѽDnHW +J>`H cc@%*/,,ϲ[))4pG1乥lI'G57֓35QДDԫ=<Ru{,,z*]U5qS2}!^ao7C 1! :]ymj=W"R5,vFjNkYn^[v9E9Nr d-5$-lwͫϰԢ%Sz<|[Kx^q |XVxb-6gӯvM^7dw@ۛͶ m}$qTz]BiJcLNkc)At߃t{xMkUqߧuL<rᰂz.7IdF5Rϼ@q7VPf,VzS-lmݹ8m|D|rR̜i)ެmQfϕDS&*!}}O)4u+m8_n8Z"LqZ@_8wg)8Cu<)VRI,C٨6=`ہ iyLELiR6Ng#5֘><35z7ЛxxOf!iu\dAӲE!9%NXkE4l?S骐H{AEC^ P#y:7Zxc~1IM П62iaUD9GyoN;kY,TEn5tJ Mno|7;LK_>x?3\`4ʰp|NZ ftЖ3G3>tƽnr ([<e^Wgb֝3ϼ^a ]SS. *[:KtG~cӶAٯgP+LpT,dsYA ZW>AN]{o$ ɯjWBW:1}pc1R|̋h&%II O1MO}XLS;^&^vT FWID9f ]Oh]zV y-=L -&Ѥ!f'@xTg ('&95&J_ipZ몢g}8Bej0=adyYjr(YB'`IvԱ S4jHA!:JC(IuW Z+|T8 A&2@` `.Ar=A C{㤵!ǿ\a0y\I_Cu$^x3xbGV;<ڎv$r,p5ئ Dէm?em#LDdR睄$c ufDZh* ,+يXNN_6|{N֡)ӌ^JkcIy_Acj Ap*@c4PAϧ?U%Q(fRFk|q +[v`AgZB|,Y^9%`RWWTܯ=9>;'5CFƋ14laM{7{wqt Dstha<5(:3nޝ +RfeL %Y}elN T uohAY7fpk![Y]-Lw E_sڔwT2E_\J uTROׯv߳K%"rOKK#/zj)@7R(ʼn>-?IQ%R"@"xy <ܨ=i]`2wE?5*71P!? ㊈