SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   fd  ] CoreC++:threads=2elapsed=210.098cpu=376.780gc=32.500factor=1.797zXZִF! MR]ŗXf1-/6vRZy s9,tگp1 qgib2KwYD<ėi2"DM5.[ED=F*bBO[##41uN5]r aq7Ѝۊg iI84br[0p$wd dmCL/uM Δt<h~J?oe߫o Oԃ+WnKy wW'`Tm^3᲼aYU_QX>sksu{oŃ|OƋW4BzϹ|/0/yI^5ާ𺙿+ۥMY` ӊڡguV=AՂI??<=䲱.F#6f >+ם!vHFs8<+3psʹmw_R0TE?`e 3\=v%h%&Lz.aC6BAzxOkTM5bhH  Q$|9)#`(ai `U.Z4cW♽OہNzKUUg*ZAN[2*hM[|UfqZ.|6Ti1kwc1M*`jQw#:<7vrEaJUF='\QC!hf$^W]*#1`lνIc'B.P>@e@*|m`kQmaF 'QIψYK}{!}o]/EF8ӰjsJȪ|xxb#21@!d` (qc*8][V8[Ꜫmٱ!M9ۂNgY2OVz/m D{?qY_"4`;Bc *AF?nVF!*a K2CLfj8?b~ƯnS^QC0#a26i7Lyg߽|Hg`_죨r~=Vw垇p~ XJ^Z8e;upQ(`@S_+6"IVM.N'cc1L`Tt4tt#BG`b$}`WH7ɱ9WO7RI~rR\fG rpZ3zd;])RJwjXq7M\f"eǠ-"2%Sq9ḍ<~1~9g YzF¸\7ޯRXgSP./*-ػ GƔtb %ȺR jnHfSfSP Dttbr Qq7c12/]t6ܹr1N'4u&9x약qJPrZwq$r ߲gARge}v`QQD`:?-"\#sj-TuCSbPUsL6G$$σ$=X1`Fumd= ]].U)K\p6yN80=Kd1Ufc[颡A钨ÕvE_< '*v˝n2hl;ɕ:29rc^140rWޕ]~;azk}) $i?Ua(1m@*|"JP៴YP+ؾDSW!փ Qp)?QrR4k6 BƵr/$M < \?E(X(s+kb֒pMpVjf,zuncc`+[lKʽI^~-h"cnW2DL1*Sk}_In-]G 5 B6A>4Ǹf @_Rk{X|5]1y@JɊ]@nDCL)siV+i$6r@'ԑ`Ey+]Қ\¯֌%-Y&/)VJ:oCB>,-lXsgkKƬC=G \n5V 3.k{{w!k]``Z '뢕)FGe)8NՓLu|8ȸu**_жnZG.yʏ aA=n#,f-`Kb5oMjڕow!&' +0C@{/"e{ڕoj^%EtVd.bhʨ|4s_܋KH9Eg (yv@ǡwblB̯;7KU*5cWȱ9 -F]t?6T*Ag࿔g˥%CEHvpo ?{).x1Iچ IxwxRd.UnӮ^gݶBnF|(TRLu,5d.K Cݹ|o-< N$Q׵ ^w/#t~LmAhXۚpU{cK{D/VW8W!@MثWZ'')#:1寥KDWjMfی\6xF$q\ >IRRv%9RڿH|qshi虢[h&w2᥉yw pQܐ[P^ \*),S[zzi+W?J#MQr-8&$T&egE۵G7E xU?ˡ(^=oz!:D26w^Yr~˹>j~ ;ŵҙ}(Eq.š\e8sAO6G̝KX?P\ZX`Uƥ L@E|/{tn1{p$($ i_]` QR'd'm 4xWHKוl*NڹADH9(Vab:ݧ]q+7tc!up-練Eﱃ ǐROtshdxiwb,٭I"@o5]F& 60-'ZȒ zV&Ur]-3~טKȫm^X4'EwyЪ0 WŬ Fƃvr~A0;s($m5Y"t>7UqU$VtRIM<ޙVSy%Ƨn`l`b Ӕk4J-fB٪50 \;cmϴ"!УN( o9E@C5W4dS+d4Ai4 0 L c<9/Fߊ4? fRàQCY%[}!^@0L,8ް3~/(vFGBhY Ofh> VȫCWXj*gmPt]fE-ddNZm(*3敘$DMҺ2"qpH8L#f!TS!AZͤ?3!b !{2:+ˇNM$/2Y}[R0mc"Mgd<ҽW-Ƽ iu2@AO++lE皅f/s *JڡV|lB;<8X#o\l+ KKCBJw^B>j4J{#xd6arc)# %'ÛUl7emes?+Qz /w&JN,iъCWen9mECxQ\?͆^عmШ<-oBtb o]2 WM,t=Z5F'!Iٟ2x/xyhiNfI[Aٺ -*sxJQX0jOZ?hz˸P9bOL :n9{RO82~=v*Ϳl9j֕v'Jevt'$^/(6W^x%wv]VO\]!_L^RJy FuC<0bbꔆClAWTioXFy=ewNP&Voep L]%b3@(diyPU=y KQ߮KWAw\xL,+x C\׼ ^Xh'Dl]v?b(' Vux rc_V,^gzN!^o/Abn) nkFsV8& Xq-/4YpQR^os- jZn _R5sR[^8tKǐPl+ ʓ"iB'2$*.*J0\|ŵB /qiv ϵ%zi,S֜%ٺp#%NJnw5}V~&xS9AnM%|$I,MWj=BY+;g !'҉;aH+N nO_}WIU|Jvb˘pU^OXhL͉α ^Pvv5Q #%t'wD8IMpZC%yBɤ2tr,/-=lEXzܗTo>)TTƔ?ze?{i \cYZa6XHEwh\۞ g@;{4/zp<r\؃ wV^V|7$ZɃ܏0Y ~vpXjvk:~L+C2H=WN]2+im՚[$!PKxIed2V5nnн))qˤxB)8.^rL'#S=<[KEK4׈w { vӸ5?pu& A͋۔Cn->{KF`x'f%oMU#2B"Zm}Ʋy}lYA -},z=pu] `/QCg|1'8]C@8ZCo 1 /@OA1!! y@t)!eOU-ɪKX$+G@Rsd'%a&)n">Z< `Q:![If$܃wX2aID?F|҃qߧfrfkLdU  Ƕ3 OAqGܴS{`xe{ -0ELO:W=ƽdmL__lNq\~ &v/'eo>;d<*yEitd|.YĒQoPGg410#+1ri>)՛$f4PuHxl8cd>ґ8gL(~tV7]Cv%<"&5ʖ_0jS\JvQwlp%_%VXWrQ9aKKXE%Eir__Z `R c6PRϺ*L[@S8}+|:ZݑI:k㉬<>??qK!W;z"w;3Ѹmc*W{; +<0iKJcB!Yӧ/ؕ1k Kiu^ė:J.90ӇJ7K = hVOA@Vla+ci q]7Lh\IXJ;deZdt@N"GOnpsq{Ã[]/=R)+,] h~z`6"fYٺ3TZv+:g`kbc}?4 ȗ[GӋ(:b4a~R{v(V3ڽ(Y-DĈ{&"1鍁0D#U ]I%a A*oF\9,8Rk\ځ1(n`fJ,%èNr+с74h8E 5wK~X.{7?^G013M XI@:Ky pgәH9Alb[ҢIw͏H|R&q_Ѝ=pb[Ww5,SӠ V~;jZ+н0P9->դԢB(EP"Ffu~6RAӕ4D7!>:G@re>JvHW%Y%MOVz}$*WCCx~_@fB"+v*S1qӚs)#;m}&ZR엔: O=೪z#QߋLµe> -^_1mx~\N$mM'kto`w`@z3]é]L9#Ňs,aH:4}-1\KѨ@a8)_%7 %ew >l،6pTNي3GKZݫW2ZnI - ?v;n Y0gL x@oYo 8l2K\ A ftiYyVD'i"!-{68pL  ܕ8lkbt#gx"V1}1徭(K+RNƸ zѥdyɦ4j>fG'Dj.!i^r>oM" Ea|Slb90B>Szڤ7C[C*ey+i$X71~!_᫔"{@s'n؀ m;밳VqG! y2}p %;LPG$سI߅"L'gnzl2[u=!3=(c5*<=.^x jc ;"M A3Ga)r EfMxH_X,@G1Wm£=9FfyyT/Jn>8U\YֵfQ8ɔU2µpw=VzNFąAsL7:7 npTV?^B6&;jV.pf)$O:vsM%kqiR\(0R.d>p56/^6P_I禷PjCƦYoӛF]I`IOdorP hl3 Ȋ:vAΧ:?I}MICz_}^ UsQTʦ L)%k#{:<֞p/IR1ZY~:r#CId LƆ#&&eS W)Sb&KDKLuzR8(>($ '@WssݪkmD´e: Bh;{oGʇx `!:S8@HHfAV^T"5/w| aRĚ6d>'xnJqU0/{z:}qbWz"]4o,\!yBY1?8< TfƦU0kyf}~;;d/K;eo"WGtTl}i<=?GAƏgyvřQOKCHNvOuW^Y#P]>A+wBc'>ďxgmᒤI`夯b  s<*(mx[tQMهDĹF%U*ojh04ӛ g+mOm#NF,kj>eL1Lj3VD\br;