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 nnC dd ]S Neumann_Morgenstern_Utility:threads=4elapsed=10.891cpu=37.036gc=0.660factor=3.407zXZִF! ]ŗXf[&y #G5PN K\|bT"ԘmJw-,0Y>,X xtsQԌ%ƉC$QR82Pɣ\Jc6 (7s_ZejCAmvzIFU4n^bu6dRc.>;ʛWlJJx}%zkbϘEK*DTR =#C'D6z]_Xiue1%{~:)?S~ Ԑjc( Jm4~kAO]"vIdRd|fWڨѧ1 zc߹fvDZ~7JnggUtY{NvIK"@H+9^_A 3Wkqᔄ3<ԟdOqxVD(J&f.&v~Ca;[gYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSJtE[#G d☋SGzuӛ2jx}(XT!fWL}E1cߜh5#ƺ5LuI) J̯ܗUj; >O ,6l/9Qg rm wTaq$F+0)1>fBرgYZ7zXZִF! S]ŗXi%Bo92Y"ݒ||ll=ROaU[,'bWŃD\Lmqa=hp\ǓsB3n Ի[]UNz tpItF۽Nk3(MeGtfcPإԂ5\L| ޻ c|ss%QҜGh<*WDaL "gi$_LQj1mxPdc{=_eӼ~Th\\pqۗ>lf(~SgIcCg|kWTd3ڬN\w8%}MͬPQz!Vg[ϮYG Mlsz˜QkI}g194L c-n/<@ʕg0)_QqIn|\$2"mqK(v00ϥ^ fV /ʲH[u͖ÄPm}_xnkV1()Dj/7֓R>Tک%;{u@)WN !d<)ɀ!Wm6]=% 6Z pL %E>A%l0CZzzh|<mMws(W-uS% @YM/Z_6Xx#oe%h}N̠w-e7A]~[X̗Bπ )\DvJ6THC*=qxpSc`U_OY#)ō 42<$#gL5zMղ QwWMO%K 0Mx=RBs?&޼ JX#$K֬XX4WH;.+~Rө%Y >K"J7 .g H|AQA;$x&iJ>R.Ɛ T^Jwlnbn p]m"0Հ$?'a*|ȟc*ԝӥ H &D4 dApȍBKY̟Ì~Uj ֿgYZ604a95f9847a2fa0d5c5406be59dc53fe78844acddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 c8b147bc048e879a9e91b707afcf0f8a9db48dfe e27f2271a8c8c707091f71d2a6f88231b52a7ee6 C Neumann_Morgenstern_Utility