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 d7 t \ ] First_Welfare_Theorem:threads=2elapsed=12.973cpu=24.504gc=0.764factor=1.897zXZִF! j1]ŗXf1-/6vRZZQx= TbptqbfU]3_\j)@:8$)y,h:2{آ7,1N۱\ QIH'>[jWC. ;N 5^t&.H|ϵP|7+3L.  8)Si1&00)mUtSL'b>^mЊ'_rS|sA*۴C*:U(em trvLکtţv'ZUe,˙ȍUot%,XyS⍹NVwdǒM8*E5*^`,o9OjаJ`UJ_UqSRy@<|͵ɣҰ5^8_>QqRyydȂ? (gYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSGߦ 0hA2H(7l5G3gنnNHn "9Q hri紆m_6G^x\E4/Wr*UΆ*vcYP"e {[4T3fmARgdMz<(cO.%fhmݣwhrF%U`ǛlFď*,nVE>T '@gYZ7zXZִF! Q]ŗXi%;Chu@m2E ('Yܾ6B싴T5ꍿIcK$ ݧl$ XgMdaro\@ \aFo5ZYgƙZ 6e,,BE41Db,#^27q'9L #)Pᔲ!0~[ 3ZRDP`. 1Zn'?`z%l, <2@ Trͽe}:w16M+T4`x~qi3 7KFh?AeaO~[:a̓)pvH(b㊩7ZvŘզqݘ2yPjBpWu(i/R(bCgEc=v, [9d1=7nEԾO.D"eљ&jeYRb 2vdtxK'Xj"$T~[z!}{':rp &bkXl᪀OpQ9htK"X`fuCu>y2HjI D1XRgi1oo̮B*C 3?"OuJ)̲k9)yffD^;z8#'оN6 1Ypt o<_P3hQC#hOVu(f?Pjqjuh\t-(5؝QW 0"لdmDޗLPTN^|51v5 |z?4:[g1T#~ t.༺"_mE]Ã!k.Bm?f>3=d,o}:oS\ؙg{zpIspص`$wIM޼+Xq{qwEmz~sZetxKMnЎd'h$Y$e^?DL!a(}A" xTk^ed:E06d=ؑS4O<ڜ?٦6Ma.5FIՒL]ǡD_%UcϨSY7Gw|5uF6)f! T`Qi69' ׽_NUNTRzb  ۣF"gYZ026040b73c51a95a66b64490ccb0bbbb57578d11a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4 7 First_Welfare_Theorem