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  O D<  HOL-Nonstandard_Analysis-Examples:threads=6elapsed=20.920cpu=51.200gc=1.864factor=2.457zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I~:Ù#@ VM[]/o[FN?SiΘqJbZmoQCm7pEySY˘h(ke),xi9c,{&ϭIcy<ïJo)8xj͎%'Zbg(Ц;XkF.~1 C+OY׷zS/\/٧x'ș4]S6_4uAeJ&B[ XDi*f&dȔP tATȵmB>u򝷣\%"M:\ n3Igg:~Ʒ $O HOL-Nonstandard_Analysis-Examples,UP,;WY(kWv߲FfdQm~1C |yQ~%w9FzF{#e G}gdf"4~8`"xfxA.MӳBz@fZțE1WE} SRu(?-H7 uWJ=҃<а 3)L: ']̦zrjjwA߸B.'xHx&67ОDIFEƄ&gkAw_YLoՐ__\{{#dP>*$wpcdF5;‘1]Ɏz0;?>w- {p`1Gٷe\$E_Ӂ\F%W\i`w\ Z_ <"74O7ѴN DdE޸R_¬$rEP7RQնuc|"\A͇:;F8{7pfFs(f")9LWgϓ!iː{U'}Gi ڃ峓=&2e'VYRD|y-S-AK3SKd_l'Ej$vߡoe#:0iv`Lޚ8R\_Ap;=9-W?+YI#(B,YsXTD䶛U LBŎ}3(m m<:Iv5W7Uafdt%aE+~ĬVXw}G.>{R|E@",J{ N:f\qβ%a>lF, _qd1m[?j/o; f'Uzs` VJ )#&*⯤*=qϻaM#l,)A0z21)G4r_Oj}ν@ɜ:ɐYg#\̅>ZC QBΠTaUH6 S  Vc 6Z qJ5.$Б~d3 \*=dTБW(){D:Kҧ]nj=}^!LN##.ugYC(F8;`[!N`nrQzn_:_}"`sKcY ߙUdw}*}W kҨvvm܊K7g L 'Q,*6&OPyy&7Czjeŗ,K@ joBii[ȉ_Xa,*|bxBz@0`\^yLÉDT ?S)~.D F{Җ!M[. z zyK&ko\Mϼ)q&wpxѠmku$}2z`a-H;͜~Ve0 Y `!h1 `OgUn8T;n!g폂q ]Ǔw6ScF}&0f A"x #Eq 3C 9umZ-h2\2Oa]!G ^ } &6}˩/8ɲ ;=T'[ ״!LҚ{?zvv7KNBOYikRpΥv~$ Hm9H^BiXnKS&нА%` ?9t$(E7ʗibG`/nJCS6ATUt4 dỀ{k3ZG}jŹ!Nd2X<{yg)C~A';ycnb+ 4Rl*Ks7Ij\M*ngpw@ڂ@tÅ 4쏝KQ_*k"4jאwIJ-Y v@0`f EqRRX?S44Wnq E\_)8xwcߑ=Z&c^EqH(qpB;:-}!p8})C_.yxIO,g4~D-YΦ9p|뗦>4nIEFSU_};`eNھ*--Z " ѺQsN1 fuD3V}d+v5dHTYJ+bgΰs|vTy O!29cuS@="` 0!&eib^. m `83FԅV%"B:(i)08 l[̇N Xo<݁Holݛv 1"^gTSIc$rYX?zZΒQaOurm!eꐮ]n^ŜY6X6Gi/h5ǏEzbèb"Jrѡ\4J}9 K 7 aI+7z*3!F pfmLBF7ww:@,v8]qHnMf6# 辥pdrjs ɥr`*^[ KaUI5RxBaDjT rEA,=o}/?KEoFx@FƱVb2%!MYr&Խ5#`_@޷k/TkiG џ#KI cݗV@4botԩ@S$Z+eKɒ_r?ʂ0hO*u2/d\w9:Q ^.|ܣsw.:it^Mj@1_p dV8 9*O[#q~&9RW 5y΢$'oT%g.ِ2?q(n s^㩿O"0[҉BN?Nx>I3/BhaiS$>Q0H2>N 854L#4oP~+K6?_WKsZ}CBEx1YNOqvrKOk{d"Y1߁`;$AG"`vs R#%eTW!Njj#3U!QgYZ7zXZִF! cV]ŗXi%\#O3Ovj{U{+N>Pֽh` !P@i-1T^%-IV `J`p8&dgP-+@[&vYY!W*|}KNp|u5F`}z)[M:Vj*GA &P;AW>%nwðqw .%,k-yφƐzDC2309}d]˅UB+r+]w DS.0D-fۊwpTr* n 7gFK۪T/st$V`87h+r&2:e-@ɶ$ y26{0zEZVyȉDO ASy=-r3,x?[2Vץ L̉W2ì4/o;}iv%aʃeJ <́e[9Ŋ e&ߍF<܈vo2[l^w'._\}hy(% 0rgeKA_IHOKhK\_˳Yf {PyvՇTw1l/X FfI7:9јpÅClS٪ [yCzErs70d ۭ ?ro78ܥ=Tq!IF5BRGe5 c2Z0 4H^kDvHG71m`{ +=O__}&\)i>C=X:ŗDq~\2+/q4WYcU &Xto&xEm:g`*!0 } H&heS,~rT&>j˜@0ћ$g'k3vR/jۢnOeN;Zlj8H⾡3Gk)QcNE=S&1wRe@2tT+xSӅt\*OǞQ@q9Ր{+׏W(BDvLTчIQN"]C9ifw1N;.W"YQME{ك9Q&<⋏ [f6rnJikE[g2IRXFnBVbK>V_Djң}oJQ/$w{.)ZfZ EHY;χy2 \m8Q|w {gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 15d499d9d53901448c343121b1214f2252f3f203 34221437a109a5594ba7786476b5abb5979a2647 74c7b3b9fc805b37404841e74148b8988e671d65 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 9fdd6598fd9cdae3d4d6db0633a3b26edf735651 a6d881014016ac510413e96c94577bf126ea335f b13dd8b0a61ff4eeb472eb64955354eb9fe30f3b ba3b3a5730257d7f4916bd70913829a914ccdf7a d960ed51846a66cf16fbdc1477880036171d60f80c07da28432d519c95f28fcc6765fa1dc9b8127e db86dba5b5fb7d829c1100e1ec59430e15f326a0 3482f362cb7a16cc27cd5e66a5e65a075cb29f55