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 xx' D ]S Budan_Fourier:threads=4elapsed=20.314cpu=55.124gc=1.084factor=2.717zXZִF! ]ŗXf[&R;~iY x$}2qd 6_e.׍2BXHa0fiTMLћt5YBxr!g}p%b5EmsT<-tɷIX5HbYe,dҜxk/0boV !*~lej.VM=Mˁ=x0jA} ?#| ` /:DT\%--c[# 2fTj$Z짷~lZIZ\z][_.mQTo(aʖuf3Io~ ^haܥ AшG> E fd&#rfRڧ, })@ ogJ=mȌnotIO{jGSG!rV)gcMNr%pAGJ#&@.c?;KaV:-`(N C <73vrOPY{AdlR#] HrVmc_Tx :d{>Y%{ٸƽNeǺ"kNJP~4ht/đ{vv(;Fb_k¾XQKVC>K 41K`솕o9f$CtFBRXbϪK(t>F}\،118{E6gYZ7zXZִF! ]ŗXiɟ==M*]0tI'ZbrCǖPW7B(tI5 0UVH6 / X118/ N_Yy%2 #@|sx :ܘmզl)g 8OQWZmp׼H1GQ2Dr^O=gYZ7zXZִF! ]ŗXi%L TJ/CĊGfi3t5+!%ˤT:=(onZ$HXگxڟ<]}eقX\+;T򞼇On&^rŎ,<3[(ev^+yvy7M l@Se߃ 26 dѡ%W= eS59dne06Ar`TϺF6ۯqiXԬ$? e#J/V@ڐ5im!͹K?yWf [I~Ex"33FIicoYǘ޲adǚ_I[33W[ck?Jb4KLQ(З)W9ˑk%nI⃊] q #^]u;mUnjMSh *ACvHpYN4Zu{Fa&'}vA&d'xQhf]a?Hj5b7Nt @>-IiPE_dӟL&saGlz +U[^7 C ת~?-tCv`N_F;_x%?qMl`1".Z9B]/xBТQw3h$Kg+ rxڶ^Zm4ӄX>r8gY\(+&/sPq`כ86x9 b;Ȋ_kUl,VUT>ƕܖPKy*7L ?Z8-r{h}֌abyl 5bAܯ> o=v*79KeJF⤰ٽ=DO/ri21dV>c}b:lvCC9&5=<{RҿE~O8evi)I(7(LOC6_PmٷxMa}w61M:KbGAIKk͘L3!SĎ\W[~F N:'C!";f47aӚu̶a!oSY ^i]>6hS?P c᣶y+kv`]lO[p!;1$ߓ'zXd[,-PMQ-d墚+6*=],%wi&|^wy1Fr}5בИ4?rQ{U^Cs&q읷'sK-=f50z7#KFEy,b@RfRڼ8:;Y[ƌ#/VO?y`4~G5Y'?\% cdݣ:p>6v*BNW@: e6E+uǶEț7IpbqNLi2g0K"uueTMy%i#ޕCd [Q1 r_>wj=ExXMQx*q#m%]Y'0qCvmg'.^_&cI ο-.ϟc"_;aW넓-.EU?qkaB[n3mf7a: ߶f3/jUmG9#ϟ͏ǻ[4I 𨭴4^ O.O `8e%[N&;u1ld} TrYM^vH.nOHsؖ;c~/aӤ&s<@<c"U,9a!$|H5=tg{[ymFJd 1CbVX"ϑCYX\faLp(iB\9GllnM~/K[~xX{''(UK7K'ƊOlmȫ OW {7!CZ~lޯ6Z0`_EU7'ROZQ5^?SF  |`D 'fQV$a'rzΉt6)W-oG:k;1j\%ѪlJsf