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 q'  ]S Budan_Fourier:threads=4elapsed=19.929cpu=54.764gc=1.088factor=2.757zXZִF! =B]ŗXf[&R;~iY x$}2qd 6_e.׍2BXHa0fiS,=VyQN Ew p18CvTDSxp] YsSF]a3Sl5 x\&l=2v[ k+`fE:pؓ1C bo{|k>İ*J\[ P0²3D0 )I (HNb4`=0c7Gy#iCR Fɖܿl ^Ewyuy7 Tiop8|H[;r~7}_UXiھwQQ865x!kG@FM1 N77n-QI D8_-ٟAUhU5q XύsڴIL]; N{= ̥٤k(w.FS*ݬm`{,X?0'WU (eA%9pH&Mr2@..KMÙDjvlGzm[KrLkBީQC*A ?2.Xi{6;g)! #ߞ8A'0hvf+mgmX|Z gݎ AR9$pI[<6Zl ɡzQ}n J6,RLp[.yqA7r{1jȹþ{ym)1-Hw2p$ o"h f<ygYZ7zXZִF! ]ŗXiɟ==M*]0tI'ZbrCl>DV FcQ [m%W)g7UgjW>Afc[t DBb7B]$#UW®e/[T%"K8su=6%yVǏ+8\)& gYZ7zXZִF! F]ŗXi%GV#]b߱ {9eߦ*jzےmTh7fKf:K:_S}tWAD\F&ejƸ$-Zt Lh<jXv2a(u%,fI j\*ݏ9321o3 I/od>͜;+4/{Ê$Jis Eĉq\G:ú,) G,,/GGkо'nwAaY.2C+GA?tH(\y0EQilp b>z > ț !xH: Xj\]Í S/MKuvhn{hC)Po1pX<ɢqyU*FߑySŷE┷liK} `3a(C __3wLC@[\*CNf!VBvsggkWZ-WcNn͔СP&a4"x9@v0,<>4eAZp3 ]ȯ^l1% =pK:VC_^/ E_-MgnJUcw\麩ϱ;K.}e*=gł+X麷? @Avds~۩k1J:*',"ڜU`{Kט";jT(O瓎f3Z=CԤ_j, s7=yeW: ye_ IY㐖 U8Tc`q\f~0s^le8͋d0>\E #R{/Uؑ)O/@;Řn!8s$,^7|G6z|to.~h sg h؂]8;$6WWuc%mP*)Y7)I7Ya,ɹ2;vͿUfu+pVmŃ9I{Djַke&ḫxȵK萍S(㍹70{ML\4eSՅNàͫƬo ({wQSXx^^b7dHW@993QU?MJҗœ!2fʗmk+D$#f_YP.8u ] Ce6"KŸ -Ɛ&9h(8LUQu1S3ij0dR Hq|1swMBJԨǒTOαgYZd3646c399685aec11c68dbfa3dfbcb3f294d50d14b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf 307c3e48b41d32d3a1a36b9c4d32d64c1ad79212 ' Budan_Fourier