SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Y',D ]S Budan_Fourier:threads=4elapsed=19.272cpu=53.444gc=0.796factor=2.777zXZ ִF ! g] ŗXf[&R;~iY x $}2qd 6_e.2BXHa0fiT|8˾TG1Ìp#]G`eE4X%>䯺mߝ$ AtLN2-G{"c،pGflڗ25 ;'Hpe=pX5 i1R"NPɂEp/=Vs֢] u8Ođ6pYaw/(jwH?Ya$y6U >ݩ2\\*I(|Ue'wax^Q vͷ ݘku vP͔m+g+/D suUqu))¾:N^/#+S٢F&J.aϻI)ה' RQBb5"-goz<9X4DEx"rb2~͍j#^aiQ7uj$@o$dNep`~30ܶ) y^`vDu,ӜʽSޣEt@x|ܣ ,:*lY;^6Ev_^HCFiDXi8=ClFF~9>cR>X$w.&'ׅ26gV:pqkYҚFb-a&>.@MxZK6 ֵ8'?}I0e*|q5.'2 O)\1f AJ : g YZ7zXZ ִF ! ] ŗXiɟ==M*]0tI'ZbrC-P41ZZaw4{@W3k ۸_Ȑ4Yk*z{yi!B/tZXE2`4Y['t8Tc#M'5@rgPAj*_V,sNTG]aq% |nvF