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  5 5<-$Lt ]/ No_FTL_observers:threads=2elapsed=179.267cpu=203.136gc=6.964factor=1.137zXZִF! + ]ŗXf1-/6vR[x:Y΍s8?ƊeTK(DK-&bD`i>8k%xdDZ帔P).3r,}ISUaՌjz\aIHN,vx0ϳ9mw3ήǬ:jyPCʋ{͛Vc  ƌ%n-Re5'F9UmRHm:rЬ;: E?I7uŀ>E޶S5oT&Pٝ]TcRߺ$D{4DF78gy̟xZ3d%@_l2)Xw|HGtY2?miEOAz2A[_ReU"f~+pK<>fR%N4Pcmu˃\z|5AϓUKt2\``^(y*fXcG%uu<]`r{8i-jR[PdD&~8S^p|آ(i͕ԳtѻT.08X680j|c]l-خ`<6[^<8X6 ΍`:QO|{fFw(/91iuJZA$=3ƙ]#x $etS - No_FTL_observers.}es[R2Uh,rUzCCMTDG\*iڻY񛤇 WyTYKĽOxQrE->0-f9\(\YR| 0R w!%+ rqȓ> ^V(gYZ7zXZִF! :]ŗXiɟģGXCX>J2FOC38[:pWzvTd 3IţDž*O~4Xblff Yf0Df5r%J"z0oWxRuS".ֳbi˶>@'^m_ГgYZ7zXZִF! N,]ŗXi%;6 /yqB@o>VTaIl/އU@oO"\.NU%rLDOZl< ڨCP׎3Bdя0ں|# 쇭iF$q4C5^؁~E $8Ͱ`v^M;EKXЄf)V/k? )ճ=/ BSwHt\'yu(XS X$ԉDo \a*b,}qq_hɟ2 n)o J~r ?CGR&)U=@U 2d[u[kd>*vT_5، ٦A+d+MIZgH48]:#Q* <-scZWGnTi ]UȺW\*S>:޴UD;Ո۱&_܂&t ^t>([mkK٭팳w:+p2kP ceN( |JxѸ7A m]!$7V]m#|1#{gr{)j)Ir6Z<7AsίvW8*$Em0`/'FEdޥW-ς{nhM:;qY ـ%cVnMz#90D8?AP?hU3xYڤ#LAÁ3kABZo޳.ҵ$tSED3pWHzwϱNjv6ސFԌ~R$..!AVInh r3aٱ"FId7VH[; avNEF`X|fW=6VΚфcH564O| 65{vIa \/ܣV #yKn)P˲8yF.Yw!I▁l>babU6`,".':͌"e)j}_J~aX՞-N[Teld{\~8ǀy0X:SWk~8`u[# L->xPYp!x<\5kCMe<Ne׸ 8??[2IG)RՃ:2`M +9d500jO!Rp-㢢v*gc9|wRŵGG/ѵVi1ajU+j3Y1c-$ ̈́SMxoyW~8(L8{.2' f>yy)|5N*IOz!'Q<:3ԍJXJ[%A1cx_a;NjO-ȪML^ӟpw6!MWevULtAִ%B}BJpmFNj5 <Ǚ4,\>Ɯ2PsSϴa)kюl)JQ,POŏ~,]@ɘ @9/2\_Uvֹ c$.ygq|EZfL; ]=8ޚi!KZ؃`4NR:+K詴>],ap^F}*:?L=`B%K3,8tϔxSV S'L'匚|~|LbXOU*Wyb;6>|^ޓVĘS ȋN[BJʢ7Ajp&&|[?>|JE8A(~% K*>Wq,4\Iӎ+a` C8 Q2KUN@C!9ꄷi^l4n&|owji˜yT&qfmղ8Acg@,("ҝiT4 Bb7cbqK@Aϖk OBzK/)f~n"ڦD@8,Tb3,+;m1-1zd+1R~PGLzt(A5k վo۠3rX+ÃXRjn o^-ԯ6m)*l!QT;r[ǀa1R wCַT(:σf]ZlzkYMix\//$6X֦]]:ٝ'rg5ZH@{xI (sƮ _[n^(q*.' s9@ <8DuhyGǍDBG[gJ8B0G֟.D&cf^/؋*h>єu#&p ݆M<3Bel{Ϋ;ZF9Mɻ=Zt22?vיf4ߕ!h;K/$umV͡N^:y{̦|Eh"D~m u1{%X}W=&$%[SXfdG [{ΐŧ酃zQ]4:1V$fnf5{" aBomE 22cnT D q` \T>D;|Oslmku_G&bA0Z}7J2-,3pmr/4U$Jd1&̣D+r60*LT3юyY ^-$/wg^L[9z$zgD~ϲ;Eݮ̌/F>PT̺V@|+d$F)\+b'z`2,,;)) :_2o k+%Zg/_xT[cQ6Ck}<)dP XQzCH e@n:V#VUQ&vwUhcϣ4E'$KxoRRރ89Y@ rظC]B>L骝8q0a^>Mg#i>e6VHz.XF I%̖C>(84mJA/<?u AXD `~Cw<#ά%p-"CR$~]hx1mՁl5yT1_'ImbGRopi l c)6}w__Z|ډG&?LCj,.Ke.I׵;Wuz{e2(OL*1zxN=|Xj bID?V]tA1,s0ԵF0 VGǧЭv/Mo3CSbqK; ׍Wa>\bjUXAre|?t}O7 N03"wĝoW2¸Ut۫\<,onJH eήO̘>O%FH?<*_rʩI6cLrS$&<J@"۩=r$s:VXK\B Iˑ1<E}G">tXjexLݶG};WWNur(ВG&SGF%}mEʿCpؠ\E:EjFTv'[̆즶 Й\Ͼrё?zLPgϛhvo̼(# ֚#44w<#mGg`EѭT U#o]k[+?ORt\IMhZZ}ʤVQ+C0-KP{e 323D[kӮlae\Ίj TP ER@hPnİkK0$=7va)C>C YW(=1p\F (he|pp2~k] zΙgǹ (P{7V>)BTF~z3߀ )kא@G!Jw!i|\R* n񟇊N6[ {0wA N1GoG K;_q㖋 C]'7ȡFGajf[\T'}謮K|gCHr nw_eKژ={v$wANL\8Z: h?,X.g ݦhD2G41yaÞ'10S%nq䪽K|۹~>' )Ȓ=4*X}nB5E wAHCWrʪ@qhGX;˵=OQNg23zźܴ {gfho'#(P"6DGW9. b>=z/65et?8[$H@q=7fx:-Ծ8#ae_p1MW`}\~s2 be#a!3̞OFL%qk林') xScվ=>7 w=D~%Hf7_~!^c?1;ǂFP;C7ϞhC#Pj&1>XӔ4g޴|S;Qu7_i~T}?nlV"+Xo m%x0nЧ B>5!؈x}PS ܬϲ5^ʂ I3v7rb_A";[>#+$7f#>N ߬]e$M u7H_\hrӺcz>5>@ĸ?<1W}g30|$@^-TZ7ƐӘ zss?o[*逇| .hE8屒L#$#[K: )y 3H~ NA[-Wc!Jzrihm| Vxa ̏iX1t[NdvgSc) Ԅ snVVTu^n"O/mP 8m UWěR\@{C`Cۍ5~(7Ҿ2}M<N/`qZr#!^}8Ǭ\uOn&^IOx$'XwUj3;atvY-6ɑC+3,P* \l3Heޖt.V)wِCC~/i{z .C܇]im\8-ZekїyѪz)l\i.\%6Kvh}pKPͫOD)Qcj#pJ>:W$3{g9cMeraS|c>gءgC#kW)t# L;#v`#)4KiwᚃO@0ʶf{C]ofEQ^Xyb(u=*i+[_[7mNwe 4봈uijs~B睉Gi+m7 ݕs;#hs32}uJ agDmm' |V</?@ܥDpJaaKm?Ѫ l~K xV&EBDZu&F3ZߋZ*&l{Ea4yM $MaT/A l3&+~|65^sͥZ,/ubZķ!$t-4e]g_ͯ#U9셿jC3Ǒ:; 9q`J‹&e7^#WYp-qAM*(&zCFRBzmJ4WzA{Ƨpc:*1Vr" ȻqOs03&dIH h 8 3a{XEeh[? b ܸ*󼱅EA! 1`yrgկؑX E|8uݳ"FÔ .\\-(^)R; !tFgYZ359653238ca9055a9dd0fdcd3ea513e191ea1f1019483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf