SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info v-d I% AutoFocus-Stream:threads=2elapsed=81.811cpu=145.056gc=2.456factor=1.777zXZִF! ]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2)Z@ldc6?i,pHVPXz-K95ٕU Eee䓀 Ͼ3@p'g>kZ\iKe>(D2 \vL%h|grާϊ~hEN+5cM=<#j4aZoӺ ̊ˮۥ;cKTյ9oSr`!qlKZ[g6SPW%Oջ_!DD-B ?^ij1 Pr+Id@& A7TφʾޓH~U-mEU)Fk8 3.Q [+-~aZQo;L*b`" R l׾{%zAG $؆kQ@ Xt-mؘ5̏sd=`h=Z< nʽI3'=To1#`yOlv@}{ - AutoFocus-Stream]ȯ䖨NI`@<٨Nd58Yga8>8 @mQpwZAj~T-8#& Y&k~,!Ȫss*4V$^y=,ubnqK>a}@ <RGAcPukK]DQІ ⎁9[2jʄCVhaof^W1 H]yI~9V M eu_cNL{ָ|1)'Y֞xXȉ<\ .'Ā-7yU J7+x櫈*cB$\:ǓYf lG?[^) N]k#k,c#?1?76vnuO8\?nފqۍDp^ɫN4K$RCW&wv )x6XrF>;^>FY 8FnnD!J*;_+KjSYhF]@Æzü{9i `=ɱx&za*QT0!7 T.dX}Z'_Jg1{zpck̶oCqSyӴ˖/4T e7oc2AbWs/dPm?s!ckIEId[tNZ%'Pt]::mDH#8"k1\EFߺX# ay0X08҉b:uD /@=:כ:b߁a5xϏ#!XNDZl?8#Þ์qٜ"+(I y#jjfN(RՍ6բ"kk۴3S U 4"@a#i|tܲ Et*VwQ:}ϞhB.o^dA'KaӰt/ȝBY( /:  /$as4k`e!y) tS@Q 6Dė!k,\}x `ͫXod =$Ժ2KYhħpO6g [?$s5Аu1 ߂(Ԛ5*C mm*q7Џ=+~[ oC߆QWj+8mxDG3Ǝwt:qLE{^'iuE x+ïtQM![=tjx Yw33DFVGS3|3څGOݯ67rn)R~y` Ydu ~;Xz))|$ NʑӕÐ{Σ@ l=O=p ? glM/zy$ؽLpx-f^܏Zc3>]V/}$cնb!Q1*`aNfЀb^*M{AY8$"[i6X ^K/AO4f1u-(d(dh)H83J-plcFD8Oƣک*JFkL Fvࢷ!a`vߖ]]l+|Gsii;f%(QNi0sDӇ u`|B{wXĔ7C:{p1=O\c  9ѱFS&# etgK=/Щ(j=մI' !hC9d,Bi5]z6ʗ,61;e}YKz{~Uo TYDpS[N,@i]M}lχK 2cJ5 S 0)kj qyBrP$W60ڷǂO1(.K޸7omft97-^?)q9f!%^ +IĚ)_d<4|mI۞yυn>;T߻%MBp( 0 g GE#Ghf,iK@{V"d{< C6bHο E%=Q%׵D5W$?XWRA?~n·bi(C9GQ ^PZ lIB`qi- E֘RêD&6ZY}.1˵w~j8w3]2&LTZwȁYwȠ]*?hys(u9mP[:HuA#]/\qwt6[ Pm8Jg=,\CzoCDF̨_DN<ف1q*Fv/nn-Qfqt])z#{RR_$f~Qk81n?ũT1+vTt;;?O%^.;""7<Ɏܨy$FՓ~B1̦Yv?~bi;9!Y47Dtt+7Pxh]yg>.4 %ҍɎQjʤSJ&}h;/DE7,n)b# 8|T*'w=<(r ~ʆ6)8ˠt~Tճ>lCUYp1=~mةf m 6y"ė9yM׸sqI'pM+QQ?mQti}z]0,"`h39uX# '#.7"n_g_C:k6}0sh\@~Pf^ʦ!i<'J4sA= &3GNPmP0r:)ɶ66y 6TKy%8w 1=fc|ܯE(;w^pw:^i ` S&OHO 9D[,*qd n^YZ'ew#1}nzSO8YmΊAv*7%8hu+M 9 (Tqq"T64Qw"+}y 7A\h%~MNlTIP4 Zv.QLY'.- h~u TFOY ZG[QgLK`eR*d=$C>0>ň"Z\iڥ&aM :췏sVKE0t()* kQ*&_%fo)f@Uud ayT|| [w]*&atD>E>L|Dx\Q\M$L#m{:*o2602kmC1*iEXӡ2Ȑ֛f?IrN&6͉\hgkGބ?B~_|k@'\1RƈkkĠQ+7]zF6QFЍQ]q)~i γ!OSY@#a*htWs$*I=ٞih~2$vrJG#XJ@&#`/X9&XyD1öҤ,rPfcuRnDNdr `etrZcVߡS})5=\v6%/`gX(2{#|?&1pr7s2,2@!%HΏ؆Bѐ_bo4V; vq-pϻR?jmDv3 tLź=3wi**j<[xv`~(uFϓre U7/,/D_Ro}BR#^q<~~p\7)Fg{7`P  lJ~.X?՗W*S{ wQȹ1 2nW(h6"b93hK!0~_)WKl8d1M~Q'"6!HZGII<+B4..S\S!5+Ѷ ^_+sPmi2YX.Ft5 +Gx՛~(o6u(ݟbɇ9w9orauf1q%[m#ҷC o&d]S UܩVONU#ҡLg낅 |*lh#x(Be/=Bu\r6Dk˓%^`1Z!H'rtp c8 X)c&$80Lvp+b8/<XBǔEhRT1θUf/È ({fUoSo:H[Fc8 |@m#;~ez;w&9d'>L-L$|lfJ ,&$S銣˓[ySCzr'¢!-#DxRb*nCpgl |.`_.+c䅶0wSc nE q^FsUw-R[A jNBk{ Dl;6rTkRI CRëq3C2b tQGq\/xd䶝Vא~5YE) |n0]s,MhlwMUSD;YVmNTza[ߝ4A%KT2Hw428! CȹRvKap=ī ĖH:Y(GI}y":i}SLt7p8|y:JA46H*O808D\UgSL]Y"pS-zL3T[jPpCt!ĭ X~%fq#/28"#c9ӡRh<`.a kN0Fd|[oe Y}މ=ǏX bglks)ƪk@]jod; 2IJ >#kC;01ږc E%3H+*0= 5FaF bR,yc|يّŪ|Pq{Mm^9feoS?}ߟ"g7dLe29PQ@@9mH! T'$)JN傆ږ=)𾄖j*l!~"I7\l QfRwU}5kG\ $-LfcM1وv,Uo1>t7x~qVm3G,̄hmh l@" Ǿš҉ajK!+3ȴ7tx/]G.4d% X<."cjfut+ΞCf -Y _)y`J,<#.#v.U]DPҥl'<4# e ?-y_ZВVIhqʛ!Ԧ<b|QK&ٕv_ۑN$L`r/D]&ϗpPD:s'@1\k>4'I''E >wl5(gN/BݥçUI 9sC/osR&()MM GDZ=lC8PjMDw'^$RMڃf(O?e;˯GہgLiPlw51lw{%nE1Ӆ&ӡ"1 %x>ȭ8XIt'7>;\. 3O5דFtx(xEӱ|@dҵfj#8SW WBIxϿߛ?ka-6ñ|!`\[<rwW([DZb!'F4"M}'NtC^$ɂ.ٟՠW.K'A/1i]yq"0ybz^12[*?»(2riM 243AOhTjɦ:Ok"n,m}֘T/8tH/ @t٪g'9]iA8xw&wV fc^;EʑN9{QllCh"%@se܄g9M:BШ4'CLt7/R4A%> U3ڏ0\g;A 4Q5 /Ϝ0/s! jA-*=^ eNE#}{{֑H~þ㻎^ޗ*%xV@64)Qz1C.E0TEe5K$4>)db=9UsEETO(Y`}<Ę~\IUnL֙؋X`7xSX'<:e$Ph`Eҭ8(O5 ( UOwwIL( '"Ut7s7 U,[[wN՛kgr#'b[L~$ʻh9fղ]op4T? _6f zG.Dlu>p*)>õ;L]5A=qj'9>64+e,""͗ߓh;lڙ|%dmR&*㻗"W11DMzģub;B~j+|[ fd(Y$T`)hOނ-xvʋC8wXTiڃeEax?'wzay0Ti]ʲf>>0r`#'AN44?L)BڡG2(`=j,!:@+hN_l7XK3O(,'\GEP qD)f4O3YeQ7NC"r C(ww73'8۳rpN4Zν!k$Eiu;=Ay5?? h==-6|}d&0]JgQYX{`-BHUh[nP4Z_֪ 7O %O@Fmn HPKM0 Y OZJt|5揘x m+) dnYV⤶~1d~IHj43'y#ԓjD8UOhv5p'B!o4U}3)8</g݊W#X.Ydƭ0a@8p`c^fw8;n`DT =h 5sܞn0nz;K+L%`^!S[qSzn!╰ d0 7%o1bKg'6Tq[RS4Y\uuFqw8`z3c Eτ?yr.>MP`7 uS8$@X4//\u\!YCBDJ ǁB SGwR&]# ]$SRYIHjv'|>N"78C\aٴLfn%D^oX{y8eT6UE dt Vz`>CW`v}/WHL4B1@2M蹧#8݂$$?" PqB[zfil):q.7Ȩy˶{Ia5?`2`-ޕT0)t[n* ~(? әR3`TH"mg8!9h%)u,i' p\F}-G]@\cl|0U3Ѳ?ko]VjMFH%@Q>D\I޳S*5ocZ%d*~,Η)nêYgYZ131e43cfecd9e446da72becb278b2ea7c436f6b4 1b80d85ed736bf07dd657ffbedd75fa04c61d7ce 296c07736a2eb76dcfce8bf32a68975a73f1d0d3 3c40b84801f079babcb203bdb62bbc97575716f6 633b88c080681c6712c9f7cab4483e8cad1b4727 664f0d125a0e34e4d1c3e926b5624b05989e4c01 a4ea0b102b5a3f7037347fe0a92c125d8107c9a38c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a cad272fcccf5e35ef79fba9c94f8f50e4d93c650 37f436e6f5821451bec16816c5f445a443c9d12b