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 ,\  HOL-Nonstandard_Analysis-Examples:threads=2elapsed=33.875cpu=60.632gc=2.112factor $O HOL-Nonstandard_Analysis-Examples=1.797zXZִF! +]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I( {([τg"ÃՍNH<}ai& 3Z6b>j:M&%bYƎN[x2\hjOe)i O (]5L jGhvɞ)<)3@B jJ$fD} b뭮sPK=J!xe;w=?{ .%?˪ ]YO!^CJYF`LD)% =QL*S[ #NFqP݉ibiנB@~3Q $ ($ꏣ1ғEߵeOF=7хJ(\cVjFbT08oyzЮ cf-Wn (ֻ:;)mh'lX|tT=M{ MfTmݞR0B oX(sHp< ,![/6UXh0AQkR[Z"78⭏*Q~%oV!![zberY!7 2,4}@n4VY;"lI K)|Å4eT :xyo,z^$]_<ܾߛ/~m=uc9V"ODU@8Y@Rp2 ACwEW˸˴zZJ8_Ǥ_DcX~O3 Ni:kNhmxSKٗ!٨v;[! DgAAQ,FO.wT0s^e-&z ANw O{,xw^1i_7y5sM67O|pIΒnX_A\%_B{g~rbt|QyO5w(`өs&|,c w;Mn]SHccR!Xliyb}0*/="ɻ)Q/n9!I,1Y$9^ACbL%mź*,A+RPcRMm_x#DCv##igIU{ (]gC" E=KMw3ZK=:&n¢53Х\U%]t#S ]*퉛+ 4v g`E= LK/UBp$ $H{4GwP`n TedV10 #Vi|{J+Vf-e>gSaN.\ 1ٹ$)M8dz3ʌjNdG1ʳhW7"]*Rc5 Mg:J6JnUJiDr`³l*~ >uTWdEiyM=pf4k, \oZ e,T7%7Y|DVj`&.NpTU_K^~"Et%f:!t"}Z^kZ<X obv4ƨ>[fJ|&oI0:'t'>'1KXMefi/f:A<#`ŀ%kTkW\]/#F n݌*'G@}@1p_)+Vƪ mGɯPlEq뭺Y(c COP҃yS|;1{ 9O=чv]Z@`^i|j,7&џ3uՄ쎩jy`16GBs-KuM^^|C~Cos"s2>#fM^F67*۬;stIfAP$p#v'2s/t9j4D$=c:on5@)H^u/}07&G9?xGDӛƻr-t6IY_t]JenWtq4b3!Czlzwn)U`} /RU C`} qB 06nG(Ӳm"җ\WbjH"Zk]O{^p"˻ b, *Y`jPÔL:^/^L\R>EL=K{uSm1QNDl8Ѻudo,B~sDү.-?q''"9%ٝ0f 7m-'̄b'ʜ'Zkx^!r ڀY~⚇^Y=Xrw:'bfP43H6֦uoe<_Fp\mF,%^?F)U7Y0\-u&ى*@YqMM l^z$uѶY}ܯ8g<\hH@˞|Xz6O'_o<9k#zUxjFew\Wy)am  ?~ qO€N+;Wwaxo`sjP+'vfSL[/naHs"2% GΏ1Hv xYȰ`,6}R^l?ĎЮeM6H4V;_j!:: nI˭!S9e_zhώ|=l1w'֤y q Ra@"1k$ Mw~eH SV&7Cb4kMHB@!9+ 7NmJ|"vfL1ʵ?gehAs3Ats[bXy(bzշ--D|؋+FkBva*>? >7*wF?y\09_+#?҅W>K?|rq¼S xQIW{(a~D x/A_[*.aBK^!Q#!*2)gYZ7zXZִF! %]ŗXi%B4u`_\A HȴNQ@[ a8jDzT2k QBeOI⟽*p]- bX 0,IFus|cJ;("O෤{Ul!96PV衭ba т;mhY G5j\mM: g뀳kX/ꠒݹ{Row;\<#Fϼ`Ǭc&z b#W: %ڂW}%zJc!bc۔h)&lqIZ= gp#}B:fw.hBTۤgo["UZơ6c !(92 k.DFտU;GEq⍺[{`,]]59@@O nt(AkHsOU.&VK1b @贙i)m 6uS*5-_I4_[SN&AhLq,P`؟P%>a̫RZ8"-9-GN(Tm F93}*L\бDB}Pyn K?k㷍юl jP);0G"ш S_x~(PȿYk3z>DQF?HuLMhDQ8{*nV/ZcC~a< ,~M<ѹitRA φ`1RЫA@>{Qpyi~2BxJ1`&J{ 6N#sѤdZN8e2m(0_  m-NpT[{0 ҄<>Г`bBbd #;לyAkS+mMDT9{A[9HE@^taQpYw.6&֮]q7Z Y8O:خF}m y`XcgQr -0c7]$pݢ,NA ,GFF{=3l n9'6$0mX=T geyT9뾞M#w fIdwrfc\ W7a]3۾Dt=mz"Ru1㊠: F%on/ ap}7_ e@E0Ǵ QkҊ0Brp$NZ:`Rf[SBG|&cBXebyNб@Jf ۈ 2}PF`:} t{=D 61w 5A%3!mRN`jxҍ/ %3iF崂r}J"fЮ2N [;ufa)WT:ʾ+6\XW!=NѷS N4 |]w.r _ Wn%zYae&S!sLՀEN #;qkBGnwN'V-JKX FDt+jLrLY%xG"!u4e"C\Jr+Y3i0^q]nzu?QALDIyV3Ts>=5˱Cblb!El;vA4D#lD{:KAP 3 aSrfن$eQD3=& 1캳g4iUў40 %53QVB('ɘZ]It $ߙQM_A~^JG= -m1S[|h~%U}oi̚] K9+{W< [FA G]2 zD*a޵ֳ +^pr(䂓&Kdbxk5?4(Ȼh.`m4[1}-΢VdZ,c0Q}gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 34221437a109a5594ba7786476b5abb5979a2647 3951c4c5af07fd4fed5d0b5563c77076a06f05e1 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 9fdd6598fd9cdae3d4d6db0633a3b26edf735651 a6d881014016ac510413e96c94577bf126ea335f a983b7dacbcbeca7f189237577759f4195807224 b1414c3ca7d741dc9c3828d873306f24e6963539 ea17de108211b9f769daf4c9290a9c35bb12b7490dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903 2a68d1d26b0ccec85985d65ed0926080ee5d6c6e