(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.3' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     68413,       2025]
NotebookOptionsPosition[     65301,       1915]
NotebookOutlinePosition[     65639,       1930]
CellTagsIndexPosition[     65596,       1927]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[
 RowBox[{
  RowBox[{"LaunchKernels", "[", "6", "]"}], ";"}]], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, 
   3.668347174412243*^9, {3.668348859596266*^9, 3.6683488666889057`*^9}}],

Cell[CellGroupData[{

Cell[BoxData["$KernelCount"], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.668347194119215*^9}}],

Cell[BoxData["6"], "Output",
 CellChangeTimes->{3.668347565393023*^9, 3.668348911458205*^9, 
  3.6683490760224447`*^9, 3.668413289887624*^9, 3.6684289561101227`*^9, 
  3.668429802816585*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Needs", "[", "\"\<ParaTuGames`\>\"", "]"}], ";"}]], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.6683472218270683`*^9}}],

Cell[CellGroupData[{

Cell[BoxData["\<\"===================================================\"\>"], \
"Print",
 CellChangeTimes->{3.66834756843437*^9, 3.668348922707481*^9, 
  3.668349081687913*^9, 3.6684132991082897`*^9, 3.668428962658649*^9, 
  3.668429812164796*^9}],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"Loading Package 'TuGames' for \"\>", 
   "\[InvisibleSpace]", "\<\"Unix\"\>"}],
  SequenceForm["Loading Package 'TuGames' for ", "Unix"],
  Editable->False]], "Print",
 CellChangeTimes->{3.66834756843437*^9, 3.668348922707481*^9, 
  3.668349081687913*^9, 3.6684132991082897`*^9, 3.668428962658649*^9, 
  3.6684298123096952`*^9}],

Cell[BoxData["\<\"===================================================\"\>"], \
"Print",
 CellChangeTimes->{3.66834756843437*^9, 3.668348922707481*^9, 
  3.668349081687913*^9, 3.6684132991082897`*^9, 3.668428962658649*^9, 
  3.668429812524921*^9}],

Cell[BoxData["\<\"TuGames V2.4 by Holger I. Meinhardt\"\>"], "Print",
 CellChangeTimes->{3.66834756843437*^9, 3.668348922707481*^9, 
  3.668349081687913*^9, 3.6684132991082897`*^9, 3.668428962658649*^9, 
  3.668429814856472*^9}],

Cell[BoxData["\<\"Release Date: 11.12.2014\"\>"], "Print",
 CellChangeTimes->{3.66834756843437*^9, 3.668348922707481*^9, 
  3.668349081687913*^9, 3.6684132991082897`*^9, 3.668428962658649*^9, 
  3.6684298151063623`*^9}],

Cell[BoxData["\<\"Program runs under Mathematica Version 8.0 or later\"\>"], \
"Print",
 CellChangeTimes->{3.66834756843437*^9, 3.668348922707481*^9, 
  3.668349081687913*^9, 3.6684132991082897`*^9, 3.668428962658649*^9, 
  3.668429815323292*^9}],

Cell[BoxData["\<\"Version 8.x or higher is recommended\"\>"], "Print",
 CellChangeTimes->{3.66834756843437*^9, 3.668348922707481*^9, 
  3.668349081687913*^9, 3.6684132991082897`*^9, 3.668428962658649*^9, 
  3.668429818952553*^9}],

Cell[BoxData["\<\"===================================================\"\>"], \
"Print",
 CellChangeTimes->{3.66834756843437*^9, 3.668348922707481*^9, 
  3.668349081687913*^9, 3.6684132991082897`*^9, 3.668428962658649*^9, 
  3.668429819168365*^9}],

Cell[BoxData["\<\"===================================================\"\>"], \
"Print",
 CellChangeTimes->{3.66834756843437*^9, 3.668348922707481*^9, 
  3.668349081687913*^9, 3.6684132991082897`*^9, 3.668428962658649*^9, 
  3.6684298231419487`*^9}],

Cell[BoxData["\<\"Package 'TuGames' loaded\"\>"], "Print",
 CellChangeTimes->{3.66834756843437*^9, 3.668348922707481*^9, 
  3.668349081687913*^9, 3.6684132991082897`*^9, 3.668428962658649*^9, 
  3.6684298233874598`*^9}],

Cell[BoxData["\<\"===================================================\"\>"], \
"Print",
 CellChangeTimes->{3.66834756843437*^9, 3.668348922707481*^9, 
  3.668349081687913*^9, 3.6684132991082897`*^9, 3.668428962658649*^9, 
  3.668429823603436*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"?", "`*"}]], "Input",
 CellChangeTimes->{{3.66842901338369*^9, 3.6684290554003267`*^9}, 
   3.668429122567451*^9, {3.668429226812642*^9, 3.6684292392793407`*^9}, {
   3.668429275278623*^9, 3.6684293239321404`*^9}, {3.668429458389224*^9, 
   3.668429475674385*^9}, 3.668429529000098*^9, 3.668429579181817*^9, {
   3.6684296096547537`*^9, 3.668429615766636*^9}}],

Cell[BoxData[
 DynamicModuleBox[{Typeset`open$$ = True}, 
  PaneSelectorBox[{False->
   RowBox[{
    OpenerBox[Dynamic[Typeset`open$$],
     ImageSize->Small], 
    StyleBox["Global`", "InfoHeading"]}], True->GridBox[{
     {
      RowBox[{
       OpenerBox[Dynamic[Typeset`open$$],
        ImageSize->Small], 
       StyleBox["Global`", "InfoHeading"]}]},
     {GridBox[{
        {
         ButtonBox["a",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"a", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["meff",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"meff", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["payoff",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"payoff", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["add",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"add", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["mex",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"mex", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["pi",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"pi", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["allc",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"allc", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["mg",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"mg", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["pinv",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"pinv", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["AllFacets",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "AllFacets", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["mgij",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"mgij", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["pj",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"pj", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["AllFacetsWithAdjacency",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "AllFacetsWithAdjacency", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["mgsys",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"mgsys", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["pli",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"pli", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["AllVertices",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "AllVertices", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["minpi",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"minpi", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["plj",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"plj", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["AllVerticesWithAdjacency",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "AllVerticesWithAdjacency", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["minpj",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"minpj", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["plpr",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"plpr", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["alpv",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"alpv", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["mpc",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"mpc", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["plvec",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"plvec", "Global`"}},
          
          ButtonNote->"Global`"]},
        {
         ButtonBox["amax",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"amax", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["msrij",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"msrij", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["poscoal",
          BaseStyle->"InformationLink",
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "poscoal", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["anti",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"anti", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["msrji",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"msrji", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["PRK",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"PRK", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["assg",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"assg", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["msrplij",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "msrplij", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["prop",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"prop", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["asspay",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"asspay", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["msrplji",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "msrplji", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["pscoal",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"pscoal", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["beta",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"beta", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["n",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"n", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["pwset",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"pwset", "Global`"}},
          
          ButtonNote->"Global`"]},
        {
         ButtonBox["brc",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"brc", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["nrsq",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"nrsq", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["r",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"r", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["chsum",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"chsum", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["onesoft",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "onesoft", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ramax",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"ramax", "Global`"}},
          
          ButtonNote->"Global`"]},
        {
         ButtonBox["clsup",
          BaseStyle->"InformationLink",
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"clsup", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["opts",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"opts", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["rclim",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"rclim", "Global`"}},
          
          ButtonNote->"Global`"]},
        {
         ButtonBox["Co",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"Co", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["optst",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"optst", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["redexc",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"redexc", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["coasts",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"coasts", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["optstep",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "optstep", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["replzr",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"replzr", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["compl",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"compl", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["p",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"p", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["res",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"res", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["coord",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"coord", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["ParaAntiPreKernel",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaAntiPreKernel", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["rvpr",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"rvpr", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["cval",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"cval", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaAntiPreKernelAlg2",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaAntiPreKernelAlg2", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["selcij",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"selcij", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["d",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"d", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaAntiPreKernelQ",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaAntiPreKernelQ", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["selcji",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"selcji", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["delisp",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"delisp", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaAntiSurplus",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaAntiSurplus", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["setpay",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"setpay", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["delitlm",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "delitlm", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaAntiSurpluses",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaAntiSurpluses", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["setsij",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"setsij", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["delmp",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"delmp", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["ParaAssgPay",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaAssgPay", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["sigcoal",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "sigcoal", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["detpos",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"detpos", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaAvConvexQ",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaAvConvexQ", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["sij",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"sij", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["dimpay",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"dimpay", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaBestcoalij01",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaBestcoalij01", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["sijcol",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"sijcol", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["dir",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"dir", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaBestCoalitions",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaBestCoalitions", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["sil",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"sil", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["dispmat",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "dispmat", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaCharacteristicValues",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaCharacteristicValues", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["sji",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"sji", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["dispre",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"dispre", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaCheckSumQ",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaCheckSumQ", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["sjicol",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"sjicol", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["dispres",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "dispres", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaConvexQ",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaConvexQ", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["smarg",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"smarg", "Global`"}},
          
          ButtonNote->"Global`"]},
        {
         ButtonBox["doi",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"doi", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaDelStar",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaDelStar", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["smc",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"smc", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["dstareps",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "dstareps", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaDetWorth",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaDetWorth", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["smex",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"smex", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["duval",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"duval", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["ParaDirectionOfImprovement",
          BaseStyle->"InformationLink",
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaDirectionOfImprovement", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["stareps",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "stareps", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["e",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"e", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaDisplayErgb",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaDisplayErgb", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["subc",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"subc", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["edvec",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"edvec", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["ParaExcessPayoff",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaExcessPayoff", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["submex",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"submex", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["effvec",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"effvec", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaGameBasis",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaGameBasis", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["sumtmg",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"sumtmg", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["eps1",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"eps1", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaIncreasingMargContributions",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaIncreasingMargContributions", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["superset",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "superset", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["eps2",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"eps2", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["paralistIJ",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "paralistIJ", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["supset",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"supset", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["eps3",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"eps3", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaMaxExc",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaMaxExc", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["sysij",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"sysij", "Global`"}},
          
          ButtonNote->"Global`"]},
        {
         ButtonBox["eps4",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"eps4", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaMaxExcess",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaMaxExcess", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["sysji",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"sysji", "Global`"}},
          
          ButtonNote->"Global`"]},
        {
         ButtonBox["eps5",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"eps5", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaMaxExcessBalanced",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaMaxExcessBalanced", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["teilmg",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"teilmg", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["eqQ",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"eqQ", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaMaxExcessBalCheck",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaMaxExcessBalCheck", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["thstareps",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "thstareps", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["err",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"err", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaMaxSurplus",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaMaxSurplus", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["tol",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"tol", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["exc",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"exc", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaMaxSurpluses",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaMaxSurpluses", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["tolv",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"tolv", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["extcoal",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "extcoal", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaMinExc",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaMinExc", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["tolvec",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"tolvec", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["extval",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"extval", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaMinExcess",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaMinExcess", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["tpws",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"tpws", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["exvec",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"exvec", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["ParaMinExcessBalanced",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaMinExcessBalanced", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["tugb",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"tugb", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["g",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"g", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaMinExcessBalCheck",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaMinExcessBalCheck", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["valsubg",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "valsubg", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["game",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"game", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaOberMenge",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaOberMenge", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["varpay",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"varpay", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["gb",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"gb", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaOptStepSize",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaOptStepSize", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["vars",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"vars", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["graval",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"graval", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaPreKernel",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaPreKernel", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["vlis",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"vlis", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["grmex",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"grmex", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["ParaPreKernelAlg2",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaPreKernelAlg2", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["w",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"w", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["intcoal",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "intcoal", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaPreKernelAlg3",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaPreKernelAlg3", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["xvec",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"xvec", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["itpay",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"itpay", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["ParaPreKernelElement",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaPreKernelElement", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["y",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"y", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["KER",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"KER", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaPreKernelQ",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaPreKernelQ", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["zrv",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"zrv", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["leq",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"leq", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaPrintRemark",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaPrintRemark", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["\[Alpha]",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "\[Alpha]", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["li",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"li", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaSelCoal",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaSelCoal", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["\[Beta]",
          BaseStyle->"InformationLink",
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "\[Beta]", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["liste",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"liste", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["ParaSetsToVec",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaSetsToVec", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["\[Gamma]",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "\[Gamma]", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["lthij",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"lthij", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["ParaSumMargContribution",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaSumMargContribution", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["\[Delta]",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "\[Delta]", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["m",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"m", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaSupAddQ",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaSupAddQ", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["\[Theta]",
          BaseStyle->"InformationLink",
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "\[Theta]", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["matE",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"matE", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaSuperAdditiveQ",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaSuperAdditiveQ", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["\[Lambda]",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "\[Lambda]", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["matP",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"matP", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaTIJsets",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaTIJsets", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["\[Sigma]",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "\[Sigma]", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["matQ",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"matQ", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaW",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"ParaW", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["\[Phi]",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"\[Phi]", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["maxexc",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"maxexc", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["ParaWrongCoordDimension",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaWrongCoordDimension", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["$MathLiePath",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "$MathLiePath", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["maxpi",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"maxpi", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["ParaWrongDimension",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "ParaWrongDimension", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["$NotebookMode",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "$NotebookMode", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["maxpj",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"maxpj", "Global`"}},
          
          ButtonNote->"Global`"], 
         ButtonBox["pay",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"pay", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["$ParaMode",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "$ParaMode", "Global`"}},
          ButtonNote->"Global`"]},
        {
         ButtonBox["maxsurp",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {
            "maxsurp", "Global`"}},
          ButtonNote->"Global`"], 
         ButtonBox["payass",
          BaseStyle->"InformationLink",
          
          ButtonData:>{
           "Info-0e374ecc-5b01-42aa-a7cd-81ec76425a73", {"payass", "Global`"}},
          ButtonNote->"Global`"], ""}
       },
       DefaultBaseStyle->"InfoGrid",
       GridBoxItemSize->{"Columns" -> {{
            Scaled[0.31666666666666665`]}}}]}
    },
    GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}]}, 
   Dynamic[Typeset`open$$],
   ImageSize->Automatic]]], "Print", "InfoCell",
 CellChangeTimes->{3.668429832087092*^9}]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"SeedRandom", "[", "1236", "]"}], ";"}]], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.668347242506822*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"avc", "=", 
  RowBox[{"RandomInteger", "[", 
   RowBox[{"20", ",", "66"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.668347257993848*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
  "15", ",", "13", ",", "13", ",", "17", ",", "17", ",", "15", ",", "3", ",", 
   "3", ",", "3", ",", "9", ",", "20", ",", "10", ",", "11", ",", "7", ",", 
   "17", ",", "13", ",", "11", ",", "15", ",", "4", ",", "3", ",", "15", ",", 
   "4", ",", "20", ",", "4", ",", "15", ",", "0", ",", "9", ",", "16", ",", 
   "17", ",", "17", ",", "10", ",", "19", ",", "8", ",", "18", ",", "12", ",",
    "19", ",", "18", ",", "12", ",", "9", ",", "13", ",", "8", ",", "6", ",", 
   "15", ",", "4", ",", "18", ",", "20", ",", "5", ",", "13", ",", "2", ",", 
   "2", ",", "5", ",", "14", ",", "18", ",", "19", ",", "12", ",", "0", ",", 
   "19", ",", "0", ",", "2", ",", "15", ",", "15", ",", "11", ",", "11", ",", 
   "5", ",", "20", ",", "10"}], "}"}]], "Output",
 CellChangeTimes->{3.6683475860998793`*^9, 3.668348941563035*^9, 
  3.6683491217232943`*^9, 3.668413332199587*^9, 3.6684298395765543`*^9}]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"T", "=", 
   RowBox[{"Range", "[", "12", "]"}]}], ";"}]], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.668347272840384*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"hd", "=", 
   RowBox[{"DetUCoord", "[", 
    RowBox[{"avc", ",", "T"}], "]"}]}], ";"}]], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.668347287320776*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"{", 
    RowBox[{"gtime2", ",", "gvec2"}], "}"}], "=", 
   RowBox[{"AbsoluteTiming", "[", 
    RowBox[{"ParaCharacteristicValues", "[", 
     RowBox[{"hd", ",", "T"}], "]"}], "]"}]}], ";"}]], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.668347305076028*^9}}],

Cell[CellGroupData[{

Cell[BoxData["gtime2"], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.6683473197919703`*^9}}],

Cell[BoxData["49.302326`"], "Output",
 CellChangeTimes->{3.668347640595036*^9, 3.668349193251917*^9, 
  3.6684134079468*^9, 3.668429922094516*^9}]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"ExpGame", ":=", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"DefineGame", "[", 
      RowBox[{"T", ",", "gvec2"}], "]"}], ";"}], ")"}]}], ";"}]], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.668347344274473*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AbsoluteTiming", "[", 
  RowBox[{"ConvexQ", "[", "ExpGame", "]"}], "]"}]], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.668347365863042*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"6.508174`", ",", "False"}], "}"}]], "Output",
 CellChangeTimes->{3.668347654088009*^9, 3.668349217365645*^9, 
  3.668413426856367*^9, 3.6684299415233593`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AbsoluteTiming", "[", 
  RowBox[{"ParaConvexQ", "[", "ExpGame", "]"}], "]"}]], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.668347379735846*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"10.220853`", ",", "False"}], "}"}]], "Output",
 CellChangeTimes->{3.668347668480186*^9, 3.668349233393306*^9, 
  3.668413440547799*^9, 3.668429956212426*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AbsoluteTiming", "[", 
  RowBox[{"AvConvexQ", "[", "ExpGame", "]"}], "]"}]], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.668347397718795*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"53.96774`", ",", "False"}], "}"}]], "Output",
 CellChangeTimes->{3.668347726533668*^9, 3.668349293808031*^9, 
  3.668413500869741*^9, 3.668430014695641*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AbsoluteTiming", "[", 
  RowBox[{"ParaAvConvexQ", "[", "ExpGame", "]"}], "]"}]], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.668347412999015*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"23.741931`", ",", "False"}], "}"}]], "Output",
 CellChangeTimes->{3.6683477442197037`*^9, 3.668349322748838*^9, 
  3.668413530375942*^9, 3.668430042948539*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AbsoluteTiming", "[", 
  RowBox[{"SuperAdditiveQ", "[", "ExpGame", "]"}], "]"}]], "Input",
 CellChangeTimes->{{3.6683469411675158`*^9, 3.668346941171397*^9}, {
  3.668347174412243*^9, 3.668347412999015*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"2.410568`", ",", "True"}], "}"}]], "Output",
 CellChangeTimes->{3.668347749454398*^9, 3.6683493357035503`*^9, 
  3.668413538169325*^9, 3.6684300498271303`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"ZeroMonotoneQ", "[", "ExpGame", "]"}]], "Input",
 CellChangeTimes->{{3.668346970243305*^9, 3.6683469702439213`*^9}, 
   3.668347428116901*^9}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.668347754419244*^9, 3.668349346783881*^9, 
  3.668413545873189*^9, 3.668430056924754*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PreKernelEqualsKernelQ", "[", "ExpGame", "]"}]], "Input",
 CellChangeTimes->{{3.668346970243305*^9, 3.6683469702439213`*^9}, 
   3.668347428116901*^9}],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.668347759476552*^9, 3.668349359733391*^9, 
  3.668413553665957*^9, 3.6684300762665577`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"{", 
   RowBox[{"time", ",", "shv"}], "}"}], "=", 
  RowBox[{"AbsoluteTiming", "[", 
   RowBox[{"ShapleyValue", "[", "ExpGame", "]"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.6683469962078342`*^9, 3.668346996212948*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"0.198938`", ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["549683", "27720"], ",", 
     FractionBox["249877", "13860"], ",", 
     FractionBox["311393", "13860"], ",", 
     FractionBox["5083", "180"], ",", 
     FractionBox["634787", "27720"], ",", 
     FractionBox["606943", "27720"], ",", 
     FractionBox["309251", "13860"], ",", 
     FractionBox["547663", "27720"], ",", 
     FractionBox["569117", "27720"], ",", 
     FractionBox["48871", "2310"], ",", 
     FractionBox["594763", "27720"], ",", 
     FractionBox["74841", "3080"]}], "}"}]}], "}"}]], "Output",
 CellChangeTimes->{3.6683477643574467`*^9, 3.6683493676067667`*^9, 
  3.6684135595328197`*^9, 3.6684300823020973`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"{", 
   RowBox[{"time4", ",", "prk4"}], "}"}], "=", 
  RowBox[{"AbsoluteTiming", "[", 
   RowBox[{"ParaPreKernel", "[", "ExpGame", "]"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.668347018083027*^9, 3.668347018083688*^9}, 
   3.668347444732452*^9}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"306.955756`", ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["325361", "24640"], ",", 
     FractionBox["2965561", "221760"], ",", 
     FractionBox["31059473", "1330560"], ",", 
     FractionBox["856523", "25344"], ",", 
     FractionBox["6936205", "266112"], ",", 
     FractionBox["1720387", "73920"], ",", 
     FractionBox["830237", "44352"], ",", 
     FractionBox["10828273", "443520"], ",", 
     FractionBox["680021", "44352"], ",", 
     FractionBox["4180753", "221760"], ",", 
     FractionBox["10553833", "380160"], ",", 
     FractionBox["783647", "31680"]}], "}"}]}], "}"}]], "Output",
 CellChangeTimes->{3.6683480245468903`*^9, 3.66834968289822*^9, 
  3.66841387736407*^9, 3.668430395121442*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"{", 
   RowBox[{"tpk5", ",", "prk5"}], "}"}], "=", 
  RowBox[{"AbsoluteTiming", "[", 
   RowBox[{"ParaPreKernelElement", "[", "ExpGame", "]"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.668347018083027*^9, 3.668347018083688*^9}, 
   3.668347444732452*^9}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"305.631922`", ",", 
   RowBox[{"{", 
    RowBox[{
     FractionBox["325361", "24640"], ",", 
     FractionBox["2965561", "221760"], ",", 
     FractionBox["31059473", "1330560"], ",", 
     FractionBox["856523", "25344"], ",", 
     FractionBox["6936205", "266112"], ",", 
     FractionBox["1720387", "73920"], ",", 
     FractionBox["830237", "44352"], ",", 
     FractionBox["10828273", "443520"], ",", 
     FractionBox["680021", "44352"], ",", 
     FractionBox["4180753", "221760"], ",", 
     FractionBox["10553833", "380160"], ",", 
     FractionBox["783647", "31680"]}], "}"}]}], "}"}]], "Output",
 CellChangeTimes->{3.6683482726754436`*^9, 3.668349994371993*^9, 
  3.66841418838568*^9, 3.668430707141014*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"N", "[", "prk4", "]"}]], "Input",
 CellChangeTimes->{{3.668347044315453*^9, 3.6683470443160753`*^9}, 
   3.6683474679568567`*^9}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
  "13.20458603896104`", ",", "13.372840007215007`", ",", "23.34315851972102`",
    ",", "33.795888573232325`", ",", "26.064983916546417`", ",", 
   "23.27363365800866`", ",", "18.71926857864358`", ",", 
   "24.414396194083693`", ",", "15.332363816738816`", ",", 
   "18.85260191197691`", ",", "27.761555660774413`", ",", 
   "24.73633207070707`"}], "}"}]], "Output",
 CellChangeTimes->{3.668348277887203*^9, 3.6683500023279047`*^9, 
  3.6684141960425367`*^9, 3.668430714413466*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"N", "[", "prk5", "]"}]], "Input",
 CellChangeTimes->{{3.668347044315453*^9, 3.6683470443160753`*^9}, {
   3.6683474679568567`*^9, 3.668347484924522*^9}, 3.668350066865694*^9}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
  "13.20458603896104`", ",", "13.372840007215007`", ",", "23.34315851972102`",
    ",", "33.795888573232325`", ",", "26.064983916546417`", ",", 
   "23.27363365800866`", ",", "18.71926857864358`", ",", 
   "24.414396194083693`", ",", "15.332363816738816`", ",", 
   "18.85260191197691`", ",", "27.761555660774413`", ",", 
   "24.73633207070707`"}], "}"}]], "Output",
 CellChangeTimes->{3.668350096376199*^9, 3.668414201171829*^9, 
  3.668430719791853*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AbsoluteTiming", "[", 
  RowBox[{"PreKernelQ", "[", 
   RowBox[{"ExpGame", ",", 
    RowBox[{"{", 
     RowBox[{"prk4", ",", "prk5"}], "}"}]}], "]"}], "]"}]], "Input",
 CellChangeTimes->{{3.668347044315453*^9, 3.6683470443160753`*^9}, {
   3.6683474679568567`*^9, 3.668347484924522*^9}, 3.668350066865694*^9}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"11.865892`", ",", 
   RowBox[{"{", 
    RowBox[{"True", ",", "True"}], "}"}]}], "}"}]], "Output",
 CellChangeTimes->{3.6683482805785627`*^9, 3.668350006929615*^9, 
  3.66835012138245*^9, 3.668414217251437*^9, 3.668430736742193*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AbsoluteTiming", "[", 
  RowBox[{"ParaPreKernelQ", "[", 
   RowBox[{"ExpGame", ",", 
    RowBox[{"{", 
     RowBox[{"prk4", ",", "prk5"}], "}"}]}], "]"}], "]"}]], "Input",
 CellChangeTimes->{{3.668347044315453*^9, 3.6683470443160753`*^9}, {
  3.6683474679568567`*^9, 3.668347484924522*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"12.650407`", ",", 
   RowBox[{"{", 
    RowBox[{"True", ",", "True"}], "}"}]}], "}"}]], "Output",
 CellChangeTimes->{3.6683483047794237`*^9, 3.66835003475008*^9, 
  3.6684142343195353`*^9, 3.668430757716853*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CloseKernels", "[", "]"}]], "Input",
 CellChangeTimes->{{3.668347071871056*^9, 3.668347071871676*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"\<\"KernelObject\"\>", "[", 
    RowBox[{"1", ",", "\<\"local\"\>", ",", "\<\"<defunct>\"\>"}], "]"}], ",", 
   RowBox[{"\<\"KernelObject\"\>", "[", 
    RowBox[{"2", ",", "\<\"local\"\>", ",", "\<\"<defunct>\"\>"}], "]"}], ",", 
   RowBox[{"\<\"KernelObject\"\>", "[", 
    RowBox[{"3", ",", "\<\"local\"\>", ",", "\<\"<defunct>\"\>"}], "]"}], ",", 
   RowBox[{"\<\"KernelObject\"\>", "[", 
    RowBox[{"4", ",", "\<\"local\"\>", ",", "\<\"<defunct>\"\>"}], "]"}], ",", 
   RowBox[{"\<\"KernelObject\"\>", "[", 
    RowBox[{"5", ",", "\<\"local\"\>", ",", "\<\"<defunct>\"\>"}], "]"}], ",", 
   RowBox[{"\<\"KernelObject\"\>", "[", 
    RowBox[{"6", ",", "\<\"local\"\>", ",", "\<\"<defunct>\"\>"}], "]"}]}], 
  "}"}]], "Output",
 CellChangeTimes->{3.668348307582707*^9, 3.668350040682125*^9, 
  3.668414239845764*^9, 3.668430761607039*^9}]
}, Open  ]]
},
WindowSize->{883, 716},
WindowMargins->{{-10, Automatic}, {Automatic, -10}},
FrontEndVersion->"10.3 for Linux x86 (64-bit) (October 9, 2015)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[558, 20, 226, 4, 32, "Input"],
Cell[CellGroupData[{
Cell[809, 28, 155, 2, 32, "Input"],
Cell[967, 32, 190, 3, 32, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[1194, 40, 214, 4, 32, "Input"],
Cell[CellGroupData[{
Cell[1433, 48, 246, 4, 23, "Print"],
Cell[1682, 54, 377, 8, 23, "Print"],
Cell[2062, 64, 246, 4, 23, "Print"],
Cell[2311, 70, 228, 3, 23, "Print"],
Cell[2542, 75, 219, 3, 23, "Print"],
Cell[2764, 80, 246, 4, 23, "Print"],
Cell[3013, 86, 229, 3, 23, "Print"],
Cell[3245, 91, 246, 4, 23, "Print"],
Cell[3494, 97, 248, 4, 23, "Print"],
Cell[3745, 103, 219, 3, 23, "Print"],
Cell[3967, 108, 246, 4, 23, "Print"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[4262, 118, 384, 6, 32, "Input"],
Cell[4649, 126, 47750, 1407, 1662, "Print"]
}, Open  ]],
Cell[52414, 1536, 201, 4, 32, "Input"],
Cell[CellGroupData[{
Cell[52640, 1544, 234, 5, 32, "Input"],
Cell[52877, 1551, 933, 14, 77, "Output"]
}, Open  ]],
Cell[53825, 1568, 218, 5, 32, "Input"],
Cell[54046, 1575, 249, 6, 32, "Input"],
Cell[54298, 1583, 364, 9, 32, "Input"],
Cell[CellGroupData[{
Cell[54687, 1596, 151, 2, 32, "Input"],
Cell[54841, 1600, 146, 2, 32, "Output"]
}, Open  ]],
Cell[55002, 1605, 306, 8, 32, "Input"],
Cell[CellGroupData[{
Cell[55333, 1617, 224, 4, 32, "Input"],
Cell[55560, 1623, 198, 4, 32, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[55795, 1632, 228, 4, 32, "Input"],
Cell[56026, 1638, 197, 4, 32, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[56260, 1647, 226, 4, 32, "Input"],
Cell[56489, 1653, 196, 4, 32, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[56722, 1662, 230, 4, 32, "Input"],
Cell[56955, 1668, 199, 4, 32, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[57191, 1677, 231, 4, 32, "Input"],
Cell[57425, 1683, 199, 4, 32, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[57661, 1692, 166, 3, 32, "Input"],
Cell[57830, 1697, 142, 2, 32, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[58009, 1704, 175, 3, 32, "Input"],
Cell[58187, 1709, 144, 2, 32, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[58368, 1716, 256, 6, 32, "Input"],
Cell[58627, 1724, 737, 18, 84, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[59401, 1747, 283, 7, 32, "Input"],
Cell[59687, 1756, 756, 18, 84, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[60480, 1779, 289, 7, 32, "Input"],
Cell[60772, 1788, 757, 18, 84, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[61566, 1811, 153, 3, 32, "Input"],
Cell[61722, 1816, 521, 10, 55, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[62280, 1831, 199, 3, 32, "Input"],
Cell[62482, 1836, 495, 10, 55, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[63014, 1851, 333, 7, 32, "Input"],
Cell[63350, 1860, 271, 6, 32, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[63658, 1871, 314, 7, 32, "Input"],
Cell[63975, 1880, 251, 6, 32, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[64263, 1891, 126, 2, 32, "Input"],
Cell[64392, 1895, 893, 17, 77, "Output"]
}, Open  ]]
}
]
*)

(* End of internal cache information *)
