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 << -\T m]CAVA_buildchain3:threads=2elapsed=177.840cpu=283.716gc=13.956factor=1.607zXZִF! qf]ŗXf1-q恈͐7ӺV 1VbkEڄvJjb:SiN35Mim}XX^JM I6e J[Jب|Y i=70. h5jJ%Ї\j_|-4P(-a,}t)þ?Eg#w[ĐT$Y[\T"G< AE k> o8B$ľPӶfNqwla+c@+1}d7.Zq4P ^V_bM]TH t^ڵ1҃%Z  Iď41k*(|xdԷu,=R:X)p#Fu&ʠvzٜUate)ͣ%A90GS +*`^m_um˛ ~YuW]8H7h;,tOW&T3^Ɉ `Z䕠~)aS7m+gs phn("Cfǭ yב{N@@ r476Sjh eh4m>m<Lt` #q(#C$m> 'c/|b̕CӴHZH&H^a ]ͶP#ڷP~ z(4*'hl(s/蒙yпtg@ozG4AFm.yT!(ˢ?,+ >uߜ^2vpA\9r"B*z)ܙ\^ Ĭi/:lbFųs,tpÞiCmB7-˿ `#Cۛ?c9$Q1jb~y[WLRit%;'XcS_Rwuνx2&t<F2y`r+J0EDﰺo.(Bk7RhYZcMȮeۇήPiip' ߳s!/ zTe9lu>nl/`e\aQR[&Jc;[{%W蛫&O]<,J@Zn;e[z Lyeuv G-'8b\(!mqdlz YRKdDrM?f6ZB99ᩘńk.U 8"Bό+_m+?!cv<Bv>srFvH}zx\_n,xH=irƕJ-`qL7 _+1H3()y21~V{GP-H<ƪ3dΏܻ f>k׭>FpOY2N>]!ۯW҇7GNBӬ, NSVD q⑺&]̸4y?D(k Oc3}/;kmfeG̃j@՗Fi/tyԇ&`ƏZ$aN>4]ғ ܹag0 E h,{IZF]d%PqWqM Y0?;ў T%$ ۺoU]H@Wxӈ'2sZOEFƶOm;hx8{%u3+\ QxFa#KzO ם+*G3,X>Jσ*b[ATxdFfT0b%|ݒ.ܖ88 T]B W vF,D-^ 5vW /\.I]JUjhG[!Ȝm?\g{ߘ7eLAhBY;@fu`g5!vI(;R0Tn]9P/_m. & 4[ JC*a೿^ _bo--TlF.=慥s!/: \݋-$ήx]u579o{wcAȀ w(W>9kR(&̬)x_&^j,mHbԚe^):KfH 1_> o CHCjLYhT@V&tAwZ0 qRt#+acz3=Ч vAWSadq64c6O~ in] Һ[Kc p?PEB5v,9T/ߧ#Jά Ly(HC3]QKQS|[A?rCC$@Wao^JWog(U0 7F@ ])TT.Åjz‡2bl8%'M`z{&zp0[Qi98ڨdRMj"@L{삞f^{f+goc C/ ` |k>٬V@3 בz\*E#)5WtЅWZ&lZ@Z !Vt>Gx!C33H8BQC GpX?fJj:vj <ˤ5|=9vNi!`ܸw ):"`5qx'nѤLm׺]֠؟{tRF,|$yh@]" lt13xk-5§)Zt~}߀2hfRb1bLpɑБo!5gYZ7zXZִF! '!]ŗXi%DQ=&jT Qccӱ+k'WqjKe훐PZJ+(+} d E0H$K).'~2ul8`o_p\ΡЂpvtE *؁jp\!q$sq..u&X"0˛a]sBmwAFE~kyd=7"gnme< [hS.>5VHB=r~z^#"k8JlԳ6P:t-.a@# R1ăXSw* 1ɹ.`H /!f:i_+%m^ iڡzm\ir8SK4ݹCŻUJcKC]Y<r4Qr#!^1ZyZ]Jbfމe}Gl394SFdeGfN:\2y!cvH&D#wdmERCwwnاr`m^O劭'-샢WK ~1^A~ୟ xpmJP+Z _FuUPfʙ\ }$7c.okR"Ӎ#he+(ridډ>.ze9G8Չ:.#G~-A߀pILM2`9x@:b M6# 6+Xņڅe>ңsm-9?odžlATÏMN0jI-識ׅ[寜\7J'HδxSXрz|fVNoZhb .Ef`!Rt'>>nP{&17h6i>>(T~^|u,p55o2e8bii/Lk"F3¢+T0x5dbx6Yf }֮S] d-++T9|^=WQ`@9=brYE!us$RYUaV4M,+ƿJ}Q`ر뭓ϭ€[r|hhj͔?-^BICNxWXN6YG`"n- H~yM@- sd&*"˘âԸϢ3UESv?+DHhp&;5Q0uE&*2jc,ՓPbtnF2Ⱦ۹$s"\3 ȤZl$_Of*Ъ:lȷ  OeT};&`Apk̝ds0~_zs9Zõ#?GNbqrC [DhlOhȴr@zEmu 3; MoE/f\H"y?|w~KxfMw?O=ed-n.g9F%qwUV:  tЉEx]%#g>a[XC~# +kO:U,2}ԳA'$ l}Sv%MJ[mo& 3TA\L|sw#/Vɐ., F\G,ͧY r 2g+-5l&9\7~E5Q{ WܓTE"~LОf6*(e4JٚO\Q /&f$w5?+?:)"z ŷhRo:b+ ZO2j2eHu56N0Z͜!v[WDy1߬kq4~OpbiDTQp߳@;QS_hma/2eD |9tޭnō"~'F虇8#s폐 >_%$يǘv5ssb$bNH&lr?7l,ԍa ΀V@ PmH a8npݑZ,@w͝#^]9HK_lު +Q8N2@w1e*GfXDJ)00~pzě3oj)N73>wN)stBzh'tJ[ s2?HIW?"X12/&Xٷs.+iA(#gHKMh;jT.S A, C7c ֚[t8CvXɊ&Z,sgq:ُRR#/@B'/rR)F! {I_žՄ4~~gPe9b #F-I/t@0z D=G7{{+&cEi1cI R+넩ےp5CT FwVvO:'!ڢ >g1ۈ |E;};#7]R %%= lEБoe C c˕z!'@SDm6`j^ DgL8pM+"BTFnT6 ϷvnB*睘%Úi w:W@ ]֫i\X+0k 7~N@^:q GT_Q:\mHmKH*.̇'30?un Vxdlk>=9VkG-)R;ߢLYH_H 3G$< .u$ $az\Q;9IlѠJO>Oet-<<:uⷳ.g&I:U"-%m0k^c  \2·cZD3!o؝*(Fb$`l?i31| m|a')KF4էb,+iIv7^'Y(w|7 #Y ̗RWJCh=т@zԐ"3EtV=.LA3@B I<,Qu1mtmR']AᄉpZÿ#}wH+GD} sh$ rt<+S02%|ck=[ԣDvxG)T|RK7PA8W,OeE{A6yk{g q9x[]_tf-ݘ@{ɋ^sOa m@HFoKQɃ/E%\r/am:o5?'ÁUx|kgFS7McMPn|!zQ]J}S <%X#I&^{e rASW-? FL6t?9z)ލ"A<&{r5uE%f - [U*PצR NGz!ofIqٰ?oFЋO?db6ޏ\`_"Ov߬K0rHqF.ox=c-~tRDv]@N Ҙ5/Dj1*CWX?5 -qwS&b@>W#]O2b Ϟ}QڮXQk'V|Ta;KJ$;qu[SoDd8A0D߉ݖ>ǯA4KA|*bT /K-0+h;/A;Fg69b@nh~4-QF8 PJ@3. ik7:hU5 ԉY5h.@f?U{m"JSgkf<A 94ً%r3=k ůH5P5PMavv#W7Uccs] .tE P2 jE{kb#ގaZH|beig^4_|t muQIa O}` ?c"irNJm\0 ;\dUP y/܌48_`!{X{tԣn:P-eZ{S$4_F$I"&᳟K-\8٩!E]L-y:n& i5t|JjHMnJ>%QX]7+k|:v@ $g0=>GE[+x3 ϹtoM=;0|_٨8kIBn׽xiP/-It9(=  2ピ^t0x-#Mϡ}a|JdYEPcu$)8no9oڧitgI t.5(|l$ ]A7-8ݷAntu/N-,}5y1zvDQB EYMI;T%TDq<[oG€PNN%Ku8؆d QgƓW'`~H}R]lEަvYnKHuf0n.Z` k ~me~\w{Va(*ZCŵr-X6i!wu6 N|aڊtC[ 5_OMNa rC8 d6vq֤Z>eo];A6^~!1\YxTŠR=Cqv _N6#ejhFnjlv|~9ey-vX2=Q̴,. BOx{/+읷!;U13T A'pܟ1v khB5r 1yDh\PaUVE'SaF_HV0T>&xv'"|'v0i:Kttϛ\n/T~eՊՂ+#a^i t}R@HT|?o_ea;r9dUE3ĸv$A('4e\/Snj(iPXuɍ{z1}g]mRg&z6Io]̬‘Y4B)}.8!\gZɰ2EYKoR0`G`mMx/ ,a ʗItZPedYb U 9oz M bӫK5֯Lr=HL/ıDF=mρX\,Lqwf6)r|(v3h?# ,|~W+WL .F7)kҲ?Mn(m:` $ KkuJ5n!{vi=