SQLite format 3@ .  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 9' L l ]S Budan_Fourier:threads=4elapsed=20.979cpu=56.596gc=0.784factor=2.707zXZִF! ]ŗXf[&R;~iY x$}2qd 6_e)dW bt'$+gAOP?1+A|an X,mhX@Gd 2"~˶ $U=Rgi&W)PY(IzՎ)_gJOpB02J% <ތ~uZ p,@phfI` Xh(WzbٟG!06ɢW3A5s2uem`lvK8{8{.C@[ƻ^Sf(UnP ؀n+Pi!/rkynxtͶCڻKȀp6ΜFE3kGP:- 7$x`}4!rh R>gU"R_a oڭ wnBɧAbS=V { c˦72u3%Ŧ"GqսuW`≻>D!^(,VM@1֢X:\KDs˸w͔s6˾X_jP@CJ!p5$ᷱgYZ7zXZִF! ]ŗXiɟ==M*]0tI'ZbrC_`N|Ug-@I1rCiLhY3t4> φ-8_S`K˹KÚxȩߊnozlYTOoO6y}+;p"Kǿυ09r" \?Đl R~VEPtE=gYZ7zXZִF! ]ŗXi%B  fGh.0nâOw |Nq?oݪD_Ne5A7 @T*>h\\򸷔a&,RkĔԪ%F-?PЮ;ݮq.es}T0b#AVA7VY&kI6)7I ~@,H,}_emapfy)i4z54l҈'@k?) &zg(ܷ!*UD9(志 vF6 `εngxvt7I‰uJnV']CIƆ %N߅eݿ"D U`Kc6􍃰\FQ3Hh1DfpyHvmY@mRQ/Lw3e!3ʢͬ۽!n0up̠IChBxRsL>"͍PM6wL1+E.t5z@`Ǐ`3FNy>"h+9y;eLi# Le5Vl zG3db~şK0 2w' /;\ k-]n<)Ů_#T >7a 6;?<& !?{xQ']@ԜkH]IFk7F0b3|D-$IcG@̏u`ws(Q Cs{&b:"DV$+<, :"v|Ѣ$2q\S4'$;AA5'|a9~nlT@CӮXu٠6Je0y hҟRKXn>ޝ 5SP*F_v8Hč cGI=0K)us.hZ^Rٳ"Ap`wSx];<9F1#01[(L\O6' k}f[VN!i E40Cz[m!7{8nL猥J1#}ٝ[p'tiE3+ `r%jZq_8ckPSlIq~z솼Q_ED;Σ35Onџ- ur-9d?YAT Mx`݈ΒBM_Rkvubs"+ÕÖx$Xɒm:#(T ' mgNM"}G90)D~@XJ:}YKm/~qkN9iьؠ9苢iW’<͙^>+5ǐ77r,e=H&iRHCx**#Lгw?g54O8 !g#huȓ{lQ;S:|7dr{j2ѯ9K%s ͻ08) c;*l.Cs5:)b|@u%#KjALc9U 7 Q:^^P'XS ="eBA6DC^oPA@krMrƉcgt 7wHԵkL`(XQ6Lq~MѩuVG[ \7c\Q\'L]hBV:rZlNܒnLXfh<ϘC*.bA} ma"p|\X}U L|=2TD}*m 5l vv#S'fpC< -Wk:v̛9FS6'&X0# c߭~SZ&B_-X9! \KĆሃRz`4VUDD G豤@? rJL,=\¾-yLz}+@dfT쬑mp ͡Њ G>W/Ck8)Z!Y#yk\K6"nm<\mxSj@KqV6ޔ; xahBNmF#~,a榔|ρe `t܀hN gYZ58e6ab4060a0f3d62b32fec4d60b451b5e55f23cc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 005cb0de6b39b5f1f9153f1dd6a340ee1f098f94 ' Budan_Fourier