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 MM T ; pGCL:threads=2elapsed=37.497cpu=74.096gc=2.192factor=1.987zXZִF! HDz]ŗXf1-/6vR]u6bk;_ؗjT>|={@  pGCLR ❓U|8ߍז ?f ye*xT,P4g("9S9Zƣfj7m*u6[-< 7r~mXiXI_{ܳ`gOoEl长CR8D-D.l|/=1髓nX֡]Ь=?cݥG2kz@֭. k|?N8J Oܼdl}k3 WzY1/3PC-_>xv z0>+ܩO&Dm^ 7 Bɮ^S"fQ g_# c ֩k7pIG6dBbe_eVdlQ 9:m?,dzNMR!@Gѿ޾tL L{<1E,90 B埈ʓ| ! GQޠ0场t[j8!)%h,=n 7{d2(I b|l7s@PWS{[1\0o/Ͳ< ^i_OC7ff&(Y0Y/"~~%/иB5@Λˈ/ z=H?r!7޲ݩ*ɗ [讲*ET`]C;%HWdptE{NRtuoƈ;Ŕie  1*#*Z4_RcxA,dޙC3^^ø)eqCQ+7L|Y 4,dg\a$:-twA-"s:2`eO}B?I4iH#L`Q,ShNk~-E_÷lPUwYwEhs2}+Sxz<%cO O#K@Dge^ni{i; Ueَ#11Kx.6㊝$/{mI1Ѭm"Ϛ?Gs>Q zs𦯚9 &3[ {V*k VXtR)h)ykwdi(ޢpčGT|zKqJ0/ ^6ϧ|2BkYKW7`?*2"Q>KX p e81, Mϫ@Rr>4C:V3B֣P$g]{ 0rq)@̦[yDqZ-;=62:JQ(5lTw?ntDs" góR&rgE륆?oj Ũuqly#T̾;F{t8t};a4sD U! MFSPW_WL|fu醑oH]L! 7G{t-2 ֵ=mw\^n?p#ڠ _p_uLDQW O%5t:r0_IKfezarq!Vʊ v ^}&5Fd#%$d*+fuس*4q?àQ9B`m rd#'Id_)״71,1L} /2#F;l '挷ͅzs"'Dvgl7BCy P`(k9X)pHL%UJIJJW/o>DOt`z߅(_q]:9dѝ3帲r-{Sb{4;`;ɪnds~|}kP؉ElƤ, EQ~zUM2 h\ y@D?U/>.@뜝[)c&%@jqJqiTZHQEn7&*' oW/esֹ#! R*7JF&/ Gx' !i|e܇^҈\+&7~ht:N[5?Nj)y8|ipb^?@TХƔ_C,h`"n a>^5#q; $y`t{<l ]Ni{ ~PCU6RM!qi9/ӗlJôwzd `j' Elٳ^Ęn;dʖ={a[Y v!7Zv8J]D#JYÓ֔*?Gi /;Lz`xJذMD]]Kb^pN{b;Cz2 -]"ў†wqT}N-l M, ؋hJ[%*þ$gH8f|Y}X^rtߋyuK*ze~| x8СIuoN(jf%d{. .,q :< LSٟK_b`RB ?;RI UR^kKbM]ʢZ-ͣA43ckPvݠk04`xlk||0ʥK ƕIɝW) ׇ&0Ңa.y{Kpbm&-nT(~. s[[{ F0-ʆ?{X.Ee(WV=:Q w|T!օrE,+z+YV/L7'8a cUqsAɏ$7 IUh] J%n؈ѣ̫,T s25ȝ yg)^*=1(mDZ ݷ4AovqQRy. n=FRsP5& 4Fa')?]c2 y~%|E=#f@:XVP aƥZm'Fcfg&K&[ RpIk{( wt i.0~ XN c^$sD r<&SV% (^]PBַ3fF6IqjRUtth Ks&":0- Bpk˩f@me.z&x.'zKVAƚIz-$_4Q,MU_$A؇T" S^2ir`=G?=ΡC}zX/UF&=5p'<ՔT'>0Sh8h3xXwG(_,=-H(LW BXlBZ;[L sU0U(_G/,e N$"]!:Ӂ YmXB\)ApOv *Ϸ%}491W>n3+0AG{ã8!Q֞n}OK:BnAW!]6N*W}%6Mk z(#_H#: &ӘHV-R}Zzp> u>T M|GALlgdD'.*/mWqHR*z8eބ:Ey#5_5m+VnHb9A]f4A lT%f4PS/ |l D/zP&xnR EbbFO֪$V>F}6kZvY)Ҿ?}ʕRP=& `w8P!c>}HF?!l^$N#QqDl77 nrBT?/Nk܌6Nm[SǼ ~yOE0 NOR|J$m>.@*@?+#ct'y5"G@?FxFZ맺jUld5KD]%Pvkm85Ame'e.YJ+uJm/v޹}㲃7\sh0Q⮻XiXa'`Dp9ۍ(JĹW$̫ŵV_^[B2&̕$Yr nT:+ 3ŐT/gYZ7zXZִF! ]ŗXi%DQ&pGG!?u93]sӆe@Td( 9k/D24YHXJ@pקe~,>vLAF4uoNy&ո(s<-2Ozk[_apy^]5M}#bPg{ n(q kÝzVp~ 0W@"?=x:CEMl :@) Gz9}M{6OS0O`6}0R%O9AK䉇1=;JSCmڀ9sK+M}}?׻sJ=̓nlE*%t;K]eLr5` =3ųs8R"PE%~ 2?JC3bۢ]ryRgm} >*m e2\H7MϚPvχH/jARDirRXbWP[LS=0kGvsRbzeXx]?{=[޲.NotϪ 1p!qB:*tWD ۨՉB9W^xBWRc:BmmQ QTۑGc b9r2m%D1ZnLgV<'V7UP8qCt)͐!BS8}:n41\1Y SMߓǷ.ցB'r:qځt쏮ɒKw8߅Ubh)\Bq#nJVCx{pػ" "X.@u>]V/ KM^<9=pƘ6BImQkj>#=[%٩%rB&eԂIvY=OxDI\2׉1I1k[f&, jfKgԽj1&R7Rثrǰs\4k{ᨾ"2?x9K {eMvyp,3\|ThQ'"p&f?u3~B[XF/kch-0,oN Hjn_“e4a|VUfzYY 5fRPgy9 A"&aD܍.aDZӅ+riK-4!:֝8t1q䮨؇q]S*n;X2@T.A6; HOʮF_\\B tP(䒻G'!oUӝNb_XR ca[d7<wDLMl0 V% *`ix):ƿ__RΩ)@Gm~XϵԎx=e)TAmBZᱬ_0дN)o.2̕ɿEb AH"?}=4;@M\|G5fUк:#QNJo8%3^O- ^,i#+*;O͕`$)Twv.r3y9րThyhc*\ |ߵ ڙS&>4HBsu̱ PH@0I͡V4EQd )@ "{Boam"^u^VS+SͷIY)u.*FnMQHJ rV$ܡOI\=eL't{*m bSV.'ouj/~z<͌|zlE<Bc滚̣`7؛wmBobBxc&4J/ ѵLn4=+E=~JvaW/Xe[jdJ}Ēp6 Op&|ZU\^= ϐX-r{Zpc鿛%wPzę qxYԭd8ߎ