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 l  HOL-Nonstandard_Analysis-Examples:threads=6elapsed=20.744cpu=51.044gc=1.880factor=2.467zXZִF! א]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I3k0K,wvfog0]Of갔 qYtHV:$a2!0 { p~[nMfPj;1}x/A/1SdWb\ܫP0G $O HOL-Nonstandard_Analysis-Examples[k Pr8{}ZM3^.EbKy8p*XP:a 014aS<؀ȦuiMfL *A,c+O6QI[Yݯ䵕ydJIעMۍ))1qBR3yXbH ԪBLb>B6?9ZmG7m}Tf%@YI@ƅ˟KcQV͑ʩQ.%.Xa[V14(J٪Z|l&̚*=6hywP1~m1y x(A]]nх;B4QdKpW`κ;';XR|C+L|E;&z'P\ 9},Y07U[ǏdDklF6 hyD3^Y V8e&NŶvx\2,9%I jeJ1̢LaQYcA" C`}j@ά)ؐ.IM5w.ltfwD ٪eichlmT\uarNQkQ"\TPй1a#3,RpHGQksع7Qr}/}[U?&NI1p( 9e#we=yF!t/yC/&`u5W `%܋fƒ)q{oS[%o l4)xxCgԄvan?_:\ti `)m@jok҅DP Ζ/F;+yF}'&XMcf?;QGDI@#o<9a.mZbyREt9dHfl鋗"h{u2B[I`X-F"ȥUƘroIB3/GQnZR܆ױ ڻp(@I0H5xayBo&v5`sUWcŐ1D[1[ g c_I%v*6[-3ǂb_4|0 c/J?$rRvwOy#=Z>t̶{L$S! BCRO{Y&F9m YFi@ɫ;TENvɇ`1*]YᱥbVJc#.luMN+ >LbB;. tYt`:.c3@_k-8(}c|`+v< k%4Yp Yv9tf"4Oxͣ,W|<+ƮjFn'[/kS-bU!OhXqhFoE:4 d!{`|7/g{ݨ 8^Qr{Wp@W47'Z,  NzHdFj/Ld7GKf@\"LLyytƳNF]$Ymw&Kʵ9?z3)ݝVwR ?Iwp:nKg=Afa"=rؐbD}Y[_73\ 'ԣҟm~j#ySfqCV'ZiX:08WdxĐ_w t_bĽӸ7W?9 B>@Ƹ}һr72곋F fFC !4e=}~  gKt1yȑ$!TVӅz/tE8ڛC9A2.q-KΟ`be.ms@Rk\*s?8l 9*5;a<3:`\ {Bswdа"o/a2:y̚mk]&t,B M[JaP"JXȎc|$>U?Pw,ey7@4pqPx1҉<(Qwv OJ73B[g8sNJQi< "g BgYZ7zXZִF! c -]ŗXi%:E5ZTH_~кvmę-ӥ~N N$Ӌ`*m>EKdrd[Tkx;6PqQqȧ9u=90@ )cEk52 ʁN zF\?ڦxлu(z/N+}FɖÓqP[@UtlyjU϶o@NFs3#=XP-#Z6ю;{[^ŠhJOT {:`&qO\ճG(f]! 9#DG~]m3T0,WZ"h|,"OM(hϟ|wl^#{4A$%X|vdÅy,o sRmP66T䢄.Kh>*K\#?ԅ2C 'D:sFq9Xe8UVׯŦ '|" s;uaDV0mv$zAbHacfkpE?tZ=.Ӯ_9zqR%y(YN捦] o ya*&q?D5^3%|骞~$:!Us3p}36zu㬷s|-GlqAE<5A@_XE'm/W]Yioyr^FyyRo*/( p7Bi_u3u*C#u*By jTQju̒8–_Dsxf. \w7G>T#pw:\23ՆN\PjI֦:*VG"Y":OU½Wج9[xK׊Y0ܺ9x(R_%P֞yB~\\"Ǩcx,DR iڨi`ťE<"TߙsNmM F_\cW5QuB`478u&-m;_U Tc8_&UV/3BV*N3L(醹GA6_ Ka{hgd邏Iߥ,_yfB3)df> .+;ldI eCJ"a`]/c;satwVayHP$w<್M_LǻbV薿 : fcؗ+ f+T- zTW Ѯr&#junEVPU;aU/J&uK<b0Q5jI_zO1 HgYZ0500ea68734162e2a4cfb0e5560f656718d3ca4d 181424a1a317e84a0deead29eb9e860ac0a9b092 1bc701f8eb6474e542db12a6b783a92904024b2b 2fbb54b601324658c9d20278a9bd89fff8bb7bc3 34221437a109a5594ba7786476b5abb5979a2647 3951c4c5af07fd4fed5d0b5563c77076a06f05e1 3dcf91a101056b97f303a0a607b8222b50ee7c0d 82fce86746f9061205d625fb926c1da3b71e3bc1 99b7028eb5c82e14711845a2a2d7ec04a8bac2a7 d590558ac27bd56791168a8179e1e46d592628cd ea2803e6ad062cad8ab0bf6f40be7356c48a14ad3304c3bdba2eafbcbead0ba4914896db182d08fe a90ec650e12109cd1c67b4e101c18155d18b7861 8a5e5ee34533b599a47dc43ec99444f8ba1070da