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 !=d$ E]Datatype_Order_Generator:threads=2elapsed=236.686cpu=436.044gc=69.644factor=1.847zXZִF! j]ŗXf1-/6vR[( `wYf0T8#,"mäNSP~hѰ-(Z=%7q?Ru$LO )eRbk1 ˖ _5 Dnb"D P=v{݂)@J<#$+ٱO7G5!\*x}05@yz~[.-+MvjC('4Bxh%M@Z}hġgqP n>ictSg!_]3ӿ4׺)A]ezot p]1BGd\;ۅ:X 689`S[Svms+v^j5-Σd?lHaq4& 5KV=\[g=u_#;8f~VKpԁ!Ƕ6PI77v0qbz( 9oUa|`*ΉGJo*ָ-3Y3 = Datatype_Order_Generator9z8]]|eTp B@0\R2OXB8=@\Fxm:d>(:}lD zt|*l͘5{]ܱ8I+VzZE^::/!Cϒ[lRՅHդ{!'q,$x3 l-aS#ZXZEV$+@z9s7)Ghh<̼hbz'f# IH3_'drE.y"ӑJS#7/mʶfт\Ҽ $p~}\K`=7H9TZƖ!Y5LtC}IF/jhkoec4HhrO8&.BB7ebiPWb_h(FV k89AOȩ&lG.:N|Lvz"wrќ/Y(I_r [^"#d#QE,H"3%Â+)F 4`㮹En'ʉ:v(7T;:f1 FlbtPL,Y1*&)ė?L4e kA9k>"F#{뵢M%Rr ^E /k][t ҳC5gzp8xDxV_b.S:!yG䆀GHpp( )̋j!eg͎ /mڗv2i vq,|uV!^؁6$eAp$}vVA#}8DToHY/L#!!Edxs49`@m藶4]gLGuh_ Y57?ķ*=7)kc4QڗN] vx&2yPN+  1p`(RQ,cuu#K)wG kTC#aRhM\zbalydJyDCژ3 n~V8^ S@Si ͸_hD'4K˖݅a '3% lk9P Zg!fy0Q|,}]_Q-) n=T/QH!E^HDQA 1Et&cv(70ǚ\h٣ S㒝Y뻽7Y詔z$UAg7k`lQ ZO*70<Dd%v.)ciP~%ivT ' 5F2eÅ+N/x+P2 91f~yQ&4*nD)!9]mjbeT!78011#cB}ms/<%SфB; ӟ}N`1)e~݅=/RVW]Q!a_}U9{̷s=-q39APkh&%kk6_1Ka _4i$9x>FU~d쯟d$:zA)aQC=AB<r>V|dݕ5YV.H>ޥ;C1!`ĆOװ&WoWX2ve镆9&.EX*p0дs4w{^xsw!mY]h}?)sñq4q6I Qb*&=O8z皗$}#nuaDJɻwdOYA>0kn ޴c6/$SJ [Dm|l+}Z-Da"T0T$TCӅd>aLf<~ d.FwEDѢ))9<9hB?rJ^djܩBf&.mbTŰ- 0%qFp)({=\$)kVet310&d`*#(v!dѠ٢Lgg|+jLr.\B}! r]͛q鯆# W'l"$Q>i0Hb]wu@zμccV/>Fzbh57#ϒDŽ mC\7+c jy$rCg5:,8N4.^rc0 r_=!sW0`q=ZqUth]7VܨMv#caUZVMc^pfFO4sM 6Q,Tznx8av' )K|$ˠ** -mvu0~DYW&/ѪqWt2 !6H2ѓujH\Us?]/F/#Uo:p|Im63yW`=S$ڵ~%(rB fҝiq4 M])iK'8>naF6=B3hsF!SD}VuuڷHҐa(9EʼFa$a+ǁ#8~lb`-$l6l`c.)?l-mLa&,G,6"CpGF?b,Ff^2fKks^"_BIT^AHں#=ÓL/6_dڟv3[;GֳZv~2uti7 ݈Φ aT EфwSG`ķ}-8ۗ=Eetؕݝ4p$% 2Vv(;}#'uI=yJj$b{-ʓWf5l{ yF*D,YӚJ;lᤊ$W(.DV~9]ڰIR߱7 S3\s +cl}@}漴[r kh9D|Wl{?&"on餈;ؚAzYCp E1q ʈo6RةJ .2ىXrD6»ؚ-郂zi?(~p"_"DC+RNku j^3 ]rїXQ s<3_!u"_1lq5 iYlye%nb8(ԁ!\J0Ze@46)Ṣ1=v,^ W VU!]' ^s.Wd2µ[xO'XPx%Ak BNEPR&ў g$] ڈ/ _('A4~233KkFPe%'Xw TJ3as'&[l <~P7cpRh~H9;<7oZi"_82T)PmzijT7^i݈V5VЭ`|Em[>.sπc)=`Gav9hLLP&|߁;Īc'0nWX_5\{«TJF? RU$ИgaXD5G5cgMb%0x %1ipcA0 'gmh#Iܺ1 I@MOW7 - s&;yY8>!yH<&[|X:J'\~ܯN1 }gOz[9omxa=\JH|*Pz*ڼ4G#tݾosDZꃽ Z\ }ٷ 3|ZD"2[?dpRgh7+L Y 6d=lXy8GS pK?kh?z9žsTz {Od|'@wJNc#UiKIb:i$^8N'CzGd4?^)`4TM˄&|^HsJ:0o5SyXfUZZC9e"b lgL]P}=؝ht/A 'ޥ":9F:XSZclpF/^fAmE苪dީhY">52M#pɋ]Iiݙ6bD aB,bՎ,&|fi#I@钦2mމۣ/"PP?ψkwHz4QF:ZJ@1v4Fܛ;}"n]8*Zާn rPqj7de}{adQkDt 4`Ki|U-0-1O +yپgML:Sٞ?LYt#}OW&sh4i uo vyzD| 3]sg w G$RmsZp{#FIl4kIѾ'u8j1}PHRR]Hi]/(\%oVjpJk dp.uLils: cӯO"u̾v7<}@PĹN儫Iaہ[⠙)75cz:IBN"X`' m}Y;2',42Zo̮K6Q.m:K;Z7`8H>8Mr;{z˙ 3QfE~_rR٢Q',%)n+]MPӬF>.l!et[k*u- tУEOD#z9M9 iQozӋ-s3uV$$e>7f7.W7I ]4 @`gr?4{~,jV)! :*[rQ n$9TgW`jLz^Zc[+$ق,YGޅ[sv0JuιCK;x=>ސ(ҐkH< TB ?8_YňA$ݩ6r_E@CP3 x~&T>~}9P)ǘi HRSOO/JWK4#RIzNK̨s:od6'vJfs@ksX?{KTt֬<4hyXqa:. Uu/s@E"L_(8.:kD.g)oDCpF GNMvh6y(T$N+3YK&i R}1SLApѱrS [Ȋs [/,]2ZȄþ6Qm d"i ^:,B޲̨a 5@t!̢bj!WWG>JEs1~ݱ$C*!%j*MIt@ I+ fgmTms#I-pzP7A(ЉDoe֦9R+/U^ ymcIrm0ɺ#س.T+Ńs[jU,$6IBMgy/Cse>q$9.oTUŀ)t3Bc0֭uJs.nȒo*4G,(5wrq?%^p39_ R c< .p&^b.):oeA }fF杫*/y_oKaXd BK/BVmv]*CxY1C6׻fyF`S9y{6UA&@M^T ; hRlȤG/-X{ XPn =`AŹŴQ{gȱ'l0|iL3Y+8k,Ay4+Wn IId4bTGb^WNC[(RQPNZwɜ@UShKMu;.FtIPEqR>b<\n~~ֺO=fXyjp)fTlL <itx\>@G\ і^ +Q!;>Yܔ+ժe6Nٍ}zM&ϟ w&hPHExڧ(e9a:@2vDj*!_l}U)tz#Lws;X<,e9ECo z$NsmwG9GRr +_w#nt c (0Q bmGK}8'x2/6\{#C.LAgKȘEta}Ϲ7E g,1`9Y?wtRhq5hI'&佑2ȭ#fTh[Y$ {`"hwrd7n$R_wt8J6P8֘77suΣH gUqܗO .Jp4`bѾko\$sr-4G9xg ""[e3T cj 77#EԇJb+N_FM_ NAnhGM2&y4p&2&z.֯BI.H`$>˶j%1B߇뽡Ŭ _tnex's t5C v䨔3gQ4]˝(#U2fԧT=6,R4P~Pc}dx<Ω'МiY*2{zY_#Yt^N.abEO@-DY X9b`S{q0A /r]zM^&A:'cX gZ޵/ߕdaգN#'@[٩X+3RWYkZwGx`˖hO=?E!q`1 fO2 ASB{ ۆ)~(QZ cICin}zi!pYrJ`$#Jʒ bGEkC6Kpf뭭ke+WqyaR5ه Q9~jwK#M]Buvu rk[Ƃ 8VlQ%f.%0EW)Tt-H*?Zh2'''[6*Ӗ,[ J6J%wi3 &#ˈy|?AAY/QbO@nk6Y ͗C6UWofkE ~f#1!Y^8uZ]͜Ѡׁ_;M?bnV+ L o~v  yfE]9?37ƻU&rSp&a0 BbPp#w1hnVguKq';8&vr |iFNwu\! n<ߜZ\S\nh >B=)&F.",C?+M1#׍ĩ3Z_}@o~B^b85к)\4 O j&3b%0ie0!.BYF7`&YUf ܮyhppP(h%79TlD^WfS:9s"sC icY/i#'X4r{7_%7bx]'N.'q+}.IxY2+m%{)na [8X3wMc?48<GIѳ4 C_ x?Ps"c t J]h@SERZXC=ZwAvr5n$+`MzɍJ2XY#A PiHDLZzm'"@>1j ,y C0 Spcނ8 IfC(B"ďLHo V"&h:ƪewJD ,;)bJ42V_m'#u6Plb2{R8K\n@{4vʿB̞jbd*~(1 Y ]' eȸ HU> LA 8 T} Bռo8_2^og|#ѣr8⎣NL)hj_*R};2[ o.s>ǀNr͐lcY4&0fMs+Hwr9U Skob`\FŀgZ+=.KZ -f[;?kLS aud`M!N:K_z+u[PX(l;!UB3}|JMVxpMpoi0"5)GyPm6aЏ ǠS vQX #~;pfE+_ y*tGM$cɱ0S0&v5T#;QPkQ9X]QYZh5DfiսSv^ٽ$>=~~q֍%b\AȱV;m;Dp