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 ' |t Y]List-Infinite:threads=2elapsed=22.442cpu=42.928gc=2.072factor=1.917zXZִ ' List-InfiniteF! ]ŗXf1-/6vRZڕ`0 lO"Eu%)w!ٺx=k&o3cVcz#;:gLcEIz4+)>`U4|볌!,(hwm$<^QVL:AR سT^:e 2!V@lX)D#%0j>uI9!Bc6R[ʘk)8IG$ 3h !̣.νx׉&U=5UsHQ? Սd`N:_TFLV.z=o·XpBo(JBS{ۂvcY +\/f"&䴂GB_IuSޜ7Q$;p $`I@z Em zo&^uI(*t/9e"HRz0~"lUX >lU|S zbS@ J3ākl'2iN1rluߗVIt9(f>X*_Q}6qA5.Jx=gN[*'2l//_ĺ}"}jFlĎ}t$Cj84ےE='㮼;^A* Zq]|q9SKE#(/z @JE"/Sx 1Lqj`U#o[:^TYuFM !e<4JEՋ@,8u QRJP|{:LםsV̝GV%)?FU,7:Lhg|PEm>=^=AbKPb\Gqchug6aFd\Jk\<Law6;? *X:QGQÁv7 hrBuU:oC뿌%_CB\z9Cp|i_UHXoYښx!8?վ${<|@9w\ZQN7= p~YfK#z~:S4z(2PE 7A^C3kڜ-G lϞ m>|'呂aL|y$|l5垐\3-` FRw-4MD fiڵֽNuELyhfph &LAgZWpҘmPrg5wzY}(юglU\ sjuA&oz r,_FMR9Mo 8*}gǃ=/\kSJ0+wep)ly}X|4.yˮbq*'ը]vSgBbn_=O~¥.EG&3ɖiXh&72jx헝@cҐ*k,Y !\["e@`vD/gg8IjѼ5#z+_\IV'G%3@"G?ZG;HB*An!XƠ9E)آ8[pR v(*唼-5/v[2oOn ٠Q`^ TS{$j %+$B/r)]_bZv6& ppR ,/b֟7sR5k1h cvاE{GaLKZFٽ%! [IO_w[KE:N)qCɔNg#@JʋbP0"|PL%ъ03Çm)4CEQnҍ>AtXy"`T -Ü؉X0 0 CLdzJ M$F}ܳT^ W`[Fzʫ1nbt,RINyƑ*  $^׶TcV!#5 ɛ$ T0$]*-oU|Mߗnȉx;xq ݕّԽ߂PM* FZ:X\^/ +}&nQT;$>lavN,h@S(:})9zC},SlO*ZA6yn^$%F뛢^̦t  _b+$q90Nʋ$:9w5őRI:5lRր [lH)8"~Pv{皶j1FaӦS8D„l܅+Ew%);!ˎ!t85bh/˿˦mIR>0.&^qPCqt5QIyJ(RNFk b~K _AK:RzK(&ϋwf $H\vO.; .&/2 dC408d+(#tSjQϏ)iK3iڠEz8gLU{zjC{x9V[J#2q%4&쮘rţ2 Wd,`#y'u^1C!^`SYEr2ª/y!g@¶kCKAKprÜ*:g=i)ھoV>!|\?$NuWWXx4udGo }f[.ZL^b%j60FtL+p ,xJp/_@6Yՠ.vk5&.ȮOB'RSc|2n&r XGh~.GHBKU?ȳӊ >Hk{m\NU Tu3U42'EPh?۸B (?<JK[Ҧc6xH}qs[0Pj'4&Dr8]ɳ"k.)~Bl&gbje5D3P'Ǚ ̭sIF<7zs'P f,|w}$#2gYZ7zXZִF! |t]ŗXi%Bz*z^X{I#=G46̟}9Ό,x lViJpzyBS48]d[ptu|īb,_d>»mjf ןŅ ʒ9n0qI`: !Sj*ԬgƧx]Q.PV XKڏ 2MH! ה=`Bgk!9$6hݴz%4Okfרߢر(`JJy"B`\Y %Qn#i>qZ5Q kKヲZᐤ9ĦU y7jJ޷ƚN;R:)4;?EhW᭤("cSp!o["^L #=156~%:sy"#oޔ+s1N$$Cktj|Mn5xaQ*6\ cWE\b*A?S*,~wߠo=R EjOVK7'Ʒ bFeE5࿱.t՗ԡ1in_b7sd4zBƞ#TP|س5oYMɚ߁_ J+õF'Jp5,(7]LffT?є8r|CҟE=.s*+}%#go0A?|]1#a4Y_ v q$>uySe