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 ~C d\t ]S Neumann_Morgenstern_Utility:threads=4elapsed=9.961cpu=33.372gc=0.548factor=3.357zXZִF! i]ŗXf[&y #G5P"pHR =᷏z #A~RWPҐ>G EITR֏kT)T?{H $z&ZA!dݿt=n}pa`!DBrg?1A~ ZY|3Np0-7(m rB$Oy G64Qr@BCvu\{Ōmbw(H(ܩP c8(xrJ@ g@q]y} \IjzZ9KKX x3*m:N:{ |8G˛cy0^MހƌuƷ)1G3gYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSJtE[#G d☋SGzuӛ2jx}(XT!fWL}ٜcYFZzb&Ч4x3 jD}S -ˁ;},h;q+վ<"0gm˿kn-=I)AK]y=g1{ ٚ@ogYZ7zXZִF! P]ŗXi%B:guI(G6[l/MtKl$?Zu `֛{pQfskp]z6 "/{'38 z$z [}bu{AKx"^,]$ŴeB~U n`qۯ?6le(ԚUMHopƅp#'gu~Iԉ>sJ>e%%0i?~+ _V1t 2޷9e_T]EXk"(cL%??A$ ͠dx!2^ڞQ=veZ?]j(xTHi-:?5*pk\4s1yۧ' wۭe=%pF9.ј7o/Gb +rpڝ4B-hNIdn )QvV eSA^7B%鑋ڴn!r+^>؀y!/ q>ˋ$rOI:g>+ =m?5n>4"C[KȆA> @8[&O"!Mze,aoU?D% /@E8y 0e׆g'~W9{² EpkmHZ ޡ gYZ9072af4c0cdc347e476c69d3a4bd837668dffa3713f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 9cf3daf8eb9e55c0bdaf09aad5a6bd05c171e50c 6c8fbdd56fe1c6c0f656d6d37f72edfff07452ac C Neumann_Morgenstern_Utility