SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   l#<`;Gؽ8nt*q* .#lw gh,jknx4dzsp?zYZ%k''mԥ"Fbm)kq*Nv95 =}LTVV:3 ![p?gigW #|bҋE c?t.rφRIF[`0g$L\P/lƌ zz@:tY=r"} 81GRѻǪ9ly9dMN>|)GeIřX[ߣH ꘄ]LAk+D~[%.F123-XG~[W(szp(^t-C5"yoYu+Rv, ֳ2{l S#Զ{Q:$G8`E򁾯+0|Ņ(y4g=>0^Ro7F QWIZ?mQ]|D~.%JN}W*f^wU(; 4z3uTUJYKF.ea*f崛JeznPdž p)$)BOߒdz4*iM䀤ȦSzC< Rgp(x [sZRW7sHeV3~r&}hp출3'mLb }!oӜ'f8u2Ie #WuSM;9Z4ӶO EqZ^ ؇|Q{r;du"4%]nKg1JY>̷x o&/\~!v}U=n)4ڥ(ta%^<MEq `K"7sw~H/y(?!x7-H0"`jƫ˻"L۾˵ao@iI纺R_,1A,xeu@0. yV  k^ yֿKIb[IJimqyvN}86HJӑ}'1mٍٕ9X>~hboT[S"/cܼx{hYF#w[eR4c(L;w6b lYB"V-tIY_ y d2ϨI xмfn)$Ɜ<Zv cX*1ݔK7GmP%۞M،8 F.;8>Tln&qS$M)JVx4L-` %u.#:ĖY袆[}l8R-}f],u? VsߚTs am^)OC)k| #{:HJ`\v2$=nj_ r5Kbt#\=zxssji?߯X8ʰy% [ K*RH3R yDʶ q9^+)V;hw5@t9n tat.v˒jx\*B{%lygUNۦ(e|Rnf3+WAŵ?~xH(\Bpw vQ)GdNܘq+{K,q@N[7| Q}[Wq|j+SԽuJ`i|5(ڟn홄&ɔQzwy嫶8\vASĹqn (`u/ftTyv ,B~ĉ*pk@i؁ #ʟZ~W$vA&>1hk o4˫0py} ĈT̀#"H8m;ˤGN46yK= LbZ<j 8/>$i񸠊6,yNXyny m)=s@'4rz9d !5r$ZNx嶫m_ 7Ɖ:DLIŸ}!y"NJշg IX,ZUD0(@rAUu|TVFRW,ALqʠN=6Ɖص `+ŭ\jl6:.V±gYZ7zXZִF! >]ŗXiɟ1?ߟt;9BP2CZz眭5 zx|eYߖ 󯬍Z5(A.y[C6nvFcJNM(c҈K*)n^~# ƽph.лKoYj3Sa,Yϳj 8pj,f-s_eO?cM@>\b>%@zOG4(LbdT60Y;J@}]MØim*A>7b ;tsge'iBui dl&m/TU3 [SCf UG8M>pm4|~\;uUGs{kOv C͍~J0_AniJ}4Fr) q"ME̳x UbƲ`؛g}' J&M53*dVO_^EAʯ.LS#f_n 7MWoi*( )>mVc176pxR>,!a\܃@ -ۄ6_BfX?Yh>}ˇ$ Ζ^Ch@(gYZ7zXZִF! +$]ŗXi%92mLSV/-c yȃJ7L<$Wd6ɀxnS6+ !&瞾R‘ wk\?( nhO\9I(*2#gZ2}E7 ގr r=!*|\JK  >Dp )f盅A^ cKEB/x^^`5 Ԩ?za3$DžP;Q h@R+s.ǽ uaA!v*ÁdwփcjY(\HRQK}ɜdW"y߰6:ȻNkonGx yGez*70=e#8Ĩą́[ v\:rk^gCx $]Ϫ`"&I* JDOvV%79\$?Ggwtd~;*Q7ƣcefnZE]$U+.=u>ms1a].̢>:{U?O5N{ÇT9 rGbZh?^FI/yl>B;tW&nK\y~'aUؖ/lY|dׂrh1(wt^kCtӑjHĵ™킑)_gs /<ש @?st o"5H*e^` ! ᯾J[eAOwp 0̘\G:/]εFe1ޱ߀Kڸ]xwR.{HZ m8wqUh8tu^A)OTB%z<}". `dþ 0, 16x k@eQ,LЩ\ UIFr4{+kQVOVI!/?AQ3v}+Ra$WHf'46 2IkT P(L[F. }I "O) &tn_EgK@I ]$O EsJ_qo]wjhxŊkDTB&, DvGiعwNޓNX5ŸjaQa7!fR\=H47SP _"o\ޒp` rc> XH׫06Y/ xgTJyY BJeT4,i'Ju5/c2C;TAAU{hWn[P2Kg>4MD/O/r4ޮ^\PlO̦(ݗ!"Dxߡ4Z]wx5[\O?MH8\GDE?B9N1sZVo p9/kκ Ψ:[EY01i4w >d=#HQV2xR)_5{%X¶" ڡ,S 6 gԦrX+J'gKY,UXN"7A!λhg\4K͜mZqa 6` uXxZgCc?rY M&+DkjlK;F+G6pSGAz8eNյ&>~YuXx?ANq^ ݣ&Q{MFQ2Gf@.ͩUoݫtl\]_"%ht8>(JxPʩL^B:ZO$4'tX CoH=Wo}Iq @㦳A%/(+3&L ekZzQOX}y!݊d%HC$XCլeҕ\v2=gdO> s4A[ۣwP )je" pDP6x w7T3811,`{~Kdlcf!(DHF"f/ӁkAU+'0~WeqcsP`7AGWCiCJg\'}REHHAtT:!9{v]Ge;##|Ç]+z )qQȋmk=g.IǖȀ~>7Df4jBe{y$ǃ0-Pc33fLMkCSRv8Þ<fCWE2xf V"fɶx2so"\:=G7!}Dt(}< BLEw~яXߧv#?9="ֶGؑHy9ц\O'{)!294?A35;~'R1{eE:Ӷ,+o\3=#y PUNQ+ EOb[&R3?r9nrA4R[ Kѩ?8HP+0$(u;5 ymb5bN^jA/ SvyJL)80;"f0F>(CBoft8z EQsqB2y%ҫ:]Wۧ+'\#P&?eAcPo6#nRRtbR䄁5's n$e纬ʙ K8jvb ?sbjkd"x0v C!:ce/v>֦sCׇblU:*]|"GLFrta6^2?$&Kgg'U0Le /;y"ML5$YX˥SU"_a͐j ok\Ts&$QK.{jE*Q ǫI,V \C-҃[:Ch{D 'LBg)ɀmJ%pկ̖y} ᒠOog&_H{R.nTin6iy%a.[ͣjU*_s"_X,w*ju"%:>cҠ3\Չ! a`rفK.UXҮ^quxto*R_|u+"!d8qf^+;p)ۣ! I͕yB ͛^gM[9j IU$A4G9,=${F>=Vh'E .¡4U0choeJ;\@hHdOtYP--|tYgIY8Oy韺UB@OXw 횠Z5L)Յ.>rϨc]̻ ʆ<S|GZ@4/8cbi1fe lPT,mfl;xlHAjX-B,n"ƒׄtð6nj(+G.JcW#C#"=WxDŽH*|W^&+1FMHTQK[uݖّ:-`=FWfPIjdHl'DbfhuMp욗9O0g?%*ցtƞzѩoAHaA_,3+=Sӎ}(͠QjI1ފC^lnYq(8\o{YaMe&fڏ{SE,\wAЪLy"]?ЂE/ohf-r3s=*r_ܥMhu{jzTמ+hSQ| _=OKd˒ o `RFp&MB75 % ߜ):z%=4ȐB5#$ѿp$\\xhw露h)|DG 4\l!E:Wԍ䂗d LY4`A3EjhTM`"866Z\փxqhM$ ,,.SM"+)0ubYi\V3^i9 "l-^]\7ѩ8 !<';?qcgcb@5Ag`))1AW|SKB0SۥIHسDֶѝJf$h\blͩ@M1ml4t54Uҭd'~