SQLite format 3@ . BBh77otableisabelle_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=2elapsed=7.676cpu=14.204gc=0.412factor=1.857zXZִF! r]ŗXf1-/6vRZZQx= T_<"5DiRm0:Oi0%.yCWҜTWKlZ/_U+8r/7NOF (NMPR=  զ,n9{0]Qk%-jͷw:8k!.u.>FS '&QBGJmי 'D\U_@x;SlY؈Z1&q6"jI9> =/^ŝw25q{;j}xb;K'Ulh 8,7asQ=DɈbѦ(D\i!Z|s @uS&Mք QG>ugYZ7zXZִF! f]ŗXiɟ饜يmTnGY&luSzLA*97;m;bM u^Ra.eww6Ǎ˧%8ՉphkϹ]lgF^"s҂^ cVlJuKמr3~FkQ͙T2d9kܸrMe%Q@i=WsZ 4?wX#$-5B#H]Rѧכ昆k};t̊׵[|#wVeF *V G锉0^prl(10}9Ёp΍]q#@a SLy֧jK2畑tEhG4 p7]flf6Rӌ骰AG:d!X3~mk.:'l>0_]<K&i;H󃮝Z,k*L?9 _?vUlI $ Ɋ_-G $)rs%JIP8)C>~]>m< f"5/1s֛??'[#k'Ie̱R t4hIѦ}<ѻ5י+7QhV .::7I'v0`"ϟpyo4gA&Ѱ -**qEL=hVX|+ |Q;e`ĂM˪B<"@ ejZr1Ttq}[xeb"i _.o(>Si3]^@űgYZ50dbb39812b063ba17a9e3719dae0140dcc355a2620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 223999b3718fa9c4a49cbc7261f4cb6ae6361149 7 First_Welfare_Theorem