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.731cpu=53.404gc=1.132factor=2.717zXZִF! ]ŗXf[&R;~iY x$}2qd 6_e.׍2BXHa0fiTHD|%~ nW` ,4 (ɘϼL]I!3>0(XxVӄ^jn$cu\F&`:p6"3&*,1saOqH!e E{N],iv{ JmX;b4H6U7^`\|+юժ憅$.(rg"̩wY,jχx$C c|PPKf6;0fe࿂RE?[(C&cC)3AD2T3{PUQ%pVcNTXR\I;1BiRDH̸%NYH.K \.z2GOW(β EO8cTHօ#;j;sH r/zVKF/84V08WD^aBfHb J7ͬm)CU= +zZ؛!pS Za٥ލK !fⓣA؉K:H.ޖinUp\S,چܷ,ܱYL,;#)I{ǃ='1aR/hz+3UƲRa? (5βR`KI95}@X2 jw-mmR~xijVp0`WU-Bl$Z}<4$R@Ųk43GV{.zD K/Gw@t0lqWC譚Ry֏!Xd,( pCF)YjK˰pa5:cF]_[ƦkԵqlw@#p~d6|wzH\<>j%cաJ(C+v==_'3*-VI|%4*$h?cL1rM*\ChX? EkY7t`2Oh^%45\g^w*AJ =!i3=S#lX=>p0% $@Y@FxCv;ͮSZ4#p/D'Ś\- 795 vy.aVoئmUB^-]gp= Gڷ"3(ُ -B׵YZ:Hg$˒?J4b.5 @3 k$w K|ڃ!4 Χɣ~0-7p&ypJxFM[T D &l{{3XFkRn\vHkG -nw?THtCij<Vbe Xx'= .]A;p'eEK|=gʼnмqяSPgB6im3Fzzzdyhҫ/Mq:/"O 9EdɿLU%R}BE O9B*l;'z˪I0P4$=7 (\RFiM}ƪՄJ[h3$,lWgu)MFT4"iϨa}O4Hk,4]uaK{E@!cO5MuԌW8vd:ч͕sEBVwYcМc߼h3XtӻT?~4#0OWH Hyî?P_)@(ɮ.8/%s8}QMM:6,SQQr`-yxg*(o(C_MC{$dnH$%HuRPs/)!F#C7R$E[3j'\BO'@mH$`[: 8q|s]EwULul恢mX ߽<Noa E)e[妈 5p30կT{>\znlw[gYZ6b9cdc59292056ae0a87bfb350a2dfba51f7e2ca78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 4909c2e6b1ef8105dcb0220d99636907a8a8684c ' Budan_Fourier