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 LO 4$  HOL-Nonstandard_Analysis-Examples:threads=2elapsed=26.314cpu=46.904gc=1.664factor $O HOL-Nonstandard_Analysis-Examples=1.787zXZִF!  ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I~:Ù#@ VJ?= >6 $Eonji/l Dk<'FMmf$V.mAdngGֲ(QT\]f Ӡs<>/`E Gr@ _ɢ2V&$fc1Ps#w"'~ wOII3',q1p@9-m )P9 \ibJXDd_|7+զ tMozɅ J r~,LxwBڱ*>G eۨ_;0쀛)IY, 6"hp?]+4.|֏8@.aL/l *–(wl@$bJKS{z^ʸOm=eO!%Q7s?z[8 {CXS'ٓ,W'6JB]eTM7d %JEʺ%vQ^Ӻj#J1b&v LSĆ㗀δ=ڃԞә Q:+7KSv3򎜻 pv!&VڧU բOL9AC!`dEU6fpcbc'EoAř,zy1nyŲyQ۫C/Qn~HkfH@Iȹ,, e|Z%5}3gЇV(#ܯ}¿(֙b>]d㝓Ln]Quٳ7$^ t}/Q쭡\0ҬXzUGp&EReDY'5{($35N&[F"Gd76Ě栆3eO|Du]TC.H?p8>bPAcu/`/2AprI#8#`+BoOaKJ,#~JWHY@alGҾ1# : I<nE]i)1= FPx=uq%6,,IE Vimu1 q3鈺X]=g#<lϭU][r·9p;_:G%(ϛ˄zB`4Ž]%OTBdnOz 8W 1:PB,Ptw!֜@2nE?f6$$8K ƒg T!Sd!?rO"D N<]+FP ' (If8O$4 7 f^6j,㿧EEzv9@"}z[-0_c0h#'0t{WoQy(`/7bY< XJ&I¾BzL:kA ċme1KpRNZb8+N},.|Q2Z1"mHF*re(M@mot$utf1ҝ l^g#)oxy?r'VȌ@ 8_BUI%=~ :6,zmSIl|$[ P_JQ&R ՟ˉ IiZSz*z6T^RM2VSMVʓQ '(h;B8$z n Yt0 Z:C >D`;'X8),;{v0f%^3̾kLQw%sJh7&m,IpwqxTdZuRfG MqDeph ZLM^REk&,sCA Ģ~L+? 槷T%i^Np]edDi&ml.z]`R"Z(]tm6sStTҦb46Gp 5b wsyv0J˸dW5B̘MȔ}מx')PirO^xguB N~X`5\?gs s}~yfeuMZQKB+Ųsj Y颖7pQ aӖ6֣SwGvTn93m"O5MxPm6v@4wF'ܴcC nXR(|Sb^)+};2hQjS2 q>]iZxᆐT-B蛔ƹn!UZ:%   v,2zP8lZn/2B5Py^! ;"3Ϲs_Pk$o.Cx.G>━} N(D_=ϣ ڼOm jj $A([H%bv촆e rw]_ PTTTd!5Ǎ3"ܹ'Dw/q֎!EVC-e"{^<ɚ/;+=EȌ9ܚ!Xdb Imfb }/v7x8=cB;G t-kycSqFݾ=f%E/GF"-T[#^] jch<X%T0 oEC~zpz1~) D'ֵcr2]{Ŗ l2vPzH4 dUw549F[gO622v:BUG2ӎ+I!?t ;`Ch!:4\vEŃQb(lFc_瓢zoȥ/du'y=7P^4:ZH# oL`mQLt` mIcn y~F+9k ddbօ*$Nۊ+KِTl'*P"?!v<..uwq7}/h>59~% *w4b9|ujK E3 9]V%CSRΖϑYTBAsD}=Bص cw>TFsbnjiVvv1%qMU.->fi| |qm7Zfw`fnPmt2BS~9}X>bQ`~֓ 鋱gYZ7zXZִF! zC]ŗXi%>)/F^ !z _K uYZ-*jP~cKzXc, ,o} V<n+$"HS%A RI+ϾȪ,/O^R6|hm- KZ2sm ^WCBҰU 6HzsZ!EC .?$g n]S둕f(6^8JΗuۮ[_58Y?PT^Nd .#I/1}l>ku< {߈ĺ3̶Z/R!/mhc]\ZqEVDp؁tApP ?M.y 䬢iCu?JW'||t0iwvC38 )i9e9zB)Zq.׸8?0WhG3EVj+ɴŖe;DrJ7.~Mz+$)p2‡ juGr]Iw)Nl;1;~Z:so6?iz{ZӛHXkYŀQ>ɔx8(<׫-f~rA3:2E _q: 9*?d[~e M8q s.[",G<:ޣ{] q}ѤJ_] N&/@(Ħ ͈uv?m7OgrXIU_;US`e,*# 6Pl)bVzךI\t}wGOteٵVyEUj`bu]^\(9C??\"/R3DeFhj$ ဎ:ط* W?PA{yDT!&j&Ž#id-,Qsܫˎ0 `\ޣ0 M?\5͸mq,2%|FDb8yD^%;VZQãL䂶c>bVFx3j 3 +aUKKe*G+as1_d*CQaes~ sYG+52sguwiv{̢RzrT+@t>}Ы˦7>/1R3'͌V1xB- _ܞ<( Q! Xrp;a