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 JJ37 L ] First_Welfare_Theorem:threads=4elapsed=6.887cpu=23.656gc=0.388factor=3.437zXZִF! ]ŗXf[&Cڝ0I'0M C)nEnKd.2xTSf'Z u.I:6"zA\7/0wFH&Z{v]d gξL~O 'U2VJEπRZn[pf܏G CB1]^f,t.{ۓIXaL[[iqɤ:1n{r=ӆvPP$`L{Wr=3KeDҐz[4 a9aynkJ53}Aױsv@ʺ{c6TwԴA]-&_G϶d7ܖlr}5|'z |N&<[u 4$=wT/?FJ߱F"X<9Y5.\F/^N$`Im ܞ'k%4egYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSv9t ay59Ζޡ/ sϐ|ZMW*=VSC?ۆb7x5]9v3Ͼ;ƭaumϿiEw7gR-G9 Ix=1[~QɏvK(unA *x GT:[/aqg#~Qvf9>БgYZ7zXZִF! =)]ŗXi%BN3&& K*y2ۅ87n  FRPvW/VR)ڛ8].Vأ4 =Bۈ+.h!;3of FB~a[qe>{mɦv$x" $!jqw8bx-ktyUK A|p Ռ̤(}5٨Ԯ6"ɜ?HNI㞄v\]95EETVъa89 e8͉ҷ2O' '87Nmŏ+Fi.CR-a`e>Z41O':8kTH9FqMBX]j#XNȝciݙ4u_Kx;ie"k -C('Tt Fms=(?@-6q_Βo܋ul mQ>x>2b"k2i@펞`^h 􃣋H"50Ap~ ȶLBfyGq`J6NSkbN e ,Vl֒J֝e}  !EӮkFK?VAُkqԩ_ͤ[LVXH^c&o. _ 2Td%(~r~Z]{hFSAdL?F[$Lt"ȥ-zn!47vFliAor'}Kbq"1 u]. U8o*IH$g$nzuV)+יcʝ;3:c? 5sMJa &c8<8]ZMвö$1HA##Nvmn(V(_(9 zljhgYZacaae2ef2273d27e8067600e3fd88757fa33ab5cddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424db 7 First_Welfare_Theorem