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 ]/6I}Nur#2bVX{B0(4܉g܀7Nht=]Ԙymį= 9&_47Oa9rp* gЀ,<)|KWpws*:iڮ>8sR qaʲ;nEUum D\pN@m e>__8Dۆv 6 l;GxwJ1$Ugs8rJ<8gq= dQu[vZ B' $@%~n U]KJ;1 Oi^|30VO>et_z}jP׀l wTz}aJՌfq0Yϫޟ7X+ NǕməK(̋UKDu}8r:L(6HNŷ|Gb'x;6^| @%{B-*~ ƒUl0ژMl|G=dItD7WOڡ=ϛ raf$l4+q00F 4n 3ky`^iEͼCpݙmnf#wp27ZC˕NuRۇ\/2p϶Jdg>Fkz]&Rt D/bFjRMҠgCi6ccX@ ވ\A}ZNQb3L#D>_csX俛bms.R4@ {MAqy`V5`1.yH<ce:x#X{Y4l&(j֦*-m7$\M067H'0z8N&QLA@^ 9wacR\}R-M>ծN}vKl"#{@%PLL'Ҳt&gDI Zf{]fVJl%jmUcxl@%hR#ơ9< 8 ݽh]{I&i!iV*\YIY} F;E:A6J\Y3tp3Pd;6'tu (N7lEC4b%_kJU GxhQ oc Vk_s:h&i?od拓"bF%+d}wO+һՐ!dzqn)u݊ }|\0?w̋KFc0xKr\%G'T'-)B VŨjN?El!jbqT0؞lFP~F#hJ S%6`$&!!hyTщ,zub/RN]YdI5z'\9;8y9lGawN^w\;w͑q`HM:Ϥި(K_ fLi ݖHg̗9cO/N~CdbTTl@ȴ:?0B4:\5WDnB=Rܹ*uuFGGyVl!KD$F3g}-9䢎^~Pm${ޚPʲ;‹i]TJ B)s@̛bI.xYRtvj4\xáiT%|;Ae7k@;.{I@sYsvp yՃ̂'la]V$FR8x^$+o֪+ /"7o t $E|1XB=Ŗ'r4o<'B#mLUРǚ3 ڶ%%Bќcn1щ^WIbt:DY:,dדwwO pu5P! Vt>giG0փ/~`(ZiJXX&:үCW kLh@;YjǠX>h%`lF@)Z/@uDbDQ˃}掑8oϰAcHzc?h'ۋfMJ)[DN!*k-a~S+Q4ě+ym.[b_tإumt*F%'EU,c._tlH֣oġT h?'(ך$5K*qq[w{wb`Z%Yu>4!X j3nf!G=Pۮ*,]*^<4U`n))J tK{`t&TGъ< vOPxo>C>&Ɠ;`Ҏ {٠E&}RqiGf_o8\tnΣJ@o`$ aF: Kt$mT}ROt7$ܮkՙ]. $`DٳCM\,t^F}loׁ#VFwMq.P_ b_uP "fcz}+fac(lCk[PO# h۰y5ڭK'Vlf;F"Z}I2!g'(n@yk6JYA cX|t+͢ JS n( X1Si#TCs*m˚wF䤞3QZ/ O[6}!>. 3fYkMO|#t85/Ԓ]S}զ muS>Rh_ğ>m iw*yv䈲>S8ü"8QADi ^3s\.` ѹBܱ4x؟VirL~tޡOL ܩ_|'g}yZp4}@IA51vfHGB6Nk<0!m; LAuĆ=0^Fw}Is+>ޛ rQ!\}Eh $3[ؤԢ7 { 0nXm'| ԃ$5e9HYP#QBNцG~8dh78˖-:8Wb tլy _o( ێp̈́%7~V zTdb$RG)9PPtݹAǾ>u76.>pf& lË&x$쿂 XIQA?cE<\sjy=F64Ӱ2rOV_b Jj%?U /А.3a,. 7 i߳kSui2&bW FV`9W=^swLǷ i! +tV9bzk̶&W̬_\ ?AJ};;?=>ĕ\=n >?uXܰPU~_p 9?4㘝]^U.5c 8 uHi, >gYZ21a05207f441cb47e09eab176a9953ed39ca4c4db7e847e721809281cd40042e7df94b0de64e4297 6ce223894e46d1df3e1b9e0af3ec073a9ff7ee43