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 **3 t c PCF:threads=2elapsed=47.224cpu=91.616gc=2.724factor=1.947zXZִF! ]ŗXf1-/6vR[1Iq@>=s(qKgr'E_H->mM Dz)Dmy̗6N-us_-7'67Ԑ h<-, Բ'0Q͡ʦd:)쓪c VG˫K'ךa̰T{>r<[8{K8KzYc-Z Gta~Vb¹v gb֏Ћ!uS=ΐaٙ:=YZ4&.ndBmqaVSS؉4 V4QM0y臿6WNчw5ŰRb]0]סArA BHnJ{/"-FDpD5?K(,DS#È "ia-fv*=@,o =~)3H_e&#C7Dz Չ0 ,[)SG7nVq,Pi$)E1*zk:05̉UG(  PCF5N9MU}UB,I Ts p37m4 ~AQnKw N-&tz~+JPn|ж~*H R5CRg"3Ӥ^22Q/mQ;x ĕT]-m/Sj޻kH~uXqU|0\a7'2W@bq N9~Mwj)f2PwcnjK ̠;Ï;wTi2m7CN'0*}FhO绊^[}Uq;0/ЊFzֳe,{!!G=Qa*Ηuzz!g5Fr3HnMqdN&j&1NwkJA M'Iٍh?1N% XK0N.l,;2&Q1&I0RZdRu:ƑX@=OJquW3gHVCR(h^s k0t B4-|_8val< H@tPP$"yj}ULv|:+OsksgZV 85YrH.[ 1UHi;爔:#c귡S LXsMDNW]cB=n~HƔ9JDФ {DX=juq…6Bijp,F,`btf94iXW=sAl+ IFbڇ\C3h^9  ?jIK+5Gk=K A^6 3pnQyzM0ƎVu[ &͟&65M?T[lb(ja,)!Wa&ZfwWf$~ڝS2eSJe6U! T ȧZwB.C4Ğ?Y#6qP#KC3զ<఑#TCɦ.嘒3'g.{܃krhvIhѽ#5X>,J{ٺHFZ^Yq6O33涴+xQag+rK 3.D/5_JXp*M G("UK2bu)ltfaVX;XQ\쟍˞TL, dLG@jRLi'Nh)i֢6aֳLvk$/j+'gi`r{VTU d^HK]jL舘̓0`PBqiq#UN p:ٚސҿy6?散J.Bc@nQsHOfzoeU ;\pQG|lW#ԻL_ZZ UD[pGºppqc%(E-UdIr)8莏2iE(~n&p:\Ÿ)]sCTkєu{Ft+m,=!CLqN#J`SzH?+2&ENq&𜱤v)B6Dnzʾ@<)J+fzcp(!ˉt>RډyƘvhe~4R2W6\w*7`'|w:I[b[A|_ETJȘuUGm\ܡ8>:2]*@bk]zIx/߷z2餲@@t.Ft]Đ-4(l#i*3mAԬK\10 zx=Nnv~4|!؞e>6;J ]Z[tv1{{ࡁpy([&=ߢ+p5WKl=rcd30*Lt7R=RR6z%?럷W _5t0io& '}J~SnNbT=V7&x^ x:FGw62TrM{ sNR GoՏi߬ǝ3]6# |'p2yg}a,l9tQ \Wo9VFX#|f$PLl)(vV1CC};,*\{aĠ$vϭkgl\ae~}|zwaj4^$e6y4/kɋ7f5#ʔ㑌OX}B&0pǿ>"L3?-m2I0?9 $.@!M]Ks<ͧ/| n:_B8k ʮTFܱxDp`.7t{eݼbOX F/ґJ}]*-oGX'5KQ$t ciep$0g?Cݗλ?G)4ȣ.$4eH?K?nWO1B5'y:•orq"\=R9 Y$L\ ~D;+]e ꕔdca+3 =I"Sq=L|oǢJ+Â2׷09kz̈́.ڻ>uȽb%C삉14]kgxB*^{ui=pe wP7Ѕ7D a[na2jQa1t}WKr:3gC!1&~Lz<6^r(e'D*課H6$si1Či\qT~t)Ϣ \oׇѯ܀lF.g68I6ŋԉ(6Ɯ`?t.":Ļ9d6fG7ƴ^ 0}f@~'ZXEd1nm(mf_AB~sn!H11+MA)ˍÍBP+)Nc͜_Ko^ Uh ?I}lG|qdZY* o:A,'XkAF_] {u9j$8ċ9Oh92_ ˛}ѧl T䷉|@)C@Ee-T\-Gs#C&yIG柶fkK$}L'T}o5\SVoNn|&CK2 +Ui?HIl %2gYZ7zXZִF! ]ŗXi%m]gu-WtcV$Դ0A_&=['idz"nS|t0LCęGs>ɧHi'e<~=6Q<7,rPWJFH?g4uI,a"sqOW s!2.[`aJl7x&*e N6:%&o"?PӠX yWK0!ߊ1Y¥ߘbxܫQ*VڌT\:eB! Tj_^iT>(3{83.{`’$ڄZb+:Lr}\ t[xNo"HW]kp؍\*WЪ ]]n*2pk\1S 4z5m3DOU]YHe&?=~cи<|_n& ^7]1r M}q's ;Ll[3itMF鴓Cy \btϞB>jQS"Jw^ "׹::F|SjK6PEEsDtOX20k6æ1= -$Yl@|B{{#Egm&hV)!ax56d.٢XX[& b jȻI:1.YU4<1r}C؀ ިSWsI?փvɯ6 V;_ⱶ[1fe$bNsnK%5JK3 ,qeLum'駛O˲ Ҍu_2ZZ(-ӱ˩ENB[p_ȋ2ʵ7r R yK &5s nBWvZ/SPq93gr\OCz RP;5JlbG96h2&b -jܮy ʩjUKPȥfJA|cQ.o :W\. v%&%<- +iu#Mg1a]wSþ+::ѼpPԘ"4#r [pv[#DZRLn{G,@brʔ9M49h8g'ۭq _(BkX\ L"t)Kch+[K껤}cq!D>QDN` 00AuÃcˉ6f?S]e>hHwm x lĐ ՞D !~: &H<&2̍>I.bWZêeu / LgLATJPj0hUͩ "7t=5"Mc(." ׫^[l"` ?@:T[TW0]g TQY oE>8W&e$_@4Y<.R\MhVTiowgkh{+֏Caf_-:зh);o'U5s}ѢDcՅX$ 2DKꁃ)B@{usX{BZ?: pdɼ ˼Kjd'?撊Zrdx`V7;"Oc%iYpl^آ9[瓗T*bsڧ* )_?|ё1xTc8w^j A26E+4W^TeeyhjD~ %@B#O X|R<#o(` ^p+ YOyOΖUۭ}68د߷8|Ai0K鹠Q;0" #K%}LvI3DނGYe"WbL]$26dE5 .xMi0jm!EKӦK#wW" }VJrz6N%[&ׅktF"l@vO\RRX+Ŵ20D{sxr N bbgYZ287d5d22e890ce74c11487f47890bfd8ecf383f0 2afb8c3b0b4aa4fd62466f0017ef34736003b5f2 384835f76dff7396bb686d2ad76b1e3cdbfcaa10 42592a2a3293213750136848a26f06962569fecb 4ca9d3a55f0c8b25922b65ae69be3e737f6a3654 638b971bbcbfc42f40439b9f477cf962c377c235 65013a568f88850b9f8fd811448c5025c2de86b9 962e47aa332c8804c7b150e59b0d93cdd566fffe bea5e727d3498335cc2a1a50364e6846b1b74151 c3b7ace5e1cd195ab5d334a9382fc98298deca32 d727d6d1c97d3ff7f87a3232b7c85a7de66d2eb8 df74f801adeb78749d8f6ecf1245e4ee32c568b3b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 20fe1ab041090548de99a0b2e0a11512b7380796