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 %' T < ]S Budan_Fourier:threads=4elapsed=20.012cpu=51.840gc=0.744factor=2.597zXZִF! "]ŗXf[&R;~iY x$}2qd 6_e)dW bt'$+gÁ*Lޜa#cVvGjӯ졐*n2]IGӠi?ik{)Ԅ [;YGa P"~<8c0?\ndv0F"ޮ]  ABJx?uerHEB.n 7;p'RM\I "k*f/ {R:82 !%9]:xمk"6#ʌ4~W7[ x3BeT5 x:EOqeP3xMM sS=1vˬk n:9Z *3 ZVm+6绵U%c=Xېp>cpRHY`+i#v*B(V41R1Ğ \lkž_26.*W/}D'@,G7\Tŗi.P]ZP4JEar `s˄#9 VK#t.IB+og\%D6#U=J+lQ8k|泌Jr+xGp=&7g0{WK+J?њG#ʗ E.(p>aomhiLiZ,HI$#R uoЪd9{gYZ7zXZִF! ]ŗXiɟ==M*]0tI'ZbrCqF!:/[Pw,}dO1ꨘ~ T-7oJGq&ʞ /3> 2TU[f!9O؁ۤvGzR],BJ^;E{TJze}тYBXVwbM2+{XOgYZ7zXZִF! _X]ŗXi%B:g@a5D6isY' ɏ_Jh ~xMQKQ,%ӧs e›~ !& 4# chXmB!-9Z1/L$-Y*f8kH0vP0'C1Oi'pnRꚪ.ԕ +p%_N / DkŹ\7+q岇#Prno?6\&0|hNQͬȘ}#WMtS:8މP!|S}Տn[YLpgtN^5ް#շY9{ʗz0+rv~'BIbCӏ;Imwh4yM)U-!Ib#6{YY2 u_c 7 S*(Io+!!V6Z"˥y``֧-m:t[vypk8@D/[Vbr0>%!Q* og*&Uucxm{B̾ ;"3)ub?Gpl*! 76m@ ]1  {028T?(9LFf踗]jVч7da!z|8avvb7 ka= ;Ol ~.zf.,8AbRX5}FS9Ә(,5}g-HPw0W{;$i"@;*زEgZ@^ 2Χ=8|/){ng8(ǜ9[x\ M˼q Gt릷8 7ܯYm $+f#:V2om?#u|=2+-H 7~fҚB+ _O(Mӊ蠺\l~^hnPq`Qup+ xZa3}R}RZqאG,YQ"ÃAb6φqY?u`h gƸDSvct4SV K+֫C{6iZ3ؚ j(dfma%6X>1f@U@zB ݬwyƏ5b !T#9Gr8n|LZq FirD!ֈM4koS.}-e}$ B:|Ru> -)$3:3VR}\]3&GarϖjӀY"E 8r.^R4g>7S~aKy+33epU%#?P[Ip5ylXcldLBD\xndy: l+YaVlF:59 o/+ VWl' X #\⏷8T~(J;:Ah1d(u&,_uWV1U ,zԃr= U&=&,ǚ } #O_.,?H=Ai|_M! F<6)VKTnXqHaU[CñPuRӊՂE O\?ܰ?(ϸE!A5=eaW-t,a7\Nap6`k"