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 U<| m Buildings:threads=2elapsed=150.462cpu=245.936gc=4.972factor=1.637zXZִF! y ]ŗXf1-/6vRZkO* 94[cS"^ˣ6ȥrʈͿPd5%xiHx!*D#4#YIvcivVutvOr&AxDVgGGضu搹y;3v@BUg"'N;BD)=nzNxhU *;5 ~fM&ZP2[:/!^νK*B{cGbH]z m #d'&c?|~D,BN(w0|Ɩ+PXZ>9.@>_(Tn]`0bleZqX? @2WNL@tr4([C.wjSYF'>&Fr0O( 6"=k>a&#! I\Vk"[xF؛9 n6m!|dq-dU}U%-W,rjr-=C퇆$LjGC Wħ/au`a_RTv/T 5iUKv92R3 vƝz]ع5gTd M:}.uln tXɗ)!9Q:ތؾ!ZͰcR"y ;ӀeGπ[c ~~v*mmuJaX'OrQ^in܃XYJFɧ]Y[~)rqf^A`.Hy'qD%t4\ ),퐷`Tyy4r4sv^GţȴZcWL}q9q0 q ѸOKU ΃G]P3 %^`bN=eKSX o*,`YU`$w7R-C^&GFm5؊EgOnqДKM(>éސVl{n yuWJm :bt\m 6x!T CWm,](t k'z?%KRM)J"aj)iXѼ}Sx0F[/R2%w(p*k{OE7W.j MD hZ8@?$Nz0-[2ZB~MC!vOmjK e TM) N㛒G*ϑN1PHΛH=_%0?ʜ?Vgs/Q9hwz?B%.! -s8hp:93daP<r@\* Ud̜ gg`})T m@Vn ïgb%druu\dBdE&;+I)jr#ÊAS?p7nΌ;@&|@ 5i{~*ѠŐJC9⯃PCd Ź67JUyE-1؍` ȔQ_-9s-a 67{؁ =ǐ@><wިHZR7pCr@AD*bV~&߄}ׂ(F$,KCwb q[ )q3$ ٛ{n7e:V%p^;DZgYZ7zXZִF! ru]ŗXi%6y20UjjjmnXV3*a]ʻP i4]ޑ«ZET[+&pP8(ݩeJ%גiIȓ;o 3}dx(   Buildings0{f=UҌ1Qt CEVu{j@(QRZΫ[zl^u ZpㆱS r0)d&77}d*|^2BM2Yjyk`Lb2QUg֯8R2/Mzs+f!cDw]rʹSyG,X Sq,=6MBtr&I?7A}.k,uio<\9*JF ;;m0\(iC^rOtں=uz! \+kGrH)VG"AtY2,Vp%p$Zzpar_X۵ª~( c 9e`:c8UKVebk Je5RN rM/5whj%M5וY#8 y_RoXyUosX#7RPp1;Y[OC0ܙ(o:cZշG ܵIV ˌyCW\G'U(SUb-:qTI%?[ /PT'#Ŀ؂&={r2Jx0bۄ)h)m2dU`L%1x+c ܪ. N6K6}`z0\?&8iK6ٵSf;Ze. Z@X?p$Gy 4c׾` #3=QSȯ5Ru{ϷgDyU{fŸ!)U2'q/_ z^"e] &PǞT[T71P4jdwoĞ™7sZ<)Og HPnfZ5Vy>,(TD2 S/Ɋ0]e'>q]F['炿"ad,c{(1IF44.R4nxŗY41!?^ƺʘN+}r FbFѐ ?M /$g\s D2є!ټuY+a(yY۫TN~~~>D)!#ErS"^FJ?A?ݥ8!3=<+`m i<4`% 73y.;!K: cu.[uk9ϕi. i(6V3hvg]e2t&ql`5W\6KӦDC"[Kɋi"|QX 2.F"h6,FHh۲]b(i9ywDTh;:C_"| G٬jK[Ī"T'/~WnPg|YIbC{^6s'Q JW J3Mۮ.šqt=N+2x`s Găyh")م?՜r4gf1k03sFgW j± bxti|[oR|D]vTgh)k93q ŏh'V󪋘Q׸(Ĕ ^0$xpbrXL;7,͝{\y0:fsA&E hV[€$wTjISt7b ÙY ө(ׇj1nk=TfR᳟}"b!` ށaǹK 1{ؤx_yٞ`mme^p%A:<0)J3AV˝@t1'\Wۤi ?դwzE\*bXcI1.0Rm"~h mӉJ؃FB/;KHu}"m.YrWy k:ϐq]^70l@<2bnc zH=W( qj96'ѭ*Qzw{?z1-N-d&.$eN߳)rA#=k4iK2Fjf5I#gI9\dV#mXetx^#48H 1^TcVi3sEQs,_^]h Fx)@ju 6mq8Fo1|j O:yM rah>'fj?!8ɒa* &Gߪ]H]{󌌋hlJ7|N -n 4&g2K'XRd3-eU;j.Oٹ\6Ju;ZHCJF}K04LQUf,mSBajdL.'m60!HO>םZT[5LـgUTak謊tJyyå 筆}rE‡VG(mQ10uCtǏxgPkJ)0^#vKADHa<4`( DAT)-f2ɯUՆKH4 öAQ63Uy>s #$4uT)^Y4jlĄ?'}l_αNaqQeܑ\ۣ!)Q&Km@D<(: ˜KdYUP}=56s4n=A9h1Z; }p:598,EʱꣂD! w e0"ž@t)Է.=HviL}P lK_ߣK-mgxE5Xf5oQ;=#Q*6dit59ʂ'a]͐‡!OF~&#Ji6ْiM:7A.@5ArQikJWb)`tb TƼxKpU1F֍7v1D0Xctc̏Bpm7N!Hv9wgF;JQͦqS AsqǞmZ|6g"QSG=dyRƝpNs\ V\#%6wWPU5O*$4mƧ̥GюCi&H .vd!#ޑC׍k戚ؼ'Du*UX,c3fsu6^abL]T @R@WjnG4|u}w5zd=Թ!Synr6(qY1g@2x3t*D];Rhiiuxq¢# 1Zslf^NK.yG9,Sn=j 6ÜW8ZNjV*cpJQE<B~5 J}e˥j]r1AT1KDSX]0U(>Koأ~NݖCxnE}8z/},oRÓOq6r5S1Gj{ $cw{- NdWmWtpvZ Xi)PN&kiS%HZ%qgXG,7Sb@`7&F>{mC'O*ȧvP v݇)Cq]Tr3ŏr A¯Q(M| V}n >ܒIvGr