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 "IDD c/ Abortable_Linearizable_Modules:threads=2elapsed=77.350cpu=120.920gc=4.276factor=1 !I Abortable_Linearizable_Modules.567zXZִF! ]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3Y8eV`51@T)槩2=lS0JD'jYv;vrP7U8hN WpL}W&Z&v3:GgjCCOTAټv aN~(sb%&$VxU9fI0 m;Mnjj.ʩ2XT-dMLE cw&}%5@ϱ| Cw e]TS-#R`!P=[9oԭ5 ;iW^|#-6/峎)܆4D[T6JWCJ{l?AcNP_Nk WDR5EEL-r1_f%pzHˉ;g!P$&RC|>D2wp(c;|A$®参]7xFX&;@}Tqt[ĭQ?W ꪌKpj5J"$ktB229i^E#>l6=G5:y/ "*~Ι|qv?#i3x(./3:ӕ)U45,@Rͥ^ 4EU L[2Lcp1=2Чh|X\Píw^9QfkS9NEJ $lU,JuqUɅ{f٘*O2IChwG3(xym6!Ic]H f5X`.`S)[v'Aq6` *S,NGw^N!]/!ZA$ȕl mQ&IG$L%S,sA-~Un.lǻ ,dTq_aIsKӮX$+Tr S>2BLs<)t|MUAq iV V SX昻@5,\ɓH;!\d}$F<і?NoA |#Lr Q6sܰPϸQ5تx6]JfuS6Dڣ>o(CE]z߈qX{9ԸϪC1O4ˣO͉j}bIL௑sd*1g "枳,0v]W@[|isWhrUȴrd8Dͭ<ŭ~@z!:/X.QHiv)Z? z2v@)@DoYOG<_~P~vZ Ix'>[j~ȇ"$ƎTJu{L:HFYoëٮ n %FL )ue&Hx>ań+(oY vk2K1FĵСsr2Ŋ!lNDR,Nv( Ƙ!%[S#ٖ+[Vy'h/,PPWE:FlUƢϖU?[7/ AE/W9<#@k8 6sv-:Y+!/:$YjKU$Q7$ějCW dyǘ[pB:jj)Y|<8F 6 Gppl`ܗ&!}Upٺ$ӈ0،h<[Z/˜!~4M*oM K>`N%M`NcOq>_,z_<^O)!uMtf$R<{!]z812v|5'ECƃ0/ŊSHpV֩ex̷"IyɔYv~h$lUrfȓQI$a FJj&xwlG^C8g} \7YHnkrEmQ(Ⱦlj|feS.G9%6lėJ+qzAK̕X;z5}3Ɠ! M0 g1"˹5_tuQ" \ B=?T6`hN)_? ay䔊CH%Ov)v <)l0?hmL>.w 8cwB`넽J{<1iݹXiQD;க2Q\ty.[:m?@`\ګH;wC.j862C]uT+HՁx>;U53w(}uP~!BXN8 [aPErx6rU+Gۍ`Da oh+e8^9?2Vp ҘWz%;نw5ƣ|]ܙ>7DDZݕ9a aĭ\&ZSZ1 ?&h'gAzxxo*zMX#4!.%> olkOz̖h0*CLe'0qpD:{GYq+p|oՍ;E}> j>Kޣ{I`: Roo|5PkrWA}NzӤZR YkX\vȆA` ;VICVZLC6'&{Sh$ͺ:1srFx?0NQ P,,ܞ(5fy|o`uv?! Ѹ\ydj+UKzϪXt)ُ`%lC/~AԝTWMaQ#QW6 r6/ ,em- \~ mNl pobB*me_X`%i/*\L {*Q* _[01E(vgYZ7zXZִF! o]ŗXi%Q_;㔗%sٟگqq쵄,=#D``n !7=F#Iӱ&%BgbfX~%uEl$m2MH̓ V09*:2 l]t7vݡCQkl Wc)=3e >,;\ytOs^96-z?G*›â9;1Bi,HX'_PUpLN#aՊC|Ku9 D!CubEJǙ[n!uJk^zyoVtP,`2`&iPxTڰ7> vW}P"!^N@z.,O_VqƽpOsThULt}h X")т# }.)DNxkD0M W"?vZ<-(x"]RԋKwªd>.BV4豔_jc0Z79] W_ ۱NuSkִͺI!=̏B< _ qK _ KC2+ƢF.PhوD *DXARdDjw..wɌζZc ޚ+MZJj[˼Č !?`Y Rzpв g#E= +~AY/as).h5]A{iZD9athrgx|2d N#M^w SDF׬.ܨH&XL>?;К̢⥯o s;{cI&LBe/{_Df}:A%G0u ;Oo{"U^V?doKE-e5j$gZc F&"lD5RaxrQJ;Ząwǖgt;"W|eiӅ2̜Y O^Nr+V9L1?_XAuZۘd8ps58)gSݕ.j8$kBX!bE`k+Csuv ?Ox@yIq{˻I)0gpt:Gąym ݞ'6v*》 2^4F/;^g 4KE]}RheD]>Wz>תG}x_"cFh)Mw 82UXGęBNzo9P:Wh5Գq6Zv4Mbu\(jZ5x; #lrr_`Eԉ{FYk|=T# &n_@6nֹsKC X3$i&6_(=vaS<5H%`' `6L\ֲfib-0XL8RYYNk!"Eu\kt_0*gZg C2d@ ٠J$tI^'K՘q$Z8U"hAx|\j=1;Fb`2$"\W܏Sb|>c4Q^xb[Ų{Uо% R rǫw%+PJ~<~׾iQ 0%D2[.ӃXsK v!Ry< De 8C>1/$-$d>SN{Z?)z!\ ʯoJuKρ?iHev*LX@_ {_͞vOI74v9NCڠSRSc{}.8˭EZVJ}WRDo hL=X$ϖ}[|p_*u0!K.kA>c ]* cjcBg`}Q׭d|"H^wzTE ^tG'| 4HeMye ɼ#~U>r]0o3? @Y5Aa _]-#Jk*dsB.#JwgьGq'XWAuoh1O;«Q<*NU߽Ih7g/HO_"[Ip={*)pvx+WS60 c %ڞ^Kw0-pn֛B>d 2`HkC5\Ub3՞nj>Ou[XL{5Ms?BoY1%g|BG:{0?P3ۈZP8x5fM,~W&NƱyINE c1p(HHbx;,dXfVL |47bKLs 薾l!^ [YPcVPN@` X6h>]! &7΁sùD T ^ *++Pg[iy9` o^EL֚H=<>:݋!W{WFEe7(25rŜUy]!E8K,@1w}nO΀Ӡ.-|gA֔T˒ J^`eDnAk$Q2%Y RSKpSPZȭtDݞ^kvǟ9Z @c,8@mKsbI ߳1&2FU4I)_F1𞜶!/TiV -1@jNU!ZJFUb+TE֣{V~D ن\+@(d0>3$r+Zžt3o7]馮kiP@@y`%w (8AE"ܱgYZ10487dd2f4d8699df14c3680d64921ab8479dc30 45c4934f1cbbac164f231f0045e1dbb7811a10cb 4f907c7274c85be908794b6aabeade510546fea9 7da98085641a29624f635b6ad31482c7327df3e8 835e1aabfcad258fa9c4868c7dd6a211fa3623e0 8afe05eea8c05d3353fd9c312859e90cff55cd1a ad8a8afb5e787994c9e363e9c372b7113dfa9425 c9535fed70ccab764c54371a0f9a58d4bbf1b624 d3f54f950f9a08bca0c34f69dbdbf5aa2c89c37f dcb85683ceb493af307b50c9bc5ee30709f1b642 eb7bc95ea88041f2091a9aa1e017cf88e212111b fb7da4d16fa90e303b41eb16859e10ea5ef4927180f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4