SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 b/,iDj!:<MhI[Tgy'?ނ3I } >_( ҷ}'sV2רVp^[+M2 J0FѓacYY010i+HCjh# PS간V)(OgZ;<6iB$E9[ߩi'&\2m˽6x>j%eƢ}9Y!HنML/%ghn|;c A EA۞T2PVǤ$b>a!w%YqRxn*f$u̇uR)~(eWG%8jsRV–SGDM|)^^a8GAL3[Ce}[6YppnP{Jhd0Y`^"=Wsy, ᥗm _dR(.F`\ NExcEhFgn7W|BOm{s>A'Qٵ| YW'j@bZRP ,Os+_Ox;?M{\ѷO>c{!&> mP]cCdO$9:>2́v0 r|+9=Uv/~#"̗Lz/G lv pCH0{ <JfG%K^:Ȱ_M^:RsWLX2w\3h h1Q:OE˽ [Qą'u?:PK;}3YhѯPRgnՃ&<92n+TloV5D4D'Rdn9JcygSCw[^: uάTly[ }rthz0Xӧ^.Y9r=.w '5 LFyq^e9;|M/ MJ-j~ĘTCl8&/a+ǓԀ`x܅mA X!VmeDǍ\?$|C_X M ! |9i]͜wg) q,׏sCmUucFrD&~,߂ #áџfL x2qnwC߰ 8ᄩ)M1b/xz&6VKRT׋ןv"󣬖6 4gǨڌh/+ KNW Al`ŇԒ ylU0 :|[܉oL'gܻߋx1A&X6ڪ{m:HtrpHEݞD+u'wA5ܻ"dC5V+8j*":ά}

%*λ]ZZlMA2IoQ7e/ӓ&:Ts02T84ڍ/o5!v2Ĕ60j63ɬ_ٻ($z[Sjew?u;]CCI*Sja* ~a)$Aqvi_!&9zєA\|ܖkG'vi,_LW6Z)B|OrB9^Yg֨T80oU9]rE-Eԇ:;ؔsOl"Y*PVK1tL͛r,̵χMr45j ;ՍKVKJ7mPa4eߨ(hYŠ8;eo͡(~mPδ62seKyJUbU}#tq;8ll Y@]Dgox/ 55SHoM=8lYs$nD^/ЊQ%UQ.*gYZ7zXZִF! ]ŗXi%90yXAô>jҐJoE~PNov-0+Ǽ袿կ/~MBM_J0Uc~;n`h;v5O M8\-n2E&Kß8 xNWk: Oܒuj,K p)n7KU_Q`^l6Gp aԟ_4C?0>^vQWU 낫g}ϺQxXG'5[Ӣ\Sˀd&H7pn[;ymC1T VQy̋J6 ! \HSlL>mVȬLWw|ZSq[dcX[>b=_MVs.rE WVX)| _#JhfxT< ̑( 8Y˷oϚm+yN۬G4n$'Ӯ~Oqp Ν0AlaУ&J|uyhN` HpkPmL&,tMύ\V'8O{!GaWވhg>$4шȈT/]`Mi_gܷrd8Ge#apSIj?+GLs݅28m'$<vS͂!{G-Gj0wS~ QD-zx93sc(u44=T[V*y+f[IWqrşdjі)U3tz4 !̉ݝ]6[:NOU7?qH86¹ռ)zs+Hkϯ)´ޮ U\3[ֱl1Meu7~yOQ!$r'ء Uʩ8J²$M2g frZ "Fiݕ\ *I. |s~?[:#>ƒ>N{Z G,KΚp zƐFר(hwk^*w>UO@ena5GSo (3\죲!Ҫ2%y\Ε2???1?7Tj2v(4JFxh'Js]a!r}s`Mt͛ANuiubȡƔm8jW]zKj)r^a̗D\@!棙%\B2좢-%݇j!}3x!ؚ溝.1fZe0 Ӫ.Ǔ4AghkX$HxyCܫ6p%3Nw4>a[$4G#ҫMͨ3$d{I<<$d[m?dʇ^()7_p.}xN!;POBy)bHO]T)P^oEg m\L"}wqR41TB8ng.nZ6Ԑ'L>oM{7;h> 07qR(LE)60Ao,kרAH3"oXvzo/?{[|Х_ݳUOFHrGɋ:<ޡn^^kQ+-[IH`(եalw'p/fG͕Ur:Α3_r-*n:g] 4|]NH-<,ș gDI %;yxIJrM7DIF]Qg("ohf CǷmti?`u B #XEyOI"*z!qch`e1ZumA(9 #v.,N X (ccG1Ӎh4ԁ;@|d!ͼ@4 ¦ TޥM1>c9f=Lgo..kdIRJqW<®e:q P(Ec1$OÈSB֌ϢyRU-lqx4uzZqz?:T0_*%j?˅0_1"?p{l-*4)bWc+\)0xcf6R-%uow%p^ k?e5hġ4 dd! 7?)i{ ۙc@)攗tss\A6&}ek*DN!j<^QxJ2+ej^<Htͼ3j =#5!Ǚ]@7BEj}0~Ql,f>Y82R3C\KC@]j#xtD.fݏo?c6݂9ЏKyHEJO(rE=ЮVkk h\DNw-|@N)g + 96ƒZS$T&䯮XN폶Ƀ_9m=g;_~~$u-=L@ i^alügnOTʘ) yC~yz7r-C-q6ٿs(xWH# 4 lwvȴQO'(-#8o2) s z}w( gQޒ_:rQVh6YSېym4~1b65Hbt>DUvJIxe=cNg"zeeF\F^yZocGs #G5h3pB5@W]J>Ld2xPa0(B6<q{EZ\ v&?]8B#fW3ǂ ܳδqVC|@+r0[a:gp T \frnR+\E 4Mk!Tz%s4h@P y;^紌 5[ Xjn0LЀ`$1YO f!TC<\2}Ы)DaiG5h+<-˘7r~4ow*9ZD@yB*u XƋ+'saW=E#K9B a_|r͙#Q;eY+o_.c u ms}$FJ6ྈ|3YRT&w~I1*>@88sdmշa3sHk%Q~1EJ]B$Mh^w}ӽw?b_]y > zX#v|3Iiq/#on0xosʌ|4]" *$֣"-uV,r^㟞5R3k[YȖv9 qmԞ$3gQ=BP@Ń*XenMNdiv%"ADMR#m!dc"9 o-#ayti ȱ) YϮo+O,;ZB X&0ț%h8S0UX< 9앳e"Ar $Pń=O;ewqNKqaM{^:O1J\eA;l%}b0_u|+ǐǧ#DŽmD,0{7xXqRkT>9O/z}w['JZA ] 4,9N$H@;e6'чMe]S