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 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)Շ⌱gYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSHZL6D+f7;_1g\O(%F7^Iְӄ%B>?z#>)(ɻXE,?.C1=|(oW@1q^gL}>ff$xW Rۛuyn:-R0ku`ɧia,fML c(z!xl Y˶DHTZq$$4j8ગ&$dz9qa7Wfm4A\brjViuh7_J@g},d֭u^!M8IT)w*Qt^<4C&k|"~҂MV`}V@kfo:w ݦi':܋Knqa޹=+Lc,=NqN?YjL׊4`8nEEPτ?ju7_GUHAwmpİeO?Gτu>}lfA`o"B0j9b'FH9խ+L<1D?2իV ?s;"?ՌzՇ xD m *m8p{=n1(pfߤA9ܛ- ʓ_VűqƘ>Pa(0O7/j絸uax΀S<˧[C1:{\D=p0 fxgYZ2381f80bfbe48be2a4f59f2b76f4ca11cb66569e1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 605abb464c62516833505a816fca1fe0cc006c6e 7 First_Welfare_Theorem