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 zz{3D4 ] Winding_Number_Eval:threads=2elapsed=84.495cpu=154.208gc=5.620factor=1.837zXZִF! G ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NV&ܰ5\4leװi:0!}|ܾ3ᖲuZJ?)5 35 _^ @CXri BZ7jIF9E%Q*@(yO#Ϥ>e-([]Z|i&0! 6IjVb8s!x_fJsio9"V L/;17 Ge%~V74e-3}|ʒJ af' ڙ9}ߔ`cu c08?m PQfMAOpY faVP5R9i7Ipu٣0b;/ML⇅ux٘Soiߑ'6ax]'cAF:5fۦv_%Wd,"X_@px.ayj B⯺ Y `M\Oë) ,k\^-=Dv8>譤Jڜۣοp콜`b&qP6]RϧbBV.j8в&sd]#`e~c&Gk ס8I〣go3~fUG%c^>@䕬:,{w6(WiPQ[R f`JAkICv'hpHK"U- ]K竏B[Q]Йor}@_&<&Jp_/k*1Lk7 H ǕVzzrՐӏø"?y947<^kB\=:k:E@㇖\{/,\kW"`# ȠeF!i7ͨtk `\lC2-6mp- Gd14SxLݧH ĻrR >.v} Xvq-rY׼`"&[BԌzY6oQ}`|L?: 5hwNc.*E}`xٺ]qv)!ڎ@z2jh[)*C«ǜ&Vew`a>U]rYk-m>wiۋ/O֢Oz䟗B%o h$Ԁ}^.Yt`8x[Tz92[4E"]dմ6˷&xdZv7HM;鼺U l00zr5E9gZmq1֞_vzEmDŽR7t%&1Le8N7tHt W9!6oKG(=ҔugMڡ?I, '<Hj4)淈Psi`ON }eM 1%ǨSv XzakYb2+xG?/A0Ewxt(ÌtYW>x|+zҚ䆴jSOh3jĨF}_Uԍ!ܮ>{E7!/mmoT)vzv \+vYvg#u -Nd|${x\٭ϖ`@2Q/y N3C(;t?5n֯.UGEox.S HA%Ȃ=a$dA7Shzr6GQ`X_T ;sOsNPMԀnफգQmdۤ~ݿ# 7SK)Q0OO}A+kÎߕ,.I)+Mn@EꭽEAm}>__,#+' A4HQli AFbZ/q":c>!&=# e04.a σ_]0:fA=ˣ#[(j6p}FȂN 7e_D [@J@DQ"SqR1/n| 3 Lq֜b'}# udg[*5$jO;m Fߦ3 s!O;BZt T]R/XKSv<ޟ{U&k>,f|GK>hBZ׮! "I0 F ֢!(eMφ$$4|}cEmX%txĶhcdMtv|o(~VY\},ew=_TnIs? pjy=ƥ!R=Btx3~bx/ϗS# nm٦=YM$cЗ S_%7sQ6J-]8=t"aI=TV[zR @B&\ lz|!uϺ X$u(w Z! \AhaJuA 2G7+ &-'4F]TOjmcD:^ !?B1E6@_}vRwVJv_ӕyXRDV|3TuNֻ޻{=g@{hwFl)̣x@YB$g˰4 xF? ;JX`g:%T}t;[A\:x4#sޯ<;gdJnxVH(~3: Rو`z4i呩3 /3.P;ҭo)xwAEt/fбoSϔضKh>y>R^jT‚oܣj,mpJq 4%W*x IdgN7xsCl]_ZK.-DP{h26< ]y!Z4䅤oj{ÀײJ5ģ!eͽԿT {&PZ?E0@:I?V6ue9vg+wBߨj0/ o6>` $ Hgx]Emhj)rOz9Wdz$Y nĕKɞn:aЇ"a'6Rކ|A>m!0zP{ǧLIύP{d:`,@XPPN w|(}|̓}燢gig(b3w}'pkxP0C/B;sK¦~Fo(<)7a)#6<-u[[7 kmv+L绁"\KŇHqũLچĦm_I e 3.>a- ,o=3 {( e}X@[o;lb7Q>L ]_W=W aYOp>5N7 yb*!y𐤡O%:vNz8J-[uyR0Q@] ~6c|"Z(<)^Z1??/Og\p,ޟEsNpœ{o.uB| ek ׼x"#ށcP}[ʅ gU;z%v [u+*T#\S¿;u@Ecvn ]ch4廸Σ9mO&7,dhPőaG3ͰrCx˿DipϺqmV!!ҳ#JCU泄Dh:**$ȣr\ Cr3Iy:X/]P0N tvxPPſT1uג4S`GK$& ~t[#f"Tb zWS'̶сun? 3#謍!dNqG^VBMa]u BFUC *6pS*LҾeI˄!m ܺ I֦xlu,^ tQNX F~(0籫;27I'GBE%i&YkYNfZox"fxdts8[S=6QCLE54XrԊ?wmmn]+cIdJႃEO}ׁ:Z _f*z d %pJ@+T.n a/g,ALe͚ye[23OGyr\r1CuD\4)UX\&H/[CE; ?BM7&l]gYZ390ec2b82822401c69e4008f7163d5cc098eff47d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e c0bf7b6d5b1b478088a3e49438ef9e3f86d0ddd8