SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ]' l  ]S Budan_Fourier:threads=4elapsed=19.982cpu=53.724gc=1.100factor=2.697zXZִF! .]ŗXf[&R;~iY x$}2qd 6_e.׍2BXHa0fiS ө,,մ'wѪ3 CЬ>뗚P3F}^?& f7aAJ(kM~T%ƶW!HxBsZ$4Җ:^Vd##IJ]nVu oDmY%-I7Zy׫Z qV v Dt S,}<1#>o:rFyoO\(&*jy6YPkFre] 9f@"Kc@qom{p. i&o4fTw7!fS>K:!D<8Li[Ұ<ݯM %$\l>aWh?0ׇ&j;8򮳿 !LtRY:IϬFFK,%SD' ?]gmow} /[3MՅ? ] >Pmsʱwd^ȴ,_ j 0tU۵eG$Qe;,7Ov!mP>׽cNp@k&IbTb \RaDi ZBwwF)gBLF=t/*PK Z_ǐR7RbDPj\AH;'P䲈/xHN>gx!>Q˽-t&\F{3v2o񽵖6w(34{|1ή'=6l :lC:tC$)켃1<>'2_9VƱgYZ7zXZִF! ]ŗXiɟ==M*]0tI'ZbrCX ᡍ7gR5:rC6kzԲIl)"{*(!u›m…]ɸ'yCsOhOoCP2Q z9XTt_ 9rN9]C{, )Hc⟋s#/P$fu@#<%ſaSB0fRgYZ7zXZִF! N]ŗXi%H7ћLP6OTZ)f]. bc8Zaݦ#ܑ!=ݒ=݅dw+ c1]*DeK΅?;RyL!VZGQҀX"jy&C<`}'{[M63^蔾kiT0@\Iwx^N8>:m(YzE:+)+˰p4x+IߕMO7"LHeMvl#I<pY#5n0fNnSOm7<'!l4e&&}3D],e7 Ղ|@)hg=FX>ΡyMCPT $?d$e*]f)[OAck..]@O1u!7/j%G3ih!ʰ Ysbn`6ͮTR- mCK$)XF6"=97x:VttMPZI b"c+A1s6-w]F2猁 @p ڥ"dJ"K/F?O+mX~&AvC G9vS7 +[tfFD83S-{^D= Xj8aQH/1v᳓^VAQWôG6~"xJ8᲍3+놻N[L0Nv."ˢ&*s6(F6A]jkwvx3P$fFdN  x3M(/.AjMG$Rt&0voNZ*;T:`ն+j Y-1xR<98\ptGx)ě=t)Lb|Po߯emIC) ޵î p橋7o_ӊ?WI;v 7V`f8]h\%˪KVMÕlv1 d񋓴M,^&րr*FڽLfV˅"K}#lP[X<*3 g cF͒^DnPPͤ\B-cZSd|*Y.mu";S+*[3xM#~0P ] ' q~HLw6XO)c.1γgsiH]B(e^%Z<ev-ڶؽ#NDN{ޗn2x4p>ctk)7S6pi*N8v,&+j!V+mm[T?dvk|.uizRde~B∨-#4>H")w\$TUc(8,U|N%ny'hy-ͥbB}GbC%׮aa͛>*QzǕċv!F/8*C-Y,q{UGoP?8/K-^ի.3(mS*Ϝ]N?l3KGԝ|ȿ4gۖn&IOyw%>WU&k9r%1ů! 1W$ x1.L}20Mߨ0/>6,~ !$B ĉ ՠ=.GOmkPM|=.Jqvty@Q5Q]3ٙ͑C筍Kό7sgYZfae58e1a9b2e8b01ba272fd5b688da81c435124ba3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e 85abb972e33d791a56eb0ae4d28a032db01c9061 d91ebb5bec0137839ea177dc3c1570f8edb1dcd7 ' Budan_Fourier