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 ll' d  ]S Budan_Fourier:threads=4elapsed=20.851cpu=56.072gc=1.000factor=2.697zXZִF! )]ŗXf[&R;~iY x$}2qd 6_e.׍2BXHa0fiS.Z̦y=1}vAcݍ'>IrJv)o+siS 7q2چPFCn:xIO 7*E,q€wHIJr5+]Sʞ=H4ny%j:ѬeQ +N ppA|U98%([.QkA|g1 YcWmצo}1hLQ"@l^Ph=H&wYCΩ\&A`R%ċ>5Rū+y8c2S9!Ahu?*\,ŕԫb3({gUֳ#? ѧM#ehqu){Ir7! ̓wːGQ PYNXloT ԗŔNWSI5.̬ۧʹBkt *{N 9L"^Y!j4G3քz1< wh1*r^27Kwž!41kɎ3 85 "x0vxaf'V'=_>gYZ7zXZִF! ]ŗXiɟ==M*]0tI'ZbrCq.:14 $cu^5 Said5[/T;3#fhInWGC?DlP_~3:k].w"eWtv`EkWuu @zyWi`xf5P!cu! U Y`XƂqPuޚkn9X bLQEk^+?M]`L-Ԋ~=r_%Rx1= Eߌ,q`օ{>[@kHtb; (!h1ۈuno=,DW(h8q 8`)Oq4 ȼ|Lc|"e 4LVRC ̞҅ݭIg6vǷD2] mEU(@[Ixq\''Jۀ>?_ N\cZǜWW.ǽ}r=52?sg@ "ƶ C8A<ù±8G1k^{bʺ55}"aؑs`볬+mX(AT請DߜN<*{{3"v?bqez %; Dcn'2`aƄvvȠ'#r'NﵻdY]?Qɓ>O0و?EQ挲fGG I[W9oDȑv1$g7B[7-7] [2ɽLPq =lւ[Yp?Vw$]pv;{jY 2Qq&U$Aijv|OX{ vC4}臦#VBay‘PuEiph{,+!QACveǿQnsNK|魆[|}LѨP=ki7=oת6>xb9^Y5˽XkpyD'R#WeSVb|Gbk|Doo_ԢwYAD'E^7rx 5Zf;zj$ פQn*8:NKk؄-'k!B.5 `Ȼ?|5ֆvOj4d4_rY9iFƬ W_$ <Ь'uz^o^!z} K69Nh @9/]y5?v\!ic斄d8`>~/+XHE2Nh1L#bB"Ycf7$yFp ud3mHy! b'Lґr.{¬v@ `;Ju^vty$Gxs]Uft:aX\ īGqG=t{>|V໧ꓵ*POOO (_I+9,qER NTҊcf)N:XhRCWv48ae<]*1C@mՓN?R&J<B*Ƿ]ڧ*G > |'e@pS:l u rNY'gt~}5;V ]. XALwE# RJX&RA]72++&*3XvN"lpktۻ47̤e+Ӯ] g] @me[ӱgYZbec8751b73ba5ef3a5746d7925d12319b7bb74ca1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 b94aeae032d25118b0ccd9683f806be94d108fae ' Budan_Fourier