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 LL7,t O HOL-Datatype_Examples:threads=6elapsed=85.280cpu=304.164gc=27.780factor=3.577zXZִF! ]ŗXf1-q恈&!& 7 HOL-Datatype_ExamplesʃU`Ϥ{f]TS_FlM0`[{aBlH~5nNjm20ꦰԠRu:lI1d #@h</g68F2ZjZv5W Lr;U =ɑ-(<&aS|aZ']HXO* vr7%WM<^Q7ƫ=2ʡZfQxڟ e؄{=9h@v f*`E]wH8z/h])Q+uMkS0#>D0RөnT\yY$!'ik0ׄ([<l Oed CxU⇇g$Z.[>UJ1RJHA>ުg[kؘ- E>zDo*]/Hkٌo$)pyuA%a)!YpH=ƥRҋ^`CNE_U@HrsG+ bUρ.Q:Z^nZsvaD[ :w'.cYOCbM9ѮG\ pQ ڡ n_% J ;!3@&8qW۝p"e6qR C#  r1lxLضUCk:)s?Ry-? -`YR˓Ѿ"1mIU]-erpfӴ}+IrB$ tGaKA?$'G,q8? ϧ W30c#S,˲+`rF1s4j<`kY"wXyF":.UY˫`!Seђahc"=,9u,k,\{fڠ;5|u#BOΰs@L 1B|`1zYgө eY - ody60nE'YPG X_j#02ܱq}k|n;Zm),v~5Y׈xr`CX2&ARq |`/> = 9**=2́;Ah6MXROtZߑr z{o?<[d@Wnmg0 g,P1ـz_ݛEƸ '#ɓ,͇>uGa_F5KiuG}P*Z3лZ5N^S2$$AŐg_;u"<`yN6n9~?D(р4 gc_=SJ"NrTBG"#r3|/H4&qO}1 -[YųPװ3Jza~ ] ] .A^Ўv4v&k>(~?;l&18F|Qq 7è*,D 4 safGgňK8V!fk qèANSNMj ɣrU'>ډ-٥{H@-J& H>zP^N6dÈ΅?;Oeyl2Gi̱H(-M]0l2: ^~sDIRdxMGc/J-'۫$>(} uMPjĀ7Kb~wk2>{9PFz@lv(]fnJ&W(wf][8[[C*Pkl3J#HgGۏ˫d0Ff|H(*: ~vO"M]/W񓷹ʨ-Ok#o{>|K|aL!$]ԓ6ËڡMe7t(3*Ԍn6ӆis-S'-_T8%}jā9Cǘ 1۳o)!^b2m-@83z`)9͛5??jAgW<%_%P]p"ߺscC;v]Kk]C@uLʦ8S ;ԕ_d*"َ&^8c|Cfou7]_zP(f7APS!@kzGBt -.P:_UmbVš@. ,iZ2eզ@gxG*wt8K]7,NDfYHv+tFGO L~!J"q Jo/CdXoJ&;`HBT!*4 wX:&U}4%'<*|tJq%MEgShƟ0%n@ ԝX( [wA\K1 r9-p%&׽ rt,e@Útfx!zP-5I QSe=N*^ͤK'daw;,}a}-x%"`А?f<8 ,uagBjSaIkB~pxzw&P< \5bcs!]Oh>6E?CyѲw13g]'MJ4pg$z[de'Dć, Xb>Dw;]AXgn{\&_ " SL"w l:/fSA S%3M gճQ(9\D]|ʱR"ҫ ސ|m6n685@[~#W_٪ItnS*$gSmn+nY̱ P=HH/rz9⧩L^a /E]H ]ӘbHBX USg`M*pla*f, }Rֻn9YE~m 0x" W|B 1&]K(#A?:L:,\zls|7D;Qu>M!c["RTK vqV=VZ9R_@c0*:'v4$=V[-;Ut#o(r bZyBNԄZCʻ|k1kdb($w&I{y6x̵]d5jʚHӲsB (Hg+.ju3vojr`GPKbٱ s'sm!o`(=>jF%ܴhi2X =ѵ3ͥ oNm=k2d%XB5F!cyv6.sr;k#(ҁҍWWZf.S6,ּ{d;v3{c(9b(BM^Yf"QHAIjˆ˻nAoc+9vguɺe+b88UƧ<_۔wӏ7&&^Gf8"FZqLSDo& O-8O)X4.D _:U \6k.2-5L--I8OuWv95AvG`_tQI($VUg=; #Ōs7v>囿(}R%. Zz nyiR]Conq,U$; o~W\Eu7MvE[#Kcu9vbX$Gsq(ny/y[ruPv)ӗkFPU}TYiA@O>ŰA0X`Aj] SY8#uV1WvJ9n_aee*%d7X*"ڣG#+ HB"1^i4^MFVb9$Nx7ih *:VQB&Dꊔ̑? jIteF^V/\s\UF&b0ƱX~(IxY2ZԕIF(r v 㫵Q/"z  +s;}l̈́\LP }|Foi N~мn+>_le?r8_E?.SDPtCu_0&<< y٦IaW2Z*> hW +{=wvi0N7{ A*idƆ*1+x 䄦3 mTDeϩI0 ?e i-'|\c ]1ߘ"xU{FSHKJ|O%i9PbP=(P4 [ 'ΜLQtB`Պ-?ZB{][!lG)E}nPqbC/&cc7n 9s-0RWRWuM`~XFɲv/ƿcaUbg{+r걋,>=_ז+vf{Z8ܚ!%-nXz^p/Fcګg-lǼE<āmYiGk{Y @gK/$2cijѡQl{Äyͬ.air͇d82أҌ NRN*[OF.HL p!/6>rr| a*,&'^ 8 :QGh~P6 eD;\ UVWbixQN{?]ة+`/]wF5(KcCO'T!LQ;^QXo!in~eC7#k%u xޔaqHvZqA;scaxN{ ya {ewksg KGc7d :'P# ]DϧR@ :^} 7H^g 2%#!l$&&{3'sȿSxL 7 W4b>[d[^eVaIam'K--1R#YdhcqD$h{?*) jbLj\DTu,Y-W=lt)R' ==ԚB1":Z6ɼQ#Sw&݋E~> A rPt|}(k譬?_?¯vҒ[= #@oECPL##湒Xe!Qg.|C'0v5ެ-2#Y3/d i*-|SN ^}?CUyT> =K?XC3GtGjfsƞdI kV qkuv|7vK}.7G 3z<< S3kwc#HfE竕OJA$pDg iZ[JX: rz[;p+/ z{BECSNJ٤pM8->o&/jC˫xC=`xRe%ie3^2M|Գ՜ $Cbp3ZBDͲP`[ ~ݽ%"[7b;!Ca@Tc"d#?Pcʗp(nK81r`fF6a= #?p\Ay[ HiBLEqfN"?r#Tc/훬 Z2R`ןPf?nSjӲk^.!+б_){I_-"L RSv :MB9lEM/!=Ư^n^VT4yUnY̼H!VvE,#6m7hoҳƧp`ΉDU$ bLO۴v _H}cS;GTG:@Q(֫&{7?bpDZ/BP|3{`@ӤF*}|m%>dHVǙ N`#g5 d$^f}*z/'|CVioE"eU=2l\td-}MbD$~-2*ogB}Gza?c"R2ځq chSa"EQ|X#2&7莜ZnVA$doVs%P ) Tg[+\[51Hl^lͩz tiSW=Y{ X+7nAvWlXEIt_SuJre[E6(Zj[zt¡=Pm}e!NCfp'ov'͢6@a']R-m\%G#ι{ sMzTryE綐9<g^Z㋰J(' T{؍;}..J0=!kBh'%yvpks$CZ$,Dj@oCl9IKe QK2mw!h !~&A54<f C{ ^:B? em@O:*?lx6,ȧ~fwVEc[~>\qnL?[z :BT߰HNgUZ_*.: D^9$]͉d@k84ōE}IhڙESd~u(=TSv:?.Q_ }#]8ߴ4[~>[۰g2w䵿q뢇O?A| vUPi!L{,{~m^Vx}iGٯTCW%+@V꺴JjqC Zt D0ux7=k awr ]tO InT\Z \MM\j&rKa{ּq ^Eѿb%Uk B џD`vd46Bn,$f~D]5H?ɡR" Ameg0)@QcOH_5[ᤥjO,bt֐•7~K.r^$CL'~M~*qRB#Hdr{;Rz9R 5vKw0{u!avt5hŜ;-'>VS +Ե՝d7i'RLk:Wݑ}[QCd:$Q`Ժ4%SM/)殶 >?94% ܍7 ,oU# A_}Z1W