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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info II47 t ] First_Welfare_Theorem:threads=2elapsed=12.154cpu=22.948gc=0.720factor=1.897zXZִF!  4]ŗXf1-/6vRZZQx= TbptqbfU]3_\j)@:8$)y,h:2{آ7,1 ,:/(p:gYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSGX Dcm̯ܼ'V'*c@N hj J6H p-oU !:3o%LEOW[FNe+S:~1;FcтqX^w(Evv▱עͰ$2N! ƘʺWoWd|g18pbÁw~ƱgYZ7zXZִF! L]ŗXi%;HXe4z=,łbd3 )0H&dm,&,O΅%J)4;bۚk#@u`/`QU֭~&^ t~PO~ [4EUsX->G] H^8׍F)<Nf 's8iݶXؖ/Z76kFHl[U+$hk0BȒdQt-Z 6RZ}((X0ݡBވPACI2#dIi}qؐюuy.H3署_Wgß $)dheeE*K?js gkg*vZ  wdF WNbk鶈{z\"OCj0N[̧zɰ0[~S,U*Us|dU=܅נLj9Y9CtLˏ? bc[!hoQ M$jcBONGԚ.uFl*0x05v[UgtgxnSGhbQDzL/>5 Q#!Qf?x: L~" ڨ:8> {.+!3A5 ݑd`۰CemywB!`y]us}JG 6-+I}8?ƜCe>KZt{e>Gh-sR ˜ɑ]i/` 6\M\0+lq%/,HKm!<?4~ovw~zv`qp_G8=3 iVJ&zbgCU/̄,H=l Z}U߶Sj@(=)f,nsmtGYnivPn0t_,nM"%~tÊ%1VK!]yL>(F YzƶMT! „KDW9W&B csMd;k/h惢L s{2> b63C%'t8!d' ӦOU"s'yb<灲7h|'ZגM=eIF+:4ª6_T1vK֞ә@:Fi:3] +P:gYZ1b9033453c31384a9db4920392c53b69d6fba7e0a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 c382ccf41ab8971be7e30191e1f54a96cf9fa69e 7 First_Welfare_Theorem