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  F)4T %S Multirelations:threads=2elapsed=91.903cpu=101.412gc=4.008factor=1.107zXZִF! T]ŗXf1-/6vR[lRc2qJ)=?$~)LX8z5i%HـC&͇CNyO)G\R5u[sߟ \>LXI{scGk|ׯ-'Ae΃MDJنv`PiWxOl3z?VO@/drb*Ȇ $Hj4֊xńH{T#&|0n둋;|mZ}#@OgТiBR)݈2a= ƼzzOG1½l o24!!?,+qǡly$R{n9NAu8x:uЃ2stٯl0~ ,&Yu$qn$)m)rW$6EX^;݈G.8i }W1(&-)ԍ9ʬBURHr4PkM.1IWT*R\`rMg%a_)s`T敼D^J$vt|I v=ӿ<> Tf{1xVKɁm\+%><}Gr5" s9n) / نm ޷<*m9$5(k^D?s OSt drnn3ʲ,XjX 9]IAc)'qH mA[?O /[~nm8<[Q\{kUkSN=&{|P Zu_-g6`|_ *&䧳؇.xaU9R:eבd\J* '9n2U&(C؝Ӌ G Ym*0g{xXf0TfcbRMb Kb-^Qo)kRNcGZǵPW|S)nSx I#CpaږթYwc$ C=.۶BE\Ou;n  ~}cULm"^9d ƜmUBcE&` T ",A0y`yb~?1!yX;25BFr3ʩrL"q,Y;!cN6HwwShr?Iac"0xpjuT֧28m&OJG`=-֨գ 톐-؃OV%7x :6gUޭr PqAG%q!n E8[^;Fóa׾&T|*PAkGUғl[PY~@9K&b඿@kE($)׮pb qn T3W !ᬆ  Cj򠩴#r+7_4rG?H+؎R)&佪F$lm9!UDOv]l }W #(rZ!~.ir;C&H# -oP G xAO˲$M ?ZO`lFk/3H Ⴞ+ wTnL:9 33K!e,:[H8b:+meKEfFlB Ɠ\X [eщbVnT&N:,h_3Y/=c >>Rz+d(UTM`M]d:3œ Sܡ6hTgH,zң\Z0Ólcj7eLEDtLj^%oT$r}I[ ق= 8mS ROqUO(,*Hl!r'29/Z:JMvvu hScZvekfpm/nM&;|i3 iZc4G6 zŽ1 Vdig՘vn3ӂA"F]L~D:*![Q Ǿ|U֬ee-NE0k )CDC\JBo?؀ xG>[6d6Vԙ +14frp*ޭy!G3,c6ex(&ݤNhFi]czٽ/I3 XF.BjN+}.M fq!O89<2M ag~& ĊmݺM P;H9ܧ(N<тc&_,r9k7,dr_6j)yC/z(IEM +?4_vM Xfb!Ac/-ؠQaGFʉ~&Bn5wڽYC*z i$`RP\oK<ĸkJOز[4O sI SWmlQhEXOVCPOg8^=b_s&A;DTq{%P̼8) s2S{l13L<2-m \Q˵>Rd|olγ*p=A2{-# QtsNIw/ԁ0^(PFqSdR,x+HI5rտlEk=~p.iYZc^O2 Xq/~dF4$ ۳'x^wl-ZqKHw$:[FRԂ6&oU~50GO` o,iQpfWv}3K3F$W!: {Vsgt'u_T?i=p^N6Jfù5ujBx =OqbOQrt Z*ыŕx~jĵ8!_KPa$-2Kok@?B|iBt?Zx-p+ ēt>{ *5ѳ6EpOiĆx?K]fgVO3gH9uckIHB~ g[>ޥF ~U}a\CtDPthjAmP(vq;`J8jNNaI푼gg1tB )nsYgVSsE|-3peD$&Szt?Ncz֒>/Fju*9–J|CbI JC!M?|T`\\}.X~!;?VoKs6gDFȍ ț}j].Prə%ȾA%R  xb Զ3,0?yJ1kh|\ͯKKKwAïEy*TF$\z}o6F$򱇞RtZfC=Gb-3͚&qEH@n};_DQJ&XQ|9#Ntܚm e%_g-lƎ˭ԅ9pTӕ"P͟boݦ pOy)q-DT8i~pgΞ~_v-?ybJydFˮrU0Saك hYn z-L] ;N%;Kn䬈<81L RFl=qW{-? Ì$!#ɒTZ^Kr/d- mұpQǶ6 72t?ZTgn8:(ZUC:^2LǙ7Jl4-iJo@/#|ţ+%7Sdjp[_%҂Ņ;gTQKwAΚ. T9._p1B}Y- k~E"BPwnT:Ikbez߄,X5LVM)}oBm ,]-\%l>D <_]{X~#iu:Wиzn4+A5xićG40^? 6.?yӦBI{rZ>{\XVOfnk1yh$bj^j=e*D{*nQ47x ΟD؛oULm㚶3qߎRr(էG0/d)+/fcuÂNA!=߻8^ebø_Nj]9c8U6ji9ytmHMbYgY3qdu5'\_K-QSXCܔ ! L3-G>TrſT\#⩱:I@4v=łF\n1K 8 `!1þr_trty; #~tl5ww}$} p$wj-ΗIPٷ#qm~M# 0&0k$`gVn%{ZwñH{@^)߼+dĞ2ۏ('_˖ĦVi<, ;9+4+!:E`aϫ|[YzdM|4v6  8cP΋_IH.P{I&*ÒR]NJ_[M*f;Dd dTqݿc-#c3vwj|֌vgί@3;kw\7w}zEus8(w/.@*S U=s4#JNV>DB^-R@5ʋ%AXlX-džG^'~/U?YVF>I%X8pUcs4wT/L8?g~|ɇp#$Oh[%lO2~r*$*1>v*[gE7S@RAbjx)s 8$*ӬvSAfJo( SDT*u`M<ծ6vFriE'f;0 sDJPn@`gATӁ(L`Z"vὦ92zg3a-9sXlޡ ҆#ZڒRɚ[3!e,XaJ P<G(˛HtYY+H9Mc{ܤ%1!O;5i$;xңDޥ+mJ<.pt(_V[5aA z#VgYZ5e20e4fc330cb85a57f929f7cb117d5a4839eed5 6ca8998bae48a3081c3c9a0eb60ec1a07c4124c3 9d1a345466a108d4a08c3c31e9d6a6384464cadb d2ef0567b21d3450b941643a1f5a38de6abd51aa e3d2174eb362b4e6148e4579ffdad6911d33f397c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5dba3e08078354582540bd7f069d8e3563770453 c0cf0bc549dffd98f25b2e242ab6383d9df08295