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 s7  \ ] First_Welfare_Theorem:threads=4elapsed=6.216cpu=21.868gc=0.460factor=3.527zXZִF! ]ŗXf[&Cڝ0I'0M C)nEnKd.2xTSf'Z u.IӃtJCYāwp p ^@zupǒqq }lZv G(6VQd7e3o91xrVFDF"k$1м߾"ilV68Y2XdJ{A>n3ŦL[ DG!}/Uwj|p)oc֍[c¹!!_c,dZ/llgmQ iOgvs5t$ 42;SU,D*C@l-|ޘ͖j:?d[V׍6mł#q-gYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSIo[YPN5LX` (!5]x٫S!ięu)LgT||6K {um̄#ԜY a%}m r{ @]\UXqN'նjWxT1[ʑ+%hcDYUjv26oPW-:BxrNF@#; a)9խ{gYZ7zXZִF! :r]ŗXi%G`ݪEN^[Zu h5ʊK敒!sH2rk|N[M X a<*Yo2HM݆Iɺ(~NXNqڙ{9#IǽxH|E2K+Bs5!Z Ns i NjLm.V9+4 }Q4UՌƯ-"v_D=Ɠ ~&--iw^"-z.}6'#6/dϳWPX>:`VC:b)Ppf:E>F]Cr!KcI&]E@UgXo")Bv&a:j&p뙮8H+vM!d6E}y4C_&Fe/]p$q,s&"epݦ\yvdDO3b}铆3[q7w՘/ՕptaZlG̗nvg K6DQWˆrޗHɐ2 6FVr@Dc7mw;P`7/ڏRCM6bkew>|t9P2D@0 u۷2 ;~cJgIgYj m/OKSGPV]f9*wE vB EGۮ ;īGQ8v\z( ]$fC+Хȯ,<: ],LKaB"r ǩPQ] J%YQcQ |mQ[qas8󅋮jhU!ۦdAPgKJoD H- (qLoyWV`Bi}{n`rG* ֕2t_$)K>'բs$W' &pRI_;zĸHz uk@W addH8uu0㳮IvGXRvO,:nNLk62Ut`04N2[vo6aD]@)]m}.#[g#5BkQ!{UkvcN *;sork5IȄջu9L-S  t˓gYZ2c31e3437438435a2cce83ffbd0084ebb8c5e4084e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1b16a111f65141d4fa71eaaeb14f0d97bf2a2857 7 First_Welfare_Theorem