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 dd' d ]S Budan_Fourier:threads=4elapsed=20.818cpu=57.432gc=1.132factor=2.767zXZִF! F]ŗXf[&R;~iY x$}2qd 6_e.׍2BXHa0fiSM>|Mf?~ 9g/(ܰES=FT!{5S$Y䩊[{<ӽʁm#6!l&gDycK__!QB<+:I^%/le ADu;مg+J?T?$qDƩ嵉Qb95qr M9>%eF7xèOnN'¬&F01Rs8 Yqdh9.mѴ5u .1nD@q>dȩ>݄GP C(qC_ BzI]dj2̅0 bPi~J--Ub^?a0t8xf u-]_ÁdyZPH~fj *TTt|ȥxm/":$>>El){^!F4*?d'G;8P2@E|I\*3 |U>+Nj X$vID Q3@B5ND~]I3G=%|3yɞPy"@nNb̚7 `o=3~*g:J*H:ZV VLŒ[!6~doetdr䌗74 gr 0e[HQ$\URSe|<Ń8?8:viqbTcϾjeVVx>*! WkLeS/f!=>gYZ7zXZִF! ]ŗXiɟ==M*]0tI'ZbrCl>j FcAo@]׼E63A?zmcD!GT_|BX2QS3cF3.x_ :oď^v= 9im2 D\y΍]ݒV.;S.86CV;RS<$+.7%gYZ7zXZִF! ]ŗXi%Eb⬞SΓɉ O&cMZ]?T[лtZXfAXWЊѹ/Q \ q$ѥ`] V{=k"80{EiCe%ؙz2`֟l#bbj콬qB'n`Wf~*tVcT AӥM%پk^HMvp3n?J vl"+7Y_h 2=^h VJsWOlZrr/?M4|@Ѷ֖$Ɋ}Q63"%~ ռP;;LHB䜟rB'3%f^-"_!Gp>z t32^uiP R=TnPxHrsp>C[c=9i\4RLM붕t<Ý6} ݘd1/upMt+?)ST4'9'O0|0/YɝB!ŧ ys5Y$=A 6űxOf\57;Pwn.Y~5Ann("DZ"o Unz  \/lݟ%|=~ F{Y5}5]'Q= IDd+ytz;V#6aB4+}W2-++!wyy!$nQ4@S\-(mKFVɸ ҫdd\dW/8lpe=cĢkfgg͊xXd+NLFƪ&%{Zo_g;^(eZ.&$4,rmӳZ@G<%Ot)D} cV̀v>ۨ9ϸkZ2|[|a@ h c\~㺐|$8HƔ|6'O C޷`[Ҩd7uVf@_E&12.&"0aP T(~:Z=ꄷܜb^ W:HBuWFJճA췪# te/zR&|!^ߊ(Q}_/P>C(m!7ww94e4&U@ r#?)D|JZtkpd4b8dyqR+KK~|V./Hֶ4VL W/lńٰ*X^PNJCRg%`hAx(x*4G9'4 o*;Xf4ޙQay_AExgb{/iqpG.h9H1hFiq8m,T{<SBZ?J$n#>MHbd9: ^QFO ؞AV5%S Fġ?{U~C9u钪OL9*oa*;BF 7ީZw2%:L7\'5ĬB'78w4;)9d^\r(m錋vʴ/φğٗj/#IBV \~>QmO]o3T՗U;w?̉LuNWȫ=hkDW*Y ]aHqX(| PJuu4(Bx{WHe@}=)rtMK4oН8GpT8f|tu:L}$nlfdaM?< 5ȥ([<ܮ 7J_Sy5y]FqHf2j2W/7Noh#vRQt@"%*gȉ^)\F zզ:H^HZ07 <1Tp$ݮ(%_E^Sb-nVY6_wX1IN{﩯Mj< P=T2c֌Evb`jO>:٧`CXsY`28\$ g37C+q$=KeYCթV-D5.gnߒlݵ lVaQR#fw1慝pTum/AxӊG15J[MTq] 0^N^~4q`bmgYZce62de4826aa812b00b22c3292deee6efe49170487d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 9eb98cabd261987872a337a72e13ea3f0bc2900f ' Budan_Fourier