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 j|< am]Pre_BZ:threads=2elapsed=123.873cpu=205.228gc=8.352factor=1.667zXZִF! q w]ŗXf1-q恈D='-/w)ߎzK4Vʼn*r. C_e-j4`% PqL`l6\]TxksِŵdMhEGLڧΪCoqNQԡ$]d6+GǍ!U8;Zy wi[SS+ Ө <(yZ.qE}L]13xz5vNN"N[J,%36CK " $ +\ UdYzͽ7YJSiRS$ƞ ǐr3*\R\E[z@I:ҭP>jYJAÉpb۩p4 Q\,vNGWhj4s.X1p$> @^<-BeY,l$61J@K'FS4\**sk#SsvA5J:j_MM:xBDHhIR.%]JƶLp90*߾ n>%=(>p)<A0աȇ׶h蹸A[@;[cxy`Pqkv*3@)Gtt.X᚟S^O JkVϚdc6P%o@ (cٔC\bT7Iwui+SPN.S^![GD"f8 N.e|unbN k 0E>Ӊ֗À9R]'[DȪ>]1NEWSͫ&Ʀdg֩-iN=5]3ෞz\ނZ7dymdpb]L)!fh}{ 7|p.`1HMrRxe*URJ57Jt{AMy]1^1djx 4VD87ع yꞶW'/F ؝]Y+Emr~$v˸ڛH@s!lk y8h\[fjU©m4{ BaiL Dh55Z5:Idҷ灅F%,d(ϴH鞓*g䓌D7%Au^%ux:r\j ɘ%ejL J.+ߝcw~lUAy}.vU [ Bgq4s~"B[1i*10Y<C8`6C`.1 N=Ɍגʪm0mv[u*P$X_Ҷ$ ZyL% Wٵ$$6CR YfD!uCW\ܗ?9O*`QU ! qq_g=J82а+B0,ZJ Hˑ |J]`ܼ.v~^MǢt`4>OK!߂s ~_ev*d><v16&i`42O3 C՚J!ғYg~eG>邞v8hHk j *uҒ /i"V4jd8{by-8tQ|=OF^0Sż*O'o*VpU@>׽Ϊu17Ɲm/ɟMy"YQlΰQhTNԏL )Ϟ6 JܾF1ka0[eBAțWF^0o LFH yG<1]~fnog bױʐ# qNY@aBWU%yU |Rid YҦ/9{NٚbPDEk5<,EB[vTlN Adٸxqq-TŨd0j|bPR*Q4{v*pP~#X&L*F*mɄsmP`k3Yv:6Ti9Fvq{w=m*W~T5nY<-5vźx1.9c 6Okg?c)n5TeM/ɷt1m`ě*]sx~,%LoO\.&=oulBI TTٸC_ E/Y7IF+jZk"[p+¬s` R t|d$(nt*$좂glG)0W70(} N>'K;1OD|o6 1Fȭ #]~W8UC-byĮ473ne#b9gYZ7zXZִF! 8GW]ŗXi%6)eɎmkFG8mZFXlXA0:`%ޙpHb.^ 2z? xycU <|-a3`s*4xx?7'\r_L[18r;U1%bX*#Qѩ!4>᫔#f#>iAl\3$fsb!ئ]ї0I9?fR~A%5U;)M`{2%L`5#>qK9{p sv85%aH/{r nLjI# dv,p'㗩,"0 .ĶnyNݴ8Јl!@3( ;XCa>kDAqhRU./aaɂeC↓;pа>gt=,NkDg@\uGJ˯ch"۵$GVV[#9lipZS m{ڟc Lqkbu"\Q>̂.CSY&b)I:CR&&Im?"LtU+ܼ;oМV#T}/7YC <0/hcT}&Az^/ \/l]SG[XއiyNx'ZOeq< b3~C$1fӅ)[qWPhP(8kP%K)H#ƾ ʇ<{NF;P5堏OJxaih$pE_ͲΟR]5WzR^x,C:R7ߍq$I|;>m4ee1c}0lq[Il4{[KN27xhA\_cn} u^Ħܰ n6C M:WKOM~IT 00Ap Y%R7j'O")X Mz(g㭩55VSFYDV _T~!v&-4*RJf%Cʤ}y ̧5=d+ô^8 ޼y/ 5>qW㴈mT oo^aaknA >JHF! .E^7g#My5Db6i$s5??'\KDD=Lz:Mn{ţP U,<3x\HݦeҲ)ν70oӒ b "H6a$8ʂp5H'P7ar y2DИ5̣ɆŒ"kLÓAKQڴ?qέPD3c0A5[enM72CϦL6ä:TQ; Np-2 vg%aN>soeq3Cu&`dZh3LkJ 0&W۹T58 Wx~OP-&g1(povqq:ݹbT]짂ӈekyͫ$0%, N1cReOQ`\)҅ iQQ↜qz&D| %|)(>ZN*Cˢt68BKCw)߃BffzV`u:ǰ8H޿5zn a.spLm|_-r^R\ix-wB+A#|KGOᶍl3NebՅN½ l=뵚1 w~ %A8ՔhQIuCkOMoE[P.|V2QWM!#FANęVWvE@ϼ^-02=ہ1Wo2Qc7;o:,T<=&jis פdI)tbB4dR5mp(Sqo;?þH&_a%E%vȴsBmYB4'L)TC9OA~4XW=׫&>%k l4124p_Bw,ּ 3܈LYe⃿S[&\&{2IeP "(A>>̆ _ dtv jbn$)x#-ayiVo[:o1/ y[I[)vfP[WyہKWmkc-PJB9H@*8>VJRO8لgtbabqNWq E8ϸ~Dլ85׶4/6 VL2,B.߼]Qiipcz(tx{gtA+56BtnŜa7cu t}=50^V_ѤnLT mu <#hmg BOV8+mvX9 Z w҂Ex"M7lcc1rx}_Qnfrz3|Fb#!ޓWC~L gŕXX[yOɏB{2B T1Iʎ>Du81GH pՕX1ȷhbN LϔSѢvac&FdtY% y$!`>]mGKZ+60C8ٜgksx cxzI ,c:ah2"ዴM4طu CUũsx.{SI)܁'#o0В Oa{@7TH=9ru`!p3KX}Ow\֌ꏳ,7H> Tp(ITsj5ݸ@gGWr.6_ {٥b4A 6~OQf4MX nРsX2yva?#)*99ظ;_`0ݚ-n+V2 At&̍Ŧ?i_l*m-{_#cbڇHX8 d^9%@^$*FgЗ(9 V.eaJkJvǖ}ݠ0`5ʓKb4#%R /Rt52gޯmMBy`iuk6 9)wFT d :EHx(YupOy r?'uVH@-PWQIN'_|X%d*B?rT EWI%!OUղBizgNh Ȥ ru~N3{>N _YYI)5Tg-0K/sK>Yˆn"Hi~JhGgYCo\̏Q/T|=G9dKdޏ8NU{;;r7H> c k<-ϫGW*"KG -?D)+;gljaoyy+EK`U-N_L NܺL`x6|zY.4G!]b-oS*IUv eABT%†=nW Kl/ / u-i2=&82\,%38\)Yt}0#?7jT43DnvbPF=&%7WL,b`ʀ^tbN ?G;2ȉ@b:[I֗AM3D6]s? }«7acQ.J<'F7'%n/J>䈘QWWjRPtFIcūt/iQ5qް'*+:oe@6J\iwSݕSsuU8K\W Ӭ"'K7dsl1#]`QssfH+a>_Z+ƪA^CT| ߀;vd A^B$6tg0 aT<ijd&~yAeGgؿ*:Ke}<+M`rs .jPVu?cmzֆ! Oh:JP\ X/"~B,tQwHBO+>i\n1(z Eniuـl4=̜CKWЈډ)]Ƶ9\[^$/P^5*=6pFr/v28i:kEu HLtcOb>}Y1N?#cGMg'+蛛6/Mbr+ eF _}Hٵ ʙk;hp"OJ #^a%nvNǥG&{*"\lֲJ'CPhj-Ө(2M P yxU AA*h Ƞp5KZlSy? E/ shWr7m'7סT4QPD' R&:M|eu)g[DsgY mR2a>Y,sss{ d>$7=