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   S9 l4 ?/ Locally-Nameless-Sigma:threads=2elapsed=44.704cpu=74.444gc=2.284factor=1.677zXZִF! ]ŗXf1-q恈ܗ4ޤ9i bdaQMFR`y4ˮn(No@2зʂ\ns /gEԨ*:r3T.R?:IiGI?(ÍR5c-" ~IT%d 9#&BLg}m6I/ %/d k 2 oD*E_+J&0 y+;*EPb#Fdz#$< l#UJKX6I1<;8Bn2BHŏ$Yb7X6Ue;SGkKÿ n˾LZ{4kS 9 Locally-Nameless-Sigmas,MmJwtY6r1GgN:6' x^ /-4'R v'˒5ނC7f껤`ۅFߨǖ_OĵÜc{Ahk$ݾJDnGS@E0-iUREƔ Ք-|.aʲ7EӄPufjJzڎ=l|AAsC̝kT|^$cm!R/,W8m^.E[)1̢*Ϛ{څ>)7ޜ;X4-$g;jj!ѷFr;8 ][G5ι5쒯U3ꫜC1q{z\}3/b|-e@M|( Y:H\you?Wz~P{"c$m{#Rfn!u`֎ktMy*\.VЪP뗅j) j"V(K-e#C}Z/DTbzhuGNOrt{/_ځMJQSw~ vǧC-R-MS&|M>M.7Od3¸L&)mAS]6!5ɉ`&h'4=m8{X {lj.YE 2}dar4o6*Np-#~"jŘ+TXC(+e=p`4݌TQ_.&[}Z/Hۻ\1M[^ "nT;{q|MgDh~rtͽӃ`f$ k/TK3-rpXEz}Jrmq MQcnS-j|H_e(y=xBf mYԭ҅5T+v<$CB&+XQyOb'&[z )m ”.I } UæYxJA*Gm_Gҥ|}!FksD]r QYH@̱ a_u y)*y"v-Nx '!p"?PV7,&2EFIg<:%4gyήc7xO*59F+I MdJ ˂rcw'2z0+EबH"kƁf\h*T?ǎZ$,ك ҿ >p\H%2Qԫ.t'E;}w`.r=mH"wlOpuO թ'(c9~=f')]ǫ|&9ǂ 5̇*6Fք(!uLAii^wDy-$@ bE5m>5rBLT)ExV&C ~)K&޻J{kaP@y[=&r <].5>Z9+a TY+Sw&8\D @#xD׭-3N7||Y#3֎n拇gyi_g.As[qJJFQICKBSHImqK6ٷ? c!YEQ.8՘'ډY'nFf%Fj &c@}>TQ}9b!hXT,DE41w *#C_}i/0x:nm} 4|'^-'a4qT&V\S=nF_&OS0H~LX 4@knIn'ˏER? Sqɯu9K@G\oMP._Z䙬%i4u!)MoJ }Zի0y܏{`u{5"qmgVEBϾŠA< >6pgKy{^؉?aƬl!wM.D^C~G߆Ņ&PEgV*CZB oj~Ϗ0?!, S M0M] !If$6 ^sP%$&$RR䓽V ƀ8#iZĖ 8rL]kkVN3@+(^uPU:Dr2..m<Dk%>_>ːLv+7ϘPTXoE;ӡ?оP?ܡ@|J} )z(9 7Wb8e5lItgejw>DX5֖w`j$ | T Px-׳y>j[ "f=&{ 0I\S4!Ψ&.>B&ܤ*N±Ѱchf"6xCFP3i"#upb_ M1qqr. v"/eW.%V6;R%!~W!VT6gYZ7zXZִF! T]ŗXi%HV@oס'!zO}=@F~JC! 9M 9ZLtQ=io \$ <5~b-QWڦrޏRFT7#,A=޿`8a#_8p4#i-t xP>a*y /kzdPooh2*;?ԡ)zi 'oH yown)m׮eI]UA=> Ge%V#L Js h3pgkKV;ݪU{N5mAEa=rju֜;^dCtDvV+Zðt3D3mY-ԣօ`QNi"Zg6w8\oXĸa_ZiN ٷoZf,0?euJ2KِDž/[ڦ-͝TB$sHQAc[n>ε8%LoM (gRBG6Xt&(}_^4UV'GzÝS0FޭrHh.YaJn t'0nw wjXU#۱C+ jJa:tvscmވa  ΋ n0_h|4~'[s;tJXV5{%cCv$c`Dˠ1/옠){2`H9WSffY%~5vk[uy7ޱy&ϱe[2U%Bzϣ]xX*vC0hY@ͮE|dŦ590*Y&e.(ё$ʬ4s#1Hq fO9e*H2?K ߳ 3-ys:'F̝i Z:5fέ~mo%Cę\!2҃, *Ď@ԴhJ X^r]i*hIwSyBj۾i:WAu5 g4"?W.0Ds+ۜ;ӥ_8_&A,A}^/]Ti'\̨Е ]g˂9[k=b7Z˃oo&̻qGR鼷8A{AP+bNjb5gz}iPWМzDn4r!X@KӚ1j⢱2o"mϥ lmϊpvF`Y^;wMT#~TȼE=T8RK0Η!yT=ACչF{G{qޣ{9 gF`ru])> y/@Rqz@,SiZ}}LU>#@3٫q2,IMe ikN9(.T!|%e'xS qT^^]W>V¾9 +u0%Mr姲}et/j2,[!ւP8wI}zA3C)e[ܳ`4 *&-hwF nYR5WsxZ,)h)oKE}C\ImdBU|cRunzM VD@:G>+ *)I8U{:#3%N:-y 1?.ޯE? LZ5󋩶/eL?r4:# Oo@LUˍ/(j>9ח]N{ n8-lsefԽ Ee ː}RWWyHkrU^G ڬʼ&ķץ/pv"nR jݟszƒe 1!F:4SoʱgYZ0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f 116062ed5af003f6bd0f6bbbdc0b0142a40c2489 15b0f1a6a9ee7c3478ef48924a1abf99dc709253 41246ba23dfeceda18c10ccebfc487802a40ce1b 4b0fe00b743bde7dadd10e2606e711412999d253 9dc84cfde1c9e63199c35807058844e22d99270a afcc5bdf66581be2de1f29403f2ca4b7ad5d29c9 c449280f95183e55dec9ea91e7bf8f1f5ba47820 d97e0f709cb34e0b4d775136cc9411bef1621181 e8039b0ab7af59eff291e9002ab01c722532f1458c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07