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 00M' |l ]S Budan_Fourier:threads=4elapsed=19.039cpu=51.232gc=0.968factor=2.697zXZִF! O]ŗXf[&R;~iY x$}2qd 6_e.׍2BXHa0fiSM>B,<\j KH(^xbF3*j.%p ?w83 G}ԓWZl@504UM=!刟劵MI, 8ڡ-:`L)ٶY] ](Uqəl`v$e[bAiه ;UZ??m"%Ѵt,eM4f4F"Atzc^oޙ/q3$ r0hpq !~? 6cbh|ˈLÌki Ƀߢk?oD=axyvzR!*~ Ꙡ W[&SdGx<(-M|r&Yvr%dE׮|'P Rx4 %N-Pا _9o pjk %ap\5 _3G?Y@m' cTj]Iɠky:JGDIpS:f9"{N^yrtHV8cmdvlA8B.Ͼ+AcT\88c<-3?]^Mץ&,K |eA:u9{Cd 3Q^= /^Sҫמ3yɡtEܭ9r5#1o8KR^Urh)ς70󟁂kN?YwPc%6;o.X-!쪺7d~N 9iezjEgD2X0Ts\!+/q5lCR[P>sLq8@7o]IEShgYZ7zXZִF! /]ŗXi%G>)=О铭tk2a}LJhkF9q+eaqa5 g3뱓Ds)78*\}wvD?w-ۣ?]o@t, {3>[sD 'SsEyLܾ:f'kJѿ&A"R:CCcGC[cRlne|e>%f1#\'F&Bgὰx`v R@T=ńD0g1-]E4ǠǪ!_܎V^S,K;o k-;ȧ{ǍH}\4t$ʋɥۣ6{kב8֯6cM} ϗhAlt*@%2 DIQN ,MԺY={:M Ml)βY7RHYpm١Qp9g)Vb[SQخG0&+H<}{_Q#R?{KO=Jqvcf/HbjY#F=PYBG veE-o=*Q ]ҩdqRBbp-F 5D{.rX[H#71`?.\XP ƚO,T~5oqobȑD9ћuz6i 2`iJByt8+ڑSV0]2@ɥGMF CQ;8lk*.)>ֳq9!/Eﮜy笯7.ll!\N(i15_؏$|M&p^>/-ґx}g~7ށ7)ГqtU@9h V*va?>y4`(m d6OГ@;a=֠dZD~ OmiTKMY ;7L;ʌߵZb}1+S@%"#yg@=?(OH&hit"nCT. S_F Z{+yCy M ڈ}J: 08Rxm,_ |oQJ&ff]9"wБ_%^XV3haGSNd#{efNR's =6B|[7m +ݣْw)erľT@TNž!`ģ..X$,|gGkI3 ,FղZy"O\|9Erd5MÝ82huJi:5dqwqdZ>٬*G&]F)M&k۳ {VBG(p\1-0D'%P4&w0ߒ0}mi:x2fPL]4&?q|E5pT;Tt1Yr-j?򢰔h1k pEDrMLaSl,1ro`]9;{+? Ţ+仇,SWba ǦR' (9o1/^rmmyGB=j$3@>_@]"oǢ#ƩsmgKF9ܡw"HwvgRn{̎ij3iz-A+ǡ93XncD0 ! S?ʲ"A\iڑ_.RDnD Mҹ7[~Y uoHy}[Gڜq[P9Rц.1{q}lΞ Ir0 /)8xYaJgFPgYZ771d2d1c657d8a4d3c5149579439d3f224a70e824e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 31554a9aee0688a2e741efca4ae1eab669aee35b ' Budan_Fourier