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 AA$- ,, c Lambda_Free_RPOs:threads=2elapsed=20.425cpu=37.124gc=1.436factor=1.827zXZִF! 3 ]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:M0B!awnJ~ܕy5?nJ6sbpg*i L9FewoJR2[ 4V_$z"h׺-NQK@D–?8Ûjy1X3_{WB|UևPf@jj=}]z\ŠӶ7#Lٺހ-8<bnϱNZ3^Ve_j::Z y0T-hl5j - Lambda_Free_RPOs?oG4K tfk*HLq,teoXbmk\o{s?0|V[LH:Țh]Q~;CjWM) {gZ,jcelxt#kITv$*)̀8{,ŭ)iTd]֕뛔jH"?>%I 9̟qb dPLd7kdg詰v=*860Bz"OhV,URHO0I.A}L"@M" |1;_f\'a  $t ߽ᢽz?ׅn̘vwpI%'r&{U8/pzxot߂̒fx*b[BV&K<|Z Ƿ[BiZ|pqU'4+]T&#lx34tԞ,tor`X0sWvh]ұ%YdF,}^-둒8M+S:!vc-;G52Wu8C3$6gS;gR7T]sȹ@NGbz'F0ǁ"t@ b$,Fd&\&筮0lT⻛8CY*]m#ɽK:@0'b](#-9LӣPe!EX `dM֗05ؑVC;RGlbjɩ, Zp~a({~nn0vw}STBgX _:hޖ{~,)h.J~  Hoi^]L /NT0/"DPq  gYQgLq2bܧJ.GAgF qK'.=xe3nJÆױsU \T\B>#7Q 6ć;XW1J(HK1"8d޺W#Bj9gysyG=]orZkz!tx ¸h n@?>t+ #pjd(VJtI!M̉hvH3[4@ ⇣0nq*؃ƄL64V']cKo;* l&V~[:T0)M|$l&'!k_зrf"Uΰ8RS`tVWu@U,IP&͝W*W>-O~~!qBE0[(bܰ$QbmK *Ly ِ%LjQK_^_،hos+ce'`G**-ơL<[v 8&$6/6K7^QpWpNJ]Jz*`[HTl۽lr2Zðfk%OG1(m^|.bpduZsn\.Ԕocs?IN*[ ej9v?4.HͲ*~1~աM R@PJ D_=vqáG$*gʻC(b7ϿXWxMΜn=ꑹj CyoMrM ""!rۆ~;'J(@+pIQ0)<& ^]kl:64=v P4wa6s: V,/{ 5|(–k5 V0]20HS6-)!WZ+5ߌ$bڃb'N 1GVh*/4Bp.8)d51e7Z. 6ݡR{?˜P^F1U3RMIQ>,̵us/BгBC0nPd˵Ɋ)k\7s.< N.RMVu ݸF-^ĹB  gEu:0:}zԨx*@6׀G#j\VFC&5rill[ +Z.k{˽U+".xTI ~ s o3+$`oӔc\SvN3GI0one#ehtO{>DovC@ogpQ궨<%@+4sldDNG֬ ڠ6$]S݆q^jV7tQKpG;"e|m ] 5\KefV^ D_Vd,K7b¸3FSB⁀NrTAg[S3;NUh.=f6HʔܷmmZ&3ƒ4I/X=kr0kC4^ T/QeRHJ&M0#&NSmyMG0>+j_d?Cm9VYu/θ Oko| 2dƍy#7 *5ݧ4ٱgYZ7zXZִF! nlP]ŗXi%R#ڄG=|ѲJMU^W~Yz {i9c*=X!Ur#c7D:`b-a=Ζɿ3ѱ&5UdH X'.2 V=@Dݚ:N\=)M-wlmNx O<"Qjz !{K_&Įj);֟.9SNEf+w:J,vFg? tp֭Ѐ)l 2[3 p*}m&cyǻR(oͺ/Qs} O&%0ė m{ѳkVcG/R["݇,?7f)5~kx n(]<'W ڡ)w'(]oB?E}5U` EUEuԿ ;9YMHNAUʙhRVVDJ"= <ќ~/ <~Gf\ˉɅGcJ-PؿHoxX?*g~Sp a̵.aU3avydnS[LlٲPx+g6 =a %Z _ p7YolngxTTşLjZ+m&CNf{-bGBPsݳ Ƃ3CiLluc 5ߨ8GY#p=j'DJY2pΞ(gi7Tg>lzqbZi}J\+*Y5߈wͥMs* tXcp&h:^E1ǟԆ #.s7m.洬SDc`i%KP