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 ""S!tt ]S Akra_Bazzi:threads=2elapsed=76.147cpu=147.920gc=6.904factor=1.947zXZִF! IAD]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓c^cvs;Mj:L;71Zwv!<12X#7%'̝{bcÎTDɞh K"ZI݀< 9apMdfI3NFt؜=?+j̶سY忋UbluϛwH?僲o[aøNM𐪅I'l׳6|R%I9e6_iTɶ6%L/1%Q8nЙS`2Vomu  FqoQhV#Ʌ3Wzpi`Y A_~ b Tx= EOz0'v᡺a5{:)cdINc)(:i,5l3~GA8A.|9^x-^jpHv'H6j]ٕ/ ?HT rܡ ?z_QWLTja;5޿>@;Yֈ90|Xz$ ?$CMQ(<a1yV3&N];j275Su Tۡ> 2;L bqO,BSI [w84UKf6 JSOX$Fc9h'W x4HTh KH"x;캀K:;, ǧ]_n4Tr&Pܥ q0<:.;*,USP3ۆ *&/R2 kg(Y rG᭔< ߰;T0@"'ʌvHٴ ez?PTnCsN5k/@1jz.11U(34V1Q#!qḐf7K qLJ*EQJu r:N66a.A;ѳ[_&jnXW?19h1)BU hZ~h 7δ{pNa5RJ8#;EKfW@ҲtgvޡwO2ZBs FH7lB:Q:-rnr\KR&ҳ:^e;N >eD9wW1$ѫQW]u6y53z ~WE{..#6 OjheK(J0􆤸eOe NWgYZ7zXZִF! sn]ŗXi%92M!&E [?uVI|Ka;nJ:T6:9AjC$9)MBh)`yY+vޗ)+ܬ(Gh˅v{`^u4iDڰ-LҼ*+gxQ BL6lN13 B4tXc Yi"=b '=x)V'887WS#Jqe5* <s1 f_gԁAqݷ۰ M.mM6Cv%".T/B*#pSnԻc2uP^,̄Vz0Tv7K"#x<`!( 5o|ˬyTeYQBF5U#&Gޔ~ًi&CK~ arFnC˷[Rٌ!eB-qsl%_Ĉr|6 }S>XHK7zt09)!cn'm fFo̥pyP$NIz$Go`H5ydt?dP:*z{'?Q °ʻ♳Wnu0҅ʁY:ԒkSH:%[P f:ABZSL|eNbqKyId×*$*ŷVhXEFjK  ! Akra_Bazzij ?(U6H8x)CR5Dp0,]a$.(؏vZb[]!!?Pʲ /&dN\zUPD|ò"o.qVΖ 4X90~*/;?4XF dȐcwuNϕR0srޱܥ]]1K:?Ì}:RiIz0>ƿS8=%X.ʚ} R˔¼m&mCҊcXŻ񅜄 廔AZ}kEBŞ rgWX2&ym{\GA)lnVʩgK >^%{q6e>bòi߬ӆrBL/\צ7\q5@F~r),N܉b=`~*$jj'WWh)qFKb:jHcF -c]%{,= J1Rxz)q*~|8kCTo\\GMg;poV "!S8ͩ-aۇ*ըL㮣A<~7भ0QJsO%n2$e so[y<1@tD-܇OyB#eϷ Rq"w p}祻bXСJ ?㋰ 1b bˣ^ ʾR`JJ.MHt!@&xј]"ۀ# -uP\@o|Z2PuoDC#*ECX֚r *M 2IUp5a A̎o)Kg._|i0ߍlW z Ot:~3ͷQb/Pyx@Wn@o,n#ZKϣE9c9q#-E yW]:4/x>v;87ǁnoL쨃90 VnvtA7![ n>UDmPWvL\p,ʛD7/3+i? 42W4SQ mVjA 9s ĉXƔcQHDwAj>8teXR3Q1aS,rm\^cDm<L$B)ӿ0 Cg.&՟c6`۳4ULnwD uic6؍ NӐH ]j+wiA`:H2FQӫlDxaIತD*G["(z.,LWmGjV;Ĭ z}osĴt'!`Kl^lS ǥOLXC*%K!>vS)54 1gAjuu-:X1U"g/غO('~mޘT.U 5FN(#M| AB:}9U,&ѩHM>$O] `~qe 4 <@^!PALsmLV\_ɑ6޶,e:r!Tb2mZ&N4:eXOz%edD|GDs ~$8̗BPRs~OJD`j/JJGƚL.ǒ rK;@?b Śd{g+MѢ-ʹgWyrueS:>4LmK+ԋN~)߫5KWDϣJ EZPoGއ <ǐ"Hni=C门G55f,ẈIߓI:[8\N2όdžU`8e_ZWޢ7):XTk*$~ G7YXqg`|bxQW}_ \RJ;6n(h1Sy~t"[: ")5fx@8 #0"8e GƁ];gJ{k^͏=1h% ԥ[ ?^+zꎩc\%ȶ[/.MemkHAoƯW(['!EYL ^Eyf/QkTsU Axpٽ)ZK0n*5{LNke!v4jX( ؤ˩ &E/.hvyͷkx0vK':^;tk(a%qIbV;v-ç0@H_`H;ɛC*κ[SR@R2߄.1[WZN^o`;zTn}Gƣ7.dm xiIp7EkҼSijXxi]l[^J\Y"ոtQNX٠;GR)z#"8Փ |%daRnb1$Sqp.AG%#H^ġR_dq?:U.0ԽH.pk"#;j:E5 74t \SF9,Erj, f j hs _8Bz(sa0qӥdoݠVnp[aCf<]3 RSzbb^۠rv_YO&vbfl O6{5yMS;uJx= H& ObzQ\4y  mҥ]VX2NÝC; ^UJr/N)m!3'54@ʤL :ދHު7anYG~P{ШCb[-f)WKQ5ڹJK!ARtg!I]z֕CM{qX35.fRP:j}n)oRNgH]A Q{F.׸zrӳΖ5]=ܩI;nl{f$En+;dٛ}z=:o",G`OΐP>:aP8x8yvfżzzFh? ؕ;M0yyī~KO1Ϟ=BD[1v>K&>o[oYOEX gYZdee26570a8b03d337b870b4095d073a901b0779d02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 5d4ca6d7330bbafb70358c8735ac13f48c2b9887 b806235cae4a5d9d12314c884711459bd30ac32b