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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 7 ] First_Welfare_Theorem:threads=4elapsed=7.021cpu=24.528gc=0.636factor=3.497zXZ ִF ! C] ŗXf[&Cڝ0I'0M C$Gx_ٞ9uFv@ _DK
@\GVmթvK[#9{]5ß1p2yLX8&p5&Yj?Ou9.dUTwĺGOq;<w>qX&)O{[DM"mk])6wV%4`S\rD[\ U(AXt/Mz.yȱhbD.q$l>姀B@* %?;t .6#-EBr_D3,B}`GD ѾW'P ) Շ⌱g YZ7zXZ ִF ! ] ŗXiɟ饜يmTnGY&luS HZL6D+f7;_1g\O(%F7^Iְӄ%B>?z#>)(ɻXE,?.C1=|(oW@1q^gL}>ff$xW Rۛuyn:-R0ku`ɧia,fML c(z!xl