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 ::7Zahi'ԧm|ŸH(+昹p\C`Z#1P#"f=3yܡf+4~}{lhך[<ҳ?˼ U?e>*`Zgpkl 2 cL xŏ Cګ3d\մy)!K*>z9?-cmF2ˍ_n}l}zԔ.G,g=!i1yz`{-x7L!.k) ?b6GnNԉ8B2Wuƶ s=G$5?alՠ>w_*4^gy`tэ#{XZ⃤>yrФT㎏G^ )幧v kؠ\T&0=}3/,EFEdz|칃Y</_7mav^0:m>7 莴f .5~.ZFOnRZL,+vs X+z~tؘa ;q|->tHVEq6&j&o}^Qs fPTcּxK ޔO#ov N_ 'YQK0W[m݋F{_࡜u*ΰd?Y&ׇ&spaô^jɳ1V󆍹_Hlͺ|^]{r G"ž^:8t_2E;?岌P֮TP񔉏Q0qO 2>0!x@Իr.boHؙI/YW7o3UZ2ǒRn[9J8O[UF[覒^^uE%N2ڗ\v xA(ϹɊNRgàm~DdPk<,v bUdWNpx%/祅ІC7DBq.x_u~:Le+f%&zUK}5o*B|סUk.F1ȗ6]/V?ݔl\ R\ʰ$f6ϒ+Qݯc܅$?'P_=w;7ui;fnhBqhLdf)d0hE ithBb(;hE;έZcQ2REX%w4ѻ+E4tҍA9@n&Icv!5s*h#({v&TKv1<ƺ*A?=/lFFya!=.]%bFL2ꯏQ9Q'o{ՖѸҞ$\p 5-NT Myw@ņn\r%B _g\ #5~K! kRR} :>C?;[R{7zs |CrWT$[>Jn:r NӸTf%r~MBqlo ʐWĈ(Fx//^onNh|:K R}0?h+m$)p;YLlNWT0 !5NlJ=GDn,X{q𪭁}N?&D"{J^^vH]݆+bwEܺXk laH 1b+*>ln[vlgk7rH՚`aJrCn?n+|sߌ*E@SXI9b< W.֟Yc[X LlN3+Jhz2{r~$mh_7FabhQ|mhy8Y[`j_6}+,>MQOܗ0=PZV.4!% _@y;Y ECLAqN08pnS8Gz(YJϲiX[63o7\0@֥1my;\jikШ0UN o8'BwM E62|<8l`,|B{{v:oVV x[>[5*0pZ1alۺѫkMPE!&kE/$KEہ`d$}zOIc`x5dǞ4v Ou_E=:hI_:)wۄ :$%fCe"B(UϋԚTf6v܊j^$u^, < 4:G[֏Q-쩕 u-:df${IOs^K,xh͸/v{ɦx9Lšq3-nCSh{'c[OVH&VxI] Uq1+? kuYcI,b ݟ;3A0KnV[5g-Is`#{j[U}N=xs gl^;aP#vZ7c[ _#N4=0~/f_1qE[}Y3ZlzjK.,aߍe"0$`+' ~R3 آOPIG+KAࢧ7# -cr^fjYZT^dF$}<4toW6K\9/k䍏?/eQYy`ǡ&߱L ݋- MccPj%¤h7˸e*q԰-W!2HYIuHpN2\S-ovs܊R(u$&d;"Ӌ4Jǐ0IF k5&ٺs/Řݲq-+[y ZZxr{ ﹞:!JaŻ҄S{>egJӏDA9?%ƝC?<~:>" 75"wQG"'sl-ȈIޑ> (jWS{BJ$ժWb2Ca[ʧ}^f-Ĕ8Q`|bfC @}= .o87)?c?h=ΐx 8tMX}7Cb-B!;c5UQ!̽8v/vX~}olޜK e/Toc{sIE҄f=;kR;XT#|k` k{ ,5h2כku)P . @h7 G,1j  ?*ۣý'O ,e`oz壨Cy]͞$(>GƇa9L-sR+U.x8DLݎuŠB#\am$㪀,qb~>Q2{I(~ >+y±lAP4-l GcTT|]f)G2f r^#Q[$bI@K9Ѵ) [ Sy_"', n%%yU]n qy5 wG5Tӽ1MʚgzP@~ՆoYl 8W=d5JL ]fmqа(`4OŒ@o_F/]@"8t,%:lp3@VAN<)p]ڀ;s z=| CCqumoO<ˀ͔84v[@oqB^=22wpAs8ZLU$SM ppd@Xw.\WG-܂D+d &mNHƍ$#`/1D :kmvFPxjSQ\3@a%?O sK yJք5 my6Wơ6frc?%ms+=# 0%.<#6frMլAt"@w9^T:ch3wRYE}ėdsZ 1 mx:]'*:3dB"pӜ"cܐ(ك~9]?phf=t s?&A*h O:Z. VK dB˺0uEdӊ|Ytw`AɘO朩Ly6}ݽyi=vy`jt=H.Q%c''d?B98 Y q lm,PY8`NXIA܋aΐz'r)zuTݖAcW`D6+%(g:zTPw֗zD͆/Jr8 b>^NDMcFr(ONZ< RHa&-7~pa ;# q Z|bH(ΡMAlg?9r)=A*yK-mW|(cMے&Ingrb1\ _ՏxE*z/ DcˌdhVm#gc8HEPgy=ѻ9=`>2&_n"=*%ݽR؀dBA$/=h{RㅽZvXpm[MJ]8"abH^CtWYјEv y~P䯩);MI&b|؞rD+V2B\-Gwb%[)N$!p>"[ G?sgX[yuW5=^\8vbLqXK:X=Z]=7264)L؋HC`LJ( _9B 9+!X?C?ɂ+Ȫ0zCy]EfkH+=RڴpViN dkOyŦ)F`iksWx/ex!wߒ_?/IZ=ƕהӀL m[;Lr pNA54SV {S&̶p4Y9rِ-Pih.[r5Ѭj7ᱲ'V^ Kl M&~Bb{JH3F[))N԰`{t^:ˇp*vݰ+UOM6I嫠h,csr91*CaWC \ Lv r b04ؼ|{)BݏiTC&t2!脲|w>HuĞ[yS|<4d]lPmi7[8/+pqurߠ>м+Cړj>O3LHA(ߧ.C,mYg_"I3JI2utNh=q6+Fw46iQV#l/'=n 78 1aW}t^ 'O9*HNdv䇱*>mi'['J *$DjI%d,e o gLY=B|4Az.jVD6\_YhH/|p`eBQT `x Ӵ{D; =y@Ju:MQwFf=Ro}+A#a;1Ui^"tP[h H9/"|Ej m1:-+ e+SҾ*t9N>Sfwu8״ wfP򫛒:%?~' FgYZ7zXZִF! ]ŗXi% t Or+dq.ےO-  C]s-'wf:n:qOݺ[Ш_i94[n᝺|: ̊\ p:젟U8b~sӋ\ȥ*c聘l.nIUbLj*/T6 CLIũ4J#Ip՜Y V°T0-8.(ʋ@&o*7i)+|4&oPmG)B8`[Wa֗˫m**H 9/2Xڛ`UÛv3Q6a2Uj'jz3G%B́<\7̓WNL!E7z/f_|}yxx8V50ّΠ|tM-/S缂@aFf2&fZ[h1wRHdɏ.m!g]?JϝZ3+ױtgkP57* ?~7fU}-bvlLê݆ju `t2[O1)rAIN@kB cؖDD$BEN{0+tD))evkԒDEt'.m ǒ<[u+ U6}TgVJ~{9\ݍ6&MI\ w| |#agp[CQ~RL`OAv"Kᬉ3x}^ [^U9˴fb.;p׽lL^[}cuBˣ/hR[Vt*6?]Jbr?a+Ez03wc>RnxE;I;8O+MBv:Eq$/#TU4rS+"MX3lʥUJc\IK_k{vufPnq]L#cc*7uqUŃД9Z"qsjYС_]`#ehpA-lȬ ]u"Yf(x,|UL9{BX0 lrF4}OeQ}+V+y)o"˩\P%Kr㠊{͆aBT3P&FݣϢvD(W7&aV眜؁"BF Ǥ=<ΥmD> )DN`!pIu¥.XFO<\HYjpkZ;my<.C ϻd$t0.rQUG/_$| =;Kc^t> fmlL)gcfx޹|*5I]BOO4ȕzDnϵ?Wsg:Gr@+!?\{V6"1#,"A\Zč'C@Idi(~5RzAO@ip Y3ݢQRk /(ȣYA'PK<;n_#$B>mxMH$@N>wyF[Ԁ262++ݾj˰T/]{T axe6@k{&Ept(.SL%LS3EBԲ~ 8GOw-Lt]8:y5p׿H,EB޼)y<1A``ojƱ0~_>jԙ#k].U41 5S님!"q/:}=2`NB}+;Q#pp#'/ +ۥT{G"qp0.)A[@q;3t(d$M 6M^fNW/EeB kHPl'"~=xPܾh˞Sb2?(3Au)l6pw/b (Q`9^^|m1?ܡ5;lPo`[#,4FGv᫠CkaƔ (Ir){,On>hʚdt-e+'\^SvwJZ{{MUv8X&%| FkHݜĞ?|lFnq X` Zbu.s;JRmI @H}Um'roK8h]OfYP2uuD Oo/؜oci` ˜;R[Xp |Pr2ݘ"[YP#vG%{9'Z w| 뿤S+C|oZ(ZҜ0 3"-@nEY*ȂB.S>2&T% $?d .ڌ0E]1>)JWMժd[i0vbЧn]F<"xe6H1I3\7}zx U2:$|'֋N'盠[`mNlڧlT)z/仾A-T~ˑ;H}'rd4g 9ёfnSڕW8:jBf}/.~]5,Do%^iGtP ,#KE*\ANG ۳'hpw1~gRR'm"zzui 8Īفy";A2p\MækD5CS~{MQH2'ơZ`^zpI!YZk*ByqCbM=&X'ꌁ~iT|u@ZX=5wMtz.Ea C< |Tmpٯ9C̎7ltC{mJLta rͶ\iqX1zғm^oT>z:[= 7'=Nٹv+P.`.}R@?A)6@h< Z}E]%97vw':5^t"C=ܰIԎ24XWXɾ^W,1 ,RJʙtbc K÷_ՑB$Wk'L >.n!oҥ7XM3LC-Fbfyvee!_]%iؿz+3ŐES UtZ"jQ+LCUHFqE6aT Ă) J`dh :Yً=,fji&,wl qoշx|X*`n苠!{ {UQ"@͉/wT-LJ?U1|3LIÓ6aSATC%W^.~4IQFZymlɱftF v0KU]XIMP]S]WUx;gaL]! ijvGĩj u*$Gx6g^M R"//\N!'=s.FL- X(9bvX qkx'US0P( gb >ǎ5w}Qק ĝz# 4"kU=U0N,  QC)O6 @` N_VtXYws"#oN̫$I<+X}8D6*>w>ʕs~BfC'mCA}ÚVƠ̞HkHkz\p kt:2*g31'4ׂ37Ze-;YUzPL(!Ugn): aa Spq'(nYlGdވ[tXŷA)Q0Xh(%ХgYZ0133cfd074e837de7834b2c68e2ef6765827b0ce 035c5826ec86ac48074165bb294178fb02ca231d 04b5165694e0b259b31305764a4eaa8a81af3ad0 0c40d55914476f1f81c3610144b98625c8d40ae1 0c9a3e373933ca7d6cdfe0dfbbf24bd72afdf4a2 1007c9e544553cab3ff341b8eb08103871194acb 1c5144cb108baba63fb12ce76f891f1b11f4f06a 383ab9730da6c5eca5e5487c38f825413c87d0bc 677e07f23fcfb45d46d620c466e9e3684074ac5a 74328c42f1647d965bd76ef18afad1a90b5fc42f 95cc5274c3259570e40b8f2600fb0b697a4c9466 9f46209d9a69fe384788bf5cdf820de52b65c50b c026bd7d3ffa4b6e5f5a73eeaf19699fabb45630 eb2b17937e94368d214178c20e66840059135c4c ee07a956a5d4e1deb2088bb2f7927f7ded92d28a f46d4662d2a335ae668a6af2429675ffe1dafffb fcaec7b077e56abc94d73649a05762b3dadb80f170d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 5f2de4117118ea319d6b6d7331e3a51b6c8fd5e0 e1ef2dc5de27c6f158937b1ae3c2b52a79b8d492 754f7bcbfab355e6cc81d4949037f2eec902e487 e73fe595507505773006de3e34fd64af85247e68 428efc2567b2be58ea77664ff72d61dd36441538 98274be7d69f043504b9df83ce475836c0ef964d b3cf02d6437a8cb374018d1ccc3837f30efb2a8d e0ff34fb3fb55a9eed7cde1cd8871acdaaa1be21