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 '  4 ]S Budan_Fourier:threads=4elapsed=20.043cpu=54.328gc=0.688factor=2.717zXZִF! `]ŗXf[&R;~iY x$}2qd 6_e.׍2BXHa0fieSJLmgQZm~ jղ |pܷigdهJ|iW[`π4V 8"nR#4m셻QcTN}֬qbG 1붇D}D͘[j~nќyz?>FvSFP/ 9$,0!ۋe{$]^"y)2h_J>>D& C*6RUIɓgBswN׸4Ð^H4F}1!KI!{e;,Gܵʚ$94h'I2dhM%ݐ%H~/*}靚7z\;_^EtM ciuqY< 2=:E +<׌{3`X5X9d׍!x!+aIZG5}>OypW|Mn, y6: 8`϶#co{o@ .Y@{lMh?1)+݉ hGDOR%>C@f6kP#}iV&D=(6P ?fs\U,)9i[CJ%EH>ܽTEEϲ$2ZXUg'nfbU;qE2; jrl8VgYZ7zXZִF! ]ŗXiɟ==M*]0tI'ZbrC(B{f~Lp{3#)s֫= т jvL/i 0G-n5RGtC*<3T>+{bgИ|㵦.hiSԮXWEӼWո@ 7'/iRgYZ7zXZִF! 6S]ŗXi%ES3Hf*  dAbաҙ*R-bsc8vIh-S),qʚIMb|aݪ4H]pPs5(r)&ppz/Ⱥ8O4~3ڃB`E K|jPbX!4\( %0Tg]\*CuEC-n@}Zesz of`Vѯ8~&Ld7_S i%A0ɕHXyާT,ݡ`ڏroH!-lTTVXDZ5ȯbi+y 4( OJ*ƙldE50 S\PT`q`B'iXdY)@aAdſ9r/tzvFXX+EW#-::⍩xtc$j_xOyaUe2 xG>egFly!!Zpr&r=2WXB,ud"qa+Đ96t효Iʱ(IxNT;H.,MN*6vuOdw a6AvK%haN\SFhBL\V}{fa@Z.ED7'IG -ɯA1xyyh}cI9@̮1} l<)(譆12(N%jjs/N Gq`p<]Th ~@ѝ4/(چAȴQ|Hןa<v2WsRP6ju{}V&t^bd0TGTg0Ai @=j~q%%`PT.ւ͇$@IL/n QHwt}VPPS$X2޷BN;[Q랧[Fz.EW:"`&]v̞] ڃ W0I"