SQLite format 3@ .;  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 jjC \d ]S Neumann_Morgenstern_Utility:threads=4elapsed=10.875cpu=36.768gc=0.940factor=3.387zXZִF! ]ŗXf[&y #G5PmXj2!uv^zETs.4aӫU]R)S 傼o;Ş_8TmS[1~fhFi@::[o)ߓ*Fu4 ظUa2]kE *\D\u{O d\LlmHOtikNjiiO~Ab|Po2ʃQ7V:[VDᅻݞg š3VEᄭTFy̔q?vF_.3{q=JF;4CkZOK2bec~9fVxZP8Y7KgYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luS Dcm1咹)2HF\sBc8m5^HBu}Uea#Y9t KюhwL:s; (8Ql"K^W\=/ݲgfFEU0Ctx.DZ-;$Q7ОNȡRHgYZ7zXZִF! P]ŗXi%L 0x<=xM!cI9v27rT5ҽLIS`Dn>UFQC\/B#WI1=J,վ= @TUH@t*q|lu+53ǒ'n4 &[To!'ܒ,nWcw ~o k ܁ v$W"^\+SlGvQ "mxRh`ׂcC ?>_sI}@],W%ai>g&dxOiKuX龄R w&g2u$H=j4FmV񖲾4HM7Fq!pjL;L|0$jx[_FX!)Hm4T` X%_Ҙ.n@,nGe\./(CA"TEi H$3?y '*K)iFS189u:<Q8`Д+^9JЈP*5 sd # f4,SSˀwWh=VKӯ~@H ·<ޱ6b;ޝ#Hx:%@ CuTjί2$dL0P#Iװ;L,$"0s|B݈-T.3-}ƿ!9{WK0,rL5N*yE@ANL H#FoU(Wqvw!W}Q6p~˷hH`UZheѧ|x|Oʣ,`'\ ϽMM_*% @WD('^э /֋\N# !6XheR~zE&0wVk$wYʴӏdd7.0K F iH 3.*?N>)ms ; ?]0 ٌZr[6z٬tXaS1 Pc40tľ;&Goh|6"oH}-Ԃ8Rvx5g^9I ! lȑb3%ab8x!IF59Xw65 yO7a_d4poIS4l| M`Uf 86T ^!O>g(~m6xk>m)sa8qY-2\mi->פY vFR6r߉P`vC3 g VCEqh =Q!do i ?ug?C&*"[a/wL4pKWU`qJ.g#-G;OdulplJ91F% ÖVgYZ2c0a3ecd94b353d2f309f06d2c286f2a7e7c39dfd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e8 c64e28adece30d425954200e9f2c1278da50acc4 C Neumann_Morgenstern_Utility