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 99  |\ %S Lp:threads=2elapsed=35.842cpu=65.016gc=1.248factor=1.817zXZִF! 5]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%  Lp/[)V\gLߏ?(ݸ a0^ZnAحUG|2u?5 OQ>z?xi9ߐ+gUlôCZ_p2w?р UFxlLta1jp 簄6G=ImLTB{J# 4 P3":P[R<%G+Y5y_  yG"͕M?WB̠g*W*O@rH1~{'Y%^gGDWɸ=>/E \E9)^m#qfI!yS~?-.*-Y^`zSdARA(*c11̂l|~L:PzR^O%Hk& du͗&Wtč4Nލ;G3l'hy8Gs_Ąs̔EJDξnCs;Z gpDō02~*:K78IL\캨8 ޳#ď `rųcHHІ+[׊2 ҿ4.|>N^㉥y9,PO MՏ}oX| 7J[2)G@ g~$i7=RonФ\0 (֡'D1~_p`B+ ň3_A3Ũs.7P*S(ӎ{ЂJ5wEҘJWo::X}ɒH6Ztڽf6vXYspfe 0l=7_8RT0XjKE=⣟vHT ;N‹kT(,TԆ08YVj,m~d>Y_j"*`x ׅ$uNZ%< i^i|-o]EB S1F Umɪ7dXn9"*suM+c@1vJشF#&<(-J%9_Dy7eaڰՉR ۨ=-JK?/۫*W"msF |y* WN1ävx |ŭcUH.(穒qHwQ؜+WQ2&:Ϡ=Uh 8I2aUڕ)ӧɜ6ӗ V '+` P/B0 ξa!2ߗl\yoy"nD\$t Ǔ!G=s=A 1c߷{,vߊw?:4p&r3ӆ"(y`Y ;P.!p"s s3sf@O1,W,/?98HZ7$:8~Vc=- bD&HB^$J2G脏lai/Hu`wQ"4#}]BVd+|぀iaUsc>`(ht'*q̊-~':;KCe2 `M=8EwCuUe[ɭcrC s ym B{4GpBp"9/z̤*K  Q>C8x7FRjL 'QS,%5Jr.ߟ%p GqȔȽ*|wKRB[1p~e/VHEG1R$t#ߐo}RiS< ! mG 55'a"{v=+,_@MM۽7Ξ-û# Qdʋf>v[ <;ٷ$x! ,lлp*6\[wgBfP-t +L+e֚:h8ĻZ=k_]pt]Բ xGw{J:yGI*{zݢG?y#Qv. Kmn 2}u<*dzkMs*\m5c麚;)Z-4s,ՑUf}]VfG}Cs6T|EPȝo[+G68җ-HyKJ?_Gn=216 t6ǡ7l -=&|ܧH]BHcހ5;Ȕߒѹjj"EZ,gjRD;2=]O,I9o;w+c s\ʟf,/}9K|2ÓQ"? L+ %TɑozRjx$3ţBEd\G;ˍ"qkA5=UfĻ#飚n G@e)g}^ ig /?[]>4H::Rb'UrCҿL`Q1a@y7c r_rI0=UFtZ?rMahQCW9tlLځ}xmn.^Fv@8 ژctOh| * 'h xա~rKzM%,1flej,u2l\Wد6;P'}\6HxWkVj%JEN=HZuZ&A۝630cQC8dsuw_>zw1b)/sXsb~54|#'TbLI >D c L (oSLJ9(B`rnlă 0M&_b|5)䯔v۴%G5eNțV֭M̋ |z-v?E# [|۷E]ܓ.<=_0HJD;w Ly@X[ |cUn/2uC"@xniLuMQRlk`]qԂSo =Ĥw{(# E)." (;'L)"麫qVDR|WʨX;ߟ'jh ;Bd-7!_tzlj)4R'y`hjJ9eқ*.SPv^O t,S hfÏ8*],N6E߫bxkF̮\Y;H;S-_o\gmyDɮhXujf͗\>*1z_6oDgƦ&9Omh%ל (_%ڢ/@x |cMM)[RaI/5Oԏra#1*RUV ˛3'K{RuqOE+X6,fK~YDwTDE`Z*,V[#Ɇ5&8 É>#C35O pcoL+p."Th±w#B[Sd#E\K3 .lt:ϱjvDXL_喱Н!'sFsO0,; HՄ!J<xaP1>m_^Whޑ$=6щ?Ev&*ǩ0j/SXYPy ъ?R4t`8IKt0Bߓctlt"HBEˡ[P0z A9#7+δThx;pA^D߳}Hic~y Q1X}|;8%oXˁΎ46!0"Gz%{60dٰuta{9)x1kLV>^4?ԕL3f_ɑ ThvڑY]W gMOz;7Z&rL]"MAj"%,ۭw5eP6'|IM5) ?yAxx|b}")OU א&xeDڦٸ_Q5CMM`Ӎd2`>8fqo|wֹd3c<}wSݔD*f tf,-TJQ>F5bt7)=Y-q,$*;P|,1m7jt X*b>gYU2{\M5E lPD!-e(Js@޾j2\6j2l_Xm'q5|&&F~-{[aףSfM rEC'eEA=nӆYIS٦ >JfVΦ!2`ݍ{Zɧ͇ OKu(0CfDt89+\~AH$=ch=0}t5(uMh+.l8x4a+J\TDegnҾNahc:Yؚ__1O/PYMA&/* ]&߽i#.v"\$H:m*ݝԱgYZ7zXZִF!  %]ŗXi%B׆8'2s#fh uўd"W$s-e@J"QN8גYmG[l>Hx `JF֬jQqЗ% h*$t@2PrGlg 2 \ IY/|bMXSGH*1OR4zD6\EH0Ai.ЧRleA\'X.{?3BTKY7*n~j"QT@J(7WǠ1;;"/i$ lj s0ޯ&ܹ&YX#e4:^4R҈ đOOI& G6}-=y oo&̓qUhT߾fĥ3#TY5vZSsy**wMYޑ AVZ37 6^ql~cI!hPà$ LGz%r=jt587Q$y_ǰ:{PwM-gK{پ,WKŇ-P4D\D'-ao /By-J\j맚T[1b84*8?/kjn@0 ȱ*r$TR(L7 L8tYI |Hvd:DRɍs\:A'@溧GC@SE$k% 3HKQ~koϛ -6ōXU3M ~x:}y4Ohݖahs1 AKrKi97(֘;0QO4]Udȁ)]qFk1&<T?aUWZeֺ*g;ZMa3,$}3p0ۗ2JE*ʼ) ] D|!`tNObaDL:6Fbgé;c:Ȱ4 #4T׬.MRiQb \D#+SWV)b~G1"0ˊt QtoexnouҾ@M)35wjٸT8?@Wu-b!E=QtƇ>aTC/V+Lx2`'@b$›7 a 0%ncwL/0tac8CK´F yh>|g)(*VIAFϭI]QNɍ8s685{MQ*H':fW799L:T`uߧvJ,;KCZYݠXotdUHfTIO斂7EExJ?hPu-,}~ lڏ2}Iw]$ q+.h R|WN, JS*U3QG}/xq_B-dKD^!^-lGmi|8L!{uΤ}B2yqĦBoI nN$',%_0tuךXs"zg3ZE{gJƕ ?~)[lKC$壘#h@d5"A ;Ɯ%Ky2oAGo*e[v5ib'tQ66- YR&jÖKv 5h>e蘝ն6W"i0j"+zOȽ-ue