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 22KC Ld ]S Neumann_Morgenstern_Utility:threads=4elapsed=10.760cpu=36.012gc=0.896factor=3.357zXZִF! ']ŗXf[&y #G5P4+TA웽BvS Bۂr.bC @pUN?#:(. w y)$|ɑ<țu蠧DmV33a"QXp X[q]|f Ǥ Hi^Dwq21xtZ/P ]zԄ)l={Zv@3 F~{bv7$ pVԇi=1T-{836c'FtbMk !SdƋ>1lѮW lF.uJ=n渊kLHT1 J'%3rd2792Aʭ^6O`Qb(Amٍ`Pȯ%h@N4Z)h~aͼQl6dl @oYq 4-%Xw 3g?jIj<&h;%d-SLʳJN37Ě)GgIs3C`٥΋+6ӱgYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luS Dcm(y` ]1qjz䆵`N[Kr&J}nd*Z8IǪԗg Uݰ UFvhoN\W=bUHb=7L[#QFߩԌPnvٓ)\'I>L,*(`G}Nm^F!if`gYZ7zXZִF! VyH]ŗXi%L xe|GXE{lh^(o@5EaU}`{QJ.nˢK殑D18ʉ~ c`jļJ 4I ce_!|F}pЬ"Cy>QM';mż![R? Ȝ/V VWob"J\d4=JT :AFt,[}S`ū\ c -+At %ù˃T&bMTFѯ@W3@VP]J%؅o߮Z\ (5<9Iġ[QK qyDmғ" (ĒՖs@DܺJ _au=2s-χ|S(ryI=na0 ~#Mi(qQl]vwj]n?7Q'ʻ)tGTH|9IBu<ؘ5f8%Β@A琐b(9p>7"y ?ci}{d$ZDaշˎhRxylimO}9e[=׀SY}'DBUG&ק9n4.)=O^sImR!/CD;ړOYl{IJn "*ify +YҡP:xnp0=3(?k8w)LD>KN^DZF|/i>r1TT) ҫgYZ8d5087dababc19967d2f23f98441d6870df7c218d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834 8552347310803099605dadb02749f6e002aaccc1 C Neumann_Morgenstern_Utility