(* Content-type: application/mathematica *)

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

(* CreatedBy='Mathematica 6.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       145,          7]
NotebookDataLength[    309435,       8379]
NotebookOptionsPosition[    289677,       7732]
NotebookOutlinePosition[    292192,       7790]
CellTagsIndexPosition[    292149,       7787]
WindowFrame->Normal
ContainsDynamic->False*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[
 RowBox[{"<<", "PrSAT`"}]], "Input",
 CellChangeTimes->{{3.403244047500342*^9, 3.40324405203258*^9}}],

Cell[CellGroupData[{

Cell["Computing the Measure on the State Descriptions", "Subsection",
 CellChangeTimes->{{3.403246711680616*^9, 3.403246733146644*^9}}],

Cell[CellGroupData[{

Cell["s1", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.403239949787921*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s1", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", 
          SubscriptBox["\[Gamma]", "F"], " ", 
          SubscriptBox["\[Gamma]", "G"]}]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          SubscriptBox["\[Gamma]", "F"]}]}], "3"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          SubscriptBox["\[Gamma]", "G"]}]}], "3"]}]}], ")"}], 
    SubscriptBox["\[Gamma]", "F"], " ", 
    SubscriptBox["\[Gamma]", "G"]}], "//", "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403241125346105*^9, 3.40324112598514*^9}}],

Cell[BoxData[
 RowBox[{
  FractionBox["1", "9"], " ", 
  SubscriptBox["\[Gamma]", "F"], " ", 
  SubscriptBox["\[Gamma]", "G"], " ", 
  RowBox[{"(", 
   RowBox[{"2", "+", 
    SubscriptBox["\[Gamma]", "G"], "+", 
    RowBox[{
     SubscriptBox["\[Gamma]", "F"], " ", 
     RowBox[{"(", 
      RowBox[{"1", "+", 
       RowBox[{"5", " ", 
        SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}]}], ")"}]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403241127176672*^9, 3.403243254993951*^9, 
   3.403245411663101*^9, 3.4032464007112503`*^9, 3.403248608895171*^9, 
   3.403286227817711*^9, 3.403400622962213*^9, 3.4035341910444717`*^9, 
   3.403616618312604*^9, 3.4044427161973543`*^9, 3.404452246317635*^9, 
   3.4044524485526943`*^9, {3.405795672977416*^9, 3.405795697078554*^9}, 
   3.405874831309964*^9, 3.4058982582445927`*^9, 3.406036958643519*^9, 
   3.4060377899927683`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   FractionBox["1", "9"], " ", 
   SubscriptBox["\[Gamma]", "F"], " ", 
   SubscriptBox["\[Gamma]", "G"], " ", 
   RowBox[{"(", 
    RowBox[{"2", "+", 
     SubscriptBox["\[Gamma]", "G"], "+", 
     RowBox[{
      SubscriptBox["\[Gamma]", "F"], " ", 
      RowBox[{"(", 
       RowBox[{"1", "+", 
        RowBox[{"5", " ", 
         SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}]}], ")"}]}], "//", 
  "TeXForm"}]], "Input",
 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}}],

Cell["\<\
\\frac{1}{9} \\gamma _F \\gamma _G \\left(\\gamma _G+\\gamma _F
   \\left(5 \\gamma _G+1\\right)+2\\right)\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.403243255098194*^9, 3.4032454117127037`*^9, 3.403246400849698*^9, 
   3.403248608987094*^9, 3.4032862280332747`*^9, 3.403400623098303*^9, 
   3.403534191205035*^9, 3.4036166187907143`*^9, 3.404442716306058*^9, 
   3.404452246441473*^9, 3.4044524487043447`*^9, {3.40579567315738*^9, 
   3.405795697193366*^9}, 3.405874831495254*^9, 3.4058982584288597`*^9, 
   3.4060369589142027`*^9, 3.4060377902071877`*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s2", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s2", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"2", 
         SubscriptBox["\[Gamma]", "F"], " ", 
         SubscriptBox["\[Gamma]", "G"]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          SubscriptBox["\[Gamma]", "F"]}]}], "3"], 
       FractionBox[
        RowBox[{"2", " ", 
         SubscriptBox["\[Gamma]", "G"]}], "3"]}]}], ")"}], 
    SubscriptBox["\[Gamma]", "F"], 
    RowBox[{"(", 
     RowBox[{"1", "-", " ", 
      SubscriptBox["\[Gamma]", "G"]}], ")"}]}], "//", 
   "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.403241129961566*^9, 3.403241130688743*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox["1", "9"]}], " ", 
  SubscriptBox["\[Gamma]", "F"], " ", 
  RowBox[{"(", 
   RowBox[{"1", "+", 
    RowBox[{"5", " ", 
     SubscriptBox["\[Gamma]", "F"]}]}], ")"}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "G"]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403241131047112*^9, 3.403243255213793*^9, 
   3.403245411938363*^9, 3.4032464011565027`*^9, 3.4032486092999773`*^9, 
   3.403286229388919*^9, 3.40340062328999*^9, 3.403534191338934*^9, 
   3.4036166188341*^9, 3.404442716340592*^9, 3.404452246489674*^9, 
   3.404452448761628*^9, {3.4057956732057743`*^9, 3.405795697251068*^9}, 
   3.405874831519264*^9, 3.405898258487873*^9, 3.4060369589599524`*^9, 
   3.4060377902782707`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", 
    FractionBox["1", "9"]}], " ", 
   SubscriptBox["\[Gamma]", "F"], " ", 
   RowBox[{"(", 
    RowBox[{"1", "+", 
     RowBox[{"5", " ", 
      SubscriptBox["\[Gamma]", "F"]}]}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "G"]}], "//", "TeXForm"}]], "Input",
 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9}],

Cell["\<\
-\\frac{1}{9} \\gamma _F \\left(5 \\gamma _F+1\\right)
   \\left(\\gamma _G-1\\right) \\gamma _G\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403243255278738*^9, 3.403245412003501*^9, 3.403246401220394*^9, 
   3.403248609352165*^9, 3.403286229438169*^9, 3.403400623343207*^9, 
   3.40353419137796*^9, 3.4036166188850327`*^9, 3.4044427163776827`*^9, 
   3.4044522465227623`*^9, 3.404452448807679*^9, {3.405795673243375*^9, 
   3.405795697318227*^9}, 3.405874831567979*^9, 3.405898258553173*^9, 
   3.406036959008914*^9, 3.4060377903297157`*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s3", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s3", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"2", 
         SubscriptBox["\[Gamma]", "F"], " ", 
         SubscriptBox["\[Gamma]", "G"]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"2", " ", 
         SubscriptBox["\[Gamma]", "F"]}], "3"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          SubscriptBox["\[Gamma]", "G"]}]}], "3"]}]}], ")"}], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "F"]}], ")"}], 
    SubscriptBox["\[Gamma]", "G"]}], "//", "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.403241133538303*^9, 3.403241134167869*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox["1", "9"]}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "F"], " ", 
  SubscriptBox["\[Gamma]", "G"], " ", 
  RowBox[{"(", 
   RowBox[{"1", "+", 
    RowBox[{"5", " ", 
     SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032411345224323`*^9, 
   3.403243255397295*^9, 3.403245412272419*^9, 3.4032464016014557`*^9, 
   3.4032486094466333`*^9, 3.40328622956857*^9, 3.403400623393837*^9, 
   3.4035341914272547`*^9, 3.403616618935927*^9, 3.404442716452779*^9, 
   3.4044522465979147`*^9, 3.4044524488492823`*^9, {3.4057956733058443`*^9, 
   3.405795697385578*^9}, 3.405874831619928*^9, 3.405898258620885*^9, 
   3.4060369590601997`*^9, 3.406037790380005*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", 
    FractionBox["1", "9"]}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "F"], " ", 
   SubscriptBox["\[Gamma]", "G"], " ", 
   RowBox[{"(", 
    RowBox[{"1", "+", 
     RowBox[{"5", " ", 
      SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}], "//", "TeXForm"}]], "Input",\

 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9}],

Cell["\<\
-\\frac{1}{9} \\left(\\gamma _F-1\\right) \\gamma _F \\gamma _G
   \\left(5 \\gamma _G+1\\right)\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.4032432554629297`*^9, 3.403245412338538*^9, 
   3.403246401669709*^9, 3.4032486095005703`*^9, 3.403286229621201*^9, 
   3.4034006234443493`*^9, 3.4035341914752617`*^9, 3.403616618991571*^9, 
   3.404442716524261*^9, 3.404452246639591*^9, 3.404452448912162*^9, {
   3.405795673355433*^9, 3.4057956974521017`*^9}, 3.4058748316678123`*^9, 
   3.405898258686549*^9, 3.406036959108943*^9, 3.406037790430064*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s4", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}, {3.40324060426819*^9, 
  3.403240604398456*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s4", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"2", 
         SubscriptBox["\[Gamma]", "F"], " ", 
         SubscriptBox["\[Gamma]", "G"]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"2", " ", 
         SubscriptBox["\[Gamma]", "F"]}], "3"], 
       FractionBox[
        RowBox[{"2", " ", 
         SubscriptBox["\[Gamma]", "G"]}], "3"]}]}], ")"}], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "F"]}], ")"}], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "G"]}], ")"}]}], "//", 
   "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.4032407144499702`*^9, 3.4032407209076977`*^9}, 3.4032410548088903`*^9, {
   3.403241138842175*^9, 3.4032411397928743`*^9}}],

Cell[BoxData[
 RowBox[{
  FractionBox["5", "9"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "F"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "G"]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032407219965467`*^9, 
   3.403240798620233*^9, 3.403241055318582*^9, 3.4032411401290417`*^9, 
   3.403243255581847*^9, 3.4032454125989103`*^9, 3.403246401984453*^9, 
   3.403248609552537*^9, 3.4032862296733627`*^9, 3.4034006234962473`*^9, 
   3.4035341915264473`*^9, 3.4036166190451717`*^9, 3.404442716578166*^9, 
   3.404452246673579*^9, 3.404452448978388*^9, {3.405795673407915*^9, 
   3.405795697519003*^9}, 3.405874831720744*^9, 3.4058982587562017`*^9, 
   3.406036959161086*^9, 3.406037790480084*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   FractionBox["5", "9"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "F"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "G"]}], "//", "TeXForm"}]], "Input",
 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9, {
   3.4032407257472553`*^9, 3.403240751275949*^9}, 3.403241061949662*^9}],

Cell["\<\
\\frac{5}{9} \\left(\\gamma _F-1\\right) \\gamma _F \\left(\\gamma
   _G-1\\right) \\gamma _G\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.403240726084796*^9, {3.4032410625381393`*^9, 
   3.403241084203555*^9}, 3.403243255630951*^9, 3.4032454127346573`*^9, 
   3.4032464020579844`*^9, 3.403248609618493*^9, 3.403286229739173*^9, 
   3.403400623561207*^9, 3.403534191576026*^9, 3.403616619099144*^9, 
   3.404442716607134*^9, 3.404452246776764*^9, 3.4044524490452557`*^9, {
   3.405795673456336*^9, 3.405795697586073*^9}, 3.405874832114751*^9, 
   3.405898258820918*^9, 3.4060369592104816`*^9, 3.406037790531076*^9}]
}, Open  ]],

Cell["Sanity Check:", "Text",
 CellChangeTimes->{{3.403241162266082*^9, 3.403241164781887*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"s1", "+", "s2", "+", "s3", "+", "s4"}], "//", 
  "FullSimplify"}]], "Input",
 CellChangeTimes->{{3.4032411460362167`*^9, 3.4032411538152037`*^9}}],

Cell[BoxData[
 RowBox[{
  SubscriptBox["\[Gamma]", "F"], " ", 
  SubscriptBox["\[Gamma]", "G"]}]], "Output",
 CellChangeTimes->{{3.403241149528852*^9, 3.403241154198853*^9}, 
   3.403243255748437*^9, 3.4032454130567636`*^9, 3.403246402373641*^9, 
   3.403248609783325*^9, 3.4032862297888327`*^9, 3.403400623611795*^9, 
   3.403534191627211*^9, 3.403616619153137*^9, 3.404442716665701*^9, 
   3.4044522468438673`*^9, 3.404452449113233*^9, {3.4057956735080357`*^9, 
   3.405795697651286*^9}, 3.405874832214826*^9, 3.405898258887508*^9, 
   3.40603695926024*^9, 3.406037790581251*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s5", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}, {3.40324060426819*^9, 
  3.403240604398456*^9}, {3.403240848608314*^9, 3.403240848695615*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s5", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"2", 
         SubscriptBox["\[Gamma]", "F"], " ", 
         RowBox[{"(", 
          RowBox[{"1", "-", 
           SubscriptBox["\[Gamma]", "G"]}], ")"}]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          SubscriptBox["\[Gamma]", "F"]}]}], "3"], 
       FractionBox[
        RowBox[{"2", " ", 
         RowBox[{"(", 
          RowBox[{"1", "-", 
           SubscriptBox["\[Gamma]", "G"]}], ")"}]}], "3"]}]}], ")"}], 
    SubscriptBox["\[Gamma]", "F"], 
    SubscriptBox["\[Gamma]", "G"]}], "//", "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.4032407144499702`*^9, 3.4032407209076977`*^9}, {3.403241006588995*^9, 
   3.403241047067608*^9}, {3.403241192604622*^9, 3.4032411984245787`*^9}, {
   3.403241713743548*^9, 3.403241714509932*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox["1", "9"]}], " ", 
  SubscriptBox["\[Gamma]", "F"], " ", 
  RowBox[{"(", 
   RowBox[{"1", "+", 
    RowBox[{"5", " ", 
     SubscriptBox["\[Gamma]", "F"]}]}], ")"}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "G"]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032407219965467`*^9, 
   3.403240798620233*^9, 3.403241199116775*^9, 3.403241714812159*^9, 
   3.4032432557982607`*^9, 3.403245413158543*^9, 3.403246402473875*^9, 
   3.403248609836945*^9, 3.4032862298398523`*^9, 3.40340062366012*^9, 
   3.40353419167817*^9, 3.403616619202997*^9, 3.4044427167132072`*^9, 
   3.4044522469080477`*^9, 3.40445244918041*^9, {3.405795673558281*^9, 
   3.405795697719287*^9}, 3.405874832255261*^9, 3.405898258954596*^9, 
   3.406036959311391*^9, 3.406037790631757*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", 
    FractionBox["1", "9"]}], " ", 
   SubscriptBox["\[Gamma]", "F"], " ", 
   RowBox[{"(", 
    RowBox[{"1", "+", 
     RowBox[{"5", " ", 
      SubscriptBox["\[Gamma]", "F"]}]}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "G"]}], "//", "TeXForm"}]], "Input",
 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9, {
   3.4032407257472553`*^9, 3.403240751275949*^9}, 3.4032412191661787`*^9}],

Cell["\<\
-\\frac{1}{9} \\gamma _F \\left(5 \\gamma _F+1\\right)
   \\left(\\gamma _G-1\\right) \\gamma _G\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.403240726084796*^9, 3.4032412195281563`*^9, 
   3.403243255848564*^9, 3.4032454132256403`*^9, 3.403246402600669*^9, 
   3.40324860988605*^9, 3.403286229905428*^9, 3.403400623862728*^9, 
   3.403534191727356*^9, 3.403616619251597*^9, 3.4044427167624073`*^9, 
   3.404452246974555*^9, 3.4044524492466297`*^9, {3.4057956736076736`*^9, 
   3.405795697785297*^9}, 3.405874832306993*^9, 3.405898259052135*^9, 
   3.406036959464123*^9, 3.406037790681333*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s6", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}, {3.40324060426819*^9, 
  3.403240604398456*^9}, {3.403240848608314*^9, 3.403240848695615*^9}, {
  3.403241270054137*^9, 3.403241270305746*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s6", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", 
          SubscriptBox["\[Gamma]", "F"], " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          SubscriptBox["\[Gamma]", "F"]}]}], "3"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}]}], ")"}], 
    SubscriptBox["\[Gamma]", "F"], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "G"]}], ")"}]}], "//", 
   "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.4032407144499702`*^9, 3.4032407209076977`*^9}, {3.403241006588995*^9, 
   3.403241047067608*^9}, {3.403241192604622*^9, 3.4032411984245787`*^9}, {
   3.403241367590004*^9, 3.403241385042124*^9}, {3.403241717159893*^9, 
   3.403241717982307*^9}}],

Cell[BoxData[
 RowBox[{
  FractionBox["1", "9"], " ", 
  SubscriptBox["\[Gamma]", "F"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "3"}], "+", 
    SubscriptBox["\[Gamma]", "G"], "+", 
    RowBox[{
     SubscriptBox["\[Gamma]", "F"], " ", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"-", "6"}], "+", 
       RowBox[{"5", " ", 
        SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}]}], ")"}]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032407219965467`*^9, 
   3.403240798620233*^9, 3.403241199116775*^9, {3.4032413776578007`*^9, 
   3.403241388283584*^9}, 3.403241718336938*^9, 3.403243255982416*^9, 
   3.40324541359478*^9, 3.403246402924548*^9, 3.40324860995396*^9, 
   3.403286229972028*^9, 3.4034006239229193`*^9, 3.4035341917916*^9, 
   3.4036166193096447`*^9, 3.404442716817547*^9, 3.404452247026307*^9, 
   3.404452449310535*^9, {3.405795673659198*^9, 3.405795697853484*^9}, 
   3.405874832431965*^9, 3.4058982591000147`*^9, 3.406036959518766*^9, 
   3.40603779073318*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   FractionBox["1", "9"], " ", 
   SubscriptBox["\[Gamma]", "F"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "3"}], "+", 
     SubscriptBox["\[Gamma]", "G"], "+", 
     RowBox[{
      SubscriptBox["\[Gamma]", "F"], " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"-", "6"}], "+", 
        RowBox[{"5", " ", 
         SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}]}], ")"}]}], "//", 
  "TeXForm"}]], "Input",
 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9, {
   3.4032407257472553`*^9, 3.403240751275949*^9}, 3.4032412191661787`*^9, 
   3.403241392271647*^9}],

Cell["\<\
\\frac{1}{9} \\gamma _F \\left(\\gamma _G-1\\right) \\left(\\gamma
   _G+\\gamma _F \\left(5 \\gamma _G-6\\right)-3\\right)\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.403240726084796*^9, 3.4032412195281563`*^9, 
   3.403241392633914*^9, 3.403243256017564*^9, 3.4032454136647882`*^9, 
   3.403246402993369*^9, 3.403248610020385*^9, 3.403286230023058*^9, 
   3.403400623963571*^9, 3.403534191829906*^9, 3.403616619351715*^9, 
   3.404442716863702*^9, 3.404452247057308*^9, 3.4044524493948174`*^9, {
   3.405795673707583*^9, 3.4057956979209213`*^9}, 3.405874832461371*^9, 
   3.405898259152834*^9, 3.4060369595693083`*^9, 3.4060377907808533`*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s7", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}, {3.40324060426819*^9, 
  3.403240604398456*^9}, {3.403240848608314*^9, 3.403240848695615*^9}, {
  3.403241270054137*^9, 3.403241270305746*^9}, {3.403241514854809*^9, 
  3.4032415157722588`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s7", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", 
          SubscriptBox["\[Gamma]", "F"], " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", " ", 
          SubscriptBox["\[Gamma]", "F"]}]}], "3"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}]}], ")"}], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "F"]}], ")"}], 
    SubscriptBox["\[Gamma]", "G"]}], "//", "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.4032407144499702`*^9, 3.4032407209076977`*^9}, {3.403241006588995*^9, 
   3.403241047067608*^9}, {3.403241192604622*^9, 3.4032411984245787`*^9}, {
   3.403241367590004*^9, 3.403241385042124*^9}, {3.403241618905776*^9, 
   3.403241636422061*^9}, {3.4032417217357407`*^9, 3.40324172320638*^9}}],

Cell[BoxData[
 RowBox[{
  FractionBox["5", "9"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "F"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "G"]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032407219965467`*^9, 
   3.403240798620233*^9, 3.403241199116775*^9, {3.4032413776578007`*^9, 
   3.403241388283584*^9}, 3.403241638953309*^9, 3.403241723580348*^9, 
   3.403243256200639*^9, 3.403245414073963*^9, 3.4032464033095503`*^9, 
   3.403248610133851*^9, 3.403286230090996*^9, 3.403400624015222*^9, 
   3.403534191878224*^9, 3.403616619462369*^9, 3.404442716914401*^9, 
   3.404452247096506*^9, 3.404452449443533*^9, {3.405795673746633*^9, 
   3.405795697983309*^9}, 3.405874832511853*^9, 3.405898259203051*^9, 
   3.406036959614154*^9, 3.406037790865961*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   FractionBox["5", "9"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "F"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "G"]}], "//", "TeXForm"}]], "Input",
 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9, {
   3.4032407257472553`*^9, 3.403240751275949*^9}, 3.4032412191661787`*^9, 
   3.403241392271647*^9, 3.403241643338996*^9}],

Cell["\<\
\\frac{5}{9} \\left(\\gamma _F-1\\right) \\gamma _F \\left(\\gamma
   _G-1\\right) \\gamma _G\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.403240726084796*^9, 3.4032412195281563`*^9, 
   3.403241392633914*^9, 3.403241643693915*^9, 3.40324325625036*^9, 
   3.403245414146467*^9, 3.40324640337851*^9, 3.403248610186802*^9, 
   3.4032862301428432`*^9, 3.40340062408084*^9, 3.403534191927247*^9, 
   3.403616619518482*^9, 3.404442717056031*^9, 3.404452247162211*^9, 
   3.404452449493648*^9, {3.405795673812887*^9, 3.405795698034402*^9}, 
   3.4058748325406523`*^9, 3.405898259317416*^9, 3.4060369596507187`*^9, 
   3.4060377909149523`*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s8", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}, {3.40324060426819*^9, 
  3.403240604398456*^9}, {3.403240848608314*^9, 3.403240848695615*^9}, {
  3.403241270054137*^9, 3.403241270305746*^9}, {3.403241514854809*^9, 
  3.4032415157722588`*^9}, {3.403241708580846*^9, 3.403241708958139*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s8", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", 
          SubscriptBox["\[Gamma]", "F"], " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", " ", 
          SubscriptBox["\[Gamma]", "F"]}]}], "3"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}]}], ")"}], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "F"]}], ")"}], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "G"]}], ")"}]}], "//", 
   "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.4032407144499702`*^9, 3.4032407209076977`*^9}, {3.403241006588995*^9, 
   3.403241047067608*^9}, {3.403241192604622*^9, 3.4032411984245787`*^9}, {
   3.403241367590004*^9, 3.403241385042124*^9}, {3.403241618905776*^9, 
   3.403241636422061*^9}, {3.403241726815915*^9, 3.403241727286208*^9}, {
   3.4032417821123533`*^9, 3.403241789639076*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox["1", "9"]}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "F"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "6"}], "+", 
    RowBox[{"5", " ", 
     SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032407219965467`*^9, 
   3.403240798620233*^9, 3.403241199116775*^9, {3.4032413776578007`*^9, 
   3.403241388283584*^9}, 3.403241638953309*^9, 3.403241789960703*^9, 
   3.403243256366064*^9, 3.403245414418828*^9, 3.403246403768757*^9, 
   3.4032486102551928`*^9, 3.403286230256311*^9, 3.4034006241302*^9, 
   3.403534191980991*^9, 3.4036166195603437`*^9, 3.40444271712901*^9, 
   3.404452247211872*^9, 3.404452449544475*^9, {3.405795673909947*^9, 
   3.405795698084794*^9}, 3.405874832590362*^9, 3.405898259445557*^9, 
   3.406036959914003*^9, 3.4060377909659567`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", 
    FractionBox["1", "9"]}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "F"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "6"}], "+", 
     RowBox[{"5", " ", 
      SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}], "//", "TeXForm"}]], "Input",\

 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9, {
   3.4032407257472553`*^9, 3.403240751275949*^9}, 3.4032412191661787`*^9, 
   3.403241392271647*^9, 3.403241643338996*^9, 3.4032417941458197`*^9}],

Cell["\<\
-\\frac{1}{9} \\left(\\gamma _F-1\\right) \\gamma _F
   \\left(\\gamma _G-1\\right) \\left(5 \\gamma _G-6\\right)\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.403240726084796*^9, 3.4032412195281563`*^9, 
   3.403241392633914*^9, 3.403241643693915*^9, 3.403241794499527*^9, 
   3.40324325641785*^9, 3.403245414481349*^9, 3.403246403830556*^9, 
   3.403248610305457*^9, 3.403286230354869*^9, 3.403400624282956*^9, 
   3.4035341920081177`*^9, 3.4036166196041*^9, 3.404442717185363*^9, 
   3.4044522472783003`*^9, 3.404452449594798*^9, {3.405795673947687*^9, 
   3.4057956981340733`*^9}, 3.405874832641574*^9, 3.405898259507292*^9, 
   3.4060369599589357`*^9, 3.4060377910030937`*^9}]
}, Open  ]],

Cell["Sanity Check:", "Text",
 CellChangeTimes->{{3.40324183545782*^9, 3.403241841932334*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"s5", "+", "s6", "+", "s7", "+", "s8"}], "//", 
  "FullSimplify"}]], "Input",
 CellChangeTimes->{{3.4032418379894323`*^9, 3.403241854738861*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   SubscriptBox["\[Gamma]", "F"]}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}]}]], "Output",
 CellChangeTimes->{{3.403241850218647*^9, 3.4032418550447063`*^9}, 
   3.403243256534462*^9, 3.4032454148051023`*^9, 3.4032464041362*^9, 
   3.403248610371724*^9, 3.40328623062154*^9, 3.403400624325458*^9, 
   3.4035341920447187`*^9, 3.4036166196544743`*^9, 3.4044427172324*^9, 
   3.404452247329194*^9, 3.404452449755333*^9, {3.4057956741136503`*^9, 
   3.4057956982968693`*^9}, 3.4058748326917*^9, 3.4058982595539513`*^9, 
   3.4060369599927387`*^9, 3.406037791251975*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s9", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}, {3.40324060426819*^9, 
  3.403240604398456*^9}, {3.403240848608314*^9, 3.403240848695615*^9}, {
  3.403241270054137*^9, 3.403241270305746*^9}, {3.403241514854809*^9, 
  3.4032415157722588`*^9}, {3.403241708580846*^9, 3.403241708958139*^9}, {
  3.4032418811471987`*^9, 3.403241881371364*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s9", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
          SubscriptBox["\[Gamma]", "G"]}]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}]}]}], "3"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          SubscriptBox["\[Gamma]", "G"]}]}], "3"]}]}], ")"}], 
    SubscriptBox["\[Gamma]", "F"], 
    SubscriptBox["\[Gamma]", "G"]}], "//", "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.4032407144499702`*^9, 3.4032407209076977`*^9}, {3.403241006588995*^9, 
   3.403241047067608*^9}, {3.403241192604622*^9, 3.4032411984245787`*^9}, {
   3.403241367590004*^9, 3.403241385042124*^9}, {3.403241618905776*^9, 
   3.403241636422061*^9}, {3.403241726815915*^9, 3.403241727286208*^9}, {
   3.4032417821123533`*^9, 3.403241789639076*^9}, {3.403241882913219*^9, 
   3.403241883245474*^9}, {3.403241969848907*^9, 3.403242002427869*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox["1", "9"]}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "F"], " ", 
  SubscriptBox["\[Gamma]", "G"], " ", 
  RowBox[{"(", 
   RowBox[{"1", "+", 
    RowBox[{"5", " ", 
     SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032407219965467`*^9, 
   3.403240798620233*^9, 3.403241199116775*^9, {3.4032413776578007`*^9, 
   3.403241388283584*^9}, 3.403241638953309*^9, 3.403241789960703*^9, 
   3.4032420030684834`*^9, 3.4032425402782087`*^9, 3.40324325658504*^9, 
   3.40324541496336*^9, 3.403246404234877*^9, 3.40324861042309*^9, 
   3.403286230705666*^9, 3.4034006243787527`*^9, 3.403534192125307*^9, 
   3.403616619707477*^9, 3.4044427172816153`*^9, 3.404452247395692*^9, 
   3.404452449866149*^9, {3.4057956743445683`*^9, 3.405795698357357*^9}, 
   3.405874832741496*^9, 3.40589825960522*^9, 3.4060369600309467`*^9, 
   3.4060377913159122`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", 
    FractionBox["1", "9"]}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "F"], " ", 
   SubscriptBox["\[Gamma]", "G"], " ", 
   RowBox[{"(", 
    RowBox[{"1", "+", 
     RowBox[{"5", " ", 
      SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}], "//", "TeXForm"}]], "Input",\

 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9, {
   3.4032407257472553`*^9, 3.403240751275949*^9}, 3.4032412191661787`*^9, 
   3.403241392271647*^9, 3.403241643338996*^9, 3.4032417941458197`*^9, 
   3.4032420091528273`*^9}],

Cell["\<\
-\\frac{1}{9} \\left(\\gamma _F-1\\right) \\gamma _F \\gamma _G
   \\left(5 \\gamma _G+1\\right)\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.403240726084796*^9, 3.4032412195281563`*^9, 
   3.403241392633914*^9, 3.403241643693915*^9, 3.403241794499527*^9, 
   3.403242009516988*^9, 3.403243256635468*^9, 3.403245415040571*^9, 
   3.403246404299308*^9, 3.403248610489893*^9, 3.4032862307601767`*^9, 
   3.403400624430245*^9, 3.403534192174741*^9, 3.403616619762691*^9, 
   3.404442717367826*^9, 3.4044522474272947`*^9, 3.4044524499322*^9, {
   3.405795674376113*^9, 3.4057956984245253`*^9}, 3.405874832791988*^9, 
   3.405898259653343*^9, 3.4060369600808268`*^9, 3.406037791368206*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s10", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}, {3.40324060426819*^9, 
  3.403240604398456*^9}, {3.403240848608314*^9, 3.403240848695615*^9}, {
  3.403241270054137*^9, 3.403241270305746*^9}, {3.403241514854809*^9, 
  3.4032415157722588`*^9}, {3.403241708580846*^9, 3.403241708958139*^9}, {
  3.4032418811471987`*^9, 3.403241881371364*^9}, {3.403242077964038*^9, 
  3.403242078189942*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s10", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
          SubscriptBox["\[Gamma]", "G"]}]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}]}]}], "3"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", " ", 
          SubscriptBox["\[Gamma]", "G"]}]}], "3"]}]}], ")"}], 
    SubscriptBox["\[Gamma]", "F"], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "G"]}], ")"}]}], "//", 
   "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.4032407144499702`*^9, 3.4032407209076977`*^9}, {3.403241006588995*^9, 
   3.403241047067608*^9}, {3.403241192604622*^9, 3.4032411984245787`*^9}, {
   3.403241367590004*^9, 3.403241385042124*^9}, {3.403241618905776*^9, 
   3.403241636422061*^9}, {3.403241726815915*^9, 3.403241727286208*^9}, {
   3.4032417821123533`*^9, 3.403241789639076*^9}, {3.403241882913219*^9, 
   3.403241883245474*^9}, {3.403241969848907*^9, 3.403242002427869*^9}, {
   3.4032420814740133`*^9, 3.403242081725642*^9}, {3.403242181710039*^9, 
   3.403242189106597*^9}}],

Cell[BoxData[
 RowBox[{
  FractionBox["5", "9"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "F"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "G"]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032407219965467`*^9, 
   3.403240798620233*^9, 3.403241199116775*^9, {3.4032413776578007`*^9, 
   3.403241388283584*^9}, 3.403241638953309*^9, 3.403241789960703*^9, 
   3.4032420030684834`*^9, 3.4032421895704107`*^9, 3.403242563711624*^9, 
   3.403243256803129*^9, 3.4032454153804913`*^9, 3.4032464046153927`*^9, 
   3.4032486105587673`*^9, 3.403286230829298*^9, 3.403400624483861*^9, 
   3.403534192230185*^9, 3.403616619815385*^9, 3.4044427174172697`*^9, 
   3.404452247478486*^9, 3.404452449979741*^9, {3.405795674410021*^9, 
   3.405795698490644*^9}, 3.40587483284268*^9, 3.405898259705793*^9, 
   3.406036960131538*^9, 3.4060377914162483`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   FractionBox["5", "9"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "F"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "G"]}], "//", "TeXForm"}]], "Input",
 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9, {
   3.4032407257472553`*^9, 3.403240751275949*^9}, 3.4032412191661787`*^9, 
   3.403241392271647*^9, 3.403241643338996*^9, 3.4032417941458197`*^9, 
   3.4032420091528273`*^9, 3.40324219305553*^9}],

Cell["\<\
\\frac{5}{9} \\left(\\gamma _F-1\\right) \\gamma _F \\left(\\gamma
   _G-1\\right) \\gamma _G\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.403240726084796*^9, 3.4032412195281563`*^9, 
   3.403241392633914*^9, 3.403241643693915*^9, 3.403241794499527*^9, 
   3.403242009516988*^9, 3.403242193403677*^9, 3.4032432568691587`*^9, 
   3.403245415452579*^9, 3.403246404742642*^9, 3.4032486106236067`*^9, 
   3.40328623088031*^9, 3.403400624549037*^9, 3.403534192334738*^9, 
   3.403616619868273*^9, 3.404442717469496*^9, 3.4044522475276814`*^9, 
   3.404452450007967*^9, {3.405795674459588*^9, 3.405795698558876*^9}, 
   3.4058748328930264`*^9, 3.405898259754311*^9, 3.4060369601807528`*^9, 
   3.4060377914677563`*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s11", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}, {3.40324060426819*^9, 
  3.403240604398456*^9}, {3.403240848608314*^9, 3.403240848695615*^9}, {
  3.403241270054137*^9, 3.403241270305746*^9}, {3.403241514854809*^9, 
  3.4032415157722588`*^9}, {3.403241708580846*^9, 3.403241708958139*^9}, {
  3.4032418811471987`*^9, 3.403241881371364*^9}, {3.403242077964038*^9, 
  3.403242078189942*^9}, {3.403242287580825*^9, 3.40324228764832*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s11", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
          SubscriptBox["\[Gamma]", "G"]}]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}]}]}], "3"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          SubscriptBox["\[Gamma]", "G"]}]}], "3"]}]}], ")"}], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "F"]}], ")"}], 
    SubscriptBox["\[Gamma]", "G"]}], "//", "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.4032407144499702`*^9, 3.4032407209076977`*^9}, {3.403241006588995*^9, 
   3.403241047067608*^9}, {3.403241192604622*^9, 3.4032411984245787`*^9}, {
   3.403241367590004*^9, 3.403241385042124*^9}, {3.403241618905776*^9, 
   3.403241636422061*^9}, {3.403241726815915*^9, 3.403241727286208*^9}, {
   3.4032417821123533`*^9, 3.403241789639076*^9}, {3.403241882913219*^9, 
   3.403241883245474*^9}, {3.403241969848907*^9, 3.403242002427869*^9}, {
   3.4032420814740133`*^9, 3.403242081725642*^9}, {3.403242181710039*^9, 
   3.403242189106597*^9}, {3.4032422910983458`*^9, 3.403242305638781*^9}, {
   3.403242365016107*^9, 3.4032423651296463`*^9}}],

Cell[BoxData[
 RowBox[{
  FractionBox["1", "9"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "G"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "3"}], "+", 
    SubscriptBox["\[Gamma]", "F"], "+", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       RowBox[{"-", "6"}], "+", 
       RowBox[{"5", " ", 
        SubscriptBox["\[Gamma]", "F"]}]}], ")"}], " ", 
     SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032407219965467`*^9, 
   3.403240798620233*^9, 3.403241199116775*^9, {3.4032413776578007`*^9, 
   3.403241388283584*^9}, 3.403241638953309*^9, 3.403241789960703*^9, 
   3.4032420030684834`*^9, 3.4032421895704107`*^9, 3.4032423063078117`*^9, 
   3.403242365453094*^9, 3.403242589417251*^9, 3.4032432570250196`*^9, 
   3.40324541581812*^9, 3.403246405086811*^9, 3.40324861086663*^9, 
   3.403286231096759*^9, 3.4034006246190643`*^9, 3.403534192408966*^9, 
   3.403616619973407*^9, 3.404442717534088*^9, 3.404452247593841*^9, 
   3.404452450066884*^9, {3.40579567451543*^9, 3.40579569862465*^9}, 
   3.405874832955462*^9, 3.40589825982133*^9, 3.406036960251046*^9, 
   3.40603779151791*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   FractionBox["1", "9"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "G"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "3"}], "+", 
     SubscriptBox["\[Gamma]", "F"], "+", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        RowBox[{"-", "6"}], "+", 
        RowBox[{"5", " ", 
         SubscriptBox["\[Gamma]", "F"]}]}], ")"}], " ", 
      SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}], "//", "TeXForm"}]], "Input",\

 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9, {
   3.4032407257472553`*^9, 3.403240751275949*^9}, 3.4032412191661787`*^9, 
   3.403241392271647*^9, 3.403241643338996*^9, 3.4032417941458197`*^9, 
   3.4032420091528273`*^9, 3.40324219305553*^9, 3.4032423104915133`*^9}],

Cell["\<\
\\frac{1}{9} \\left(\\gamma _F-1\\right) \\gamma _G \\left(\\gamma
   _F+\\left(5 \\gamma _F-6\\right) \\gamma _G-3\\right)\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.403240726084796*^9, 3.4032412195281563`*^9, 
   3.403241392633914*^9, 3.403241643693915*^9, 3.403241794499527*^9, 
   3.403242009516988*^9, 3.403242193403677*^9, 3.403242311232595*^9, 
   3.403243257071024*^9, 3.403245415889312*^9, 3.403246405152713*^9, 
   3.403248610907949*^9, 3.403286231145097*^9, 3.40340062466582*^9, 
   3.403534192447495*^9, 3.4036166200086727`*^9, 3.4044427175621443`*^9, 
   3.404452247626647*^9, 3.404452450113227*^9, {3.405795674570779*^9, 
   3.405795698691689*^9}, 3.405874832993122*^9, 3.405898259859501*^9, 
   3.4060369602857313`*^9, 3.4060377915964813`*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s12", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}, {3.40324060426819*^9, 
  3.403240604398456*^9}, {3.403240848608314*^9, 3.403240848695615*^9}, {
  3.403241270054137*^9, 3.403241270305746*^9}, {3.403241514854809*^9, 
  3.4032415157722588`*^9}, {3.403241708580846*^9, 3.403241708958139*^9}, {
  3.4032418811471987`*^9, 3.403241881371364*^9}, {3.403242077964038*^9, 
  3.403242078189942*^9}, {3.403242287580825*^9, 3.40324228764832*^9}, {
  3.403242361099352*^9, 3.4032423611872873`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s12", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
          SubscriptBox["\[Gamma]", "G"]}]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}]}]}], "3"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", " ", 
          SubscriptBox["\[Gamma]", "G"]}]}], "3"]}]}], ")"}], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "F"]}], ")"}], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "G"]}], ")"}]}], "//", 
   "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.4032407144499702`*^9, 3.4032407209076977`*^9}, {3.403241006588995*^9, 
   3.403241047067608*^9}, {3.403241192604622*^9, 3.4032411984245787`*^9}, {
   3.403241367590004*^9, 3.403241385042124*^9}, {3.403241618905776*^9, 
   3.403241636422061*^9}, {3.403241726815915*^9, 3.403241727286208*^9}, {
   3.4032417821123533`*^9, 3.403241789639076*^9}, {3.403241882913219*^9, 
   3.403241883245474*^9}, {3.403241969848907*^9, 3.403242002427869*^9}, {
   3.4032420814740133`*^9, 3.403242081725642*^9}, {3.403242181710039*^9, 
   3.403242189106597*^9}, {3.4032422910983458`*^9, 3.403242305638781*^9}, {
   3.403242369568201*^9, 3.403242369652465*^9}, {3.4032424218462667`*^9, 
   3.4032424324336357`*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox["1", "9"]}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "6"}], "+", 
    RowBox[{"5", " ", 
     SubscriptBox["\[Gamma]", "F"]}]}], ")"}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "G"]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032407219965467`*^9, 
   3.403240798620233*^9, 3.403241199116775*^9, {3.4032413776578007`*^9, 
   3.403241388283584*^9}, 3.403241638953309*^9, 3.403241789960703*^9, 
   3.4032420030684834`*^9, 3.4032421895704107`*^9, 3.4032423063078117`*^9, 
   3.403242432876358*^9, 3.403242641123251*^9, 3.40324325726938*^9, 
   3.4032454162287197`*^9, 3.403246405473139*^9, 3.403248610958083*^9, 
   3.40328623119558*^9, 3.40340062471765*^9, 3.4035341925041723`*^9, 
   3.403616620060255*^9, 3.404442717599024*^9, 3.404452247656499*^9, 
   3.4044524501628113`*^9, {3.405795674617392*^9, 3.405795698759099*^9}, 
   3.405874833059931*^9, 3.4058982599072323`*^9, 3.40603696033187*^9, 
   3.406037791656251*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", 
    FractionBox["1", "9"]}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "6"}], "+", 
     RowBox[{"5", " ", 
      SubscriptBox["\[Gamma]", "F"]}]}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "G"]}], "//", "TeXForm"}]], "Input",
 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9, {
   3.4032407257472553`*^9, 3.403240751275949*^9}, 3.4032412191661787`*^9, 
   3.403241392271647*^9, 3.403241643338996*^9, 3.4032417941458197`*^9, 
   3.4032420091528273`*^9, 3.40324219305553*^9, 3.4032423104915133`*^9, 
   3.403242438519689*^9}],

Cell["\<\
-\\frac{1}{9} \\left(\\gamma _F-1\\right) \\left(5 \\gamma
   _F-6\\right) \\left(\\gamma _G-1\\right) \\gamma _G\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.403240726084796*^9, 3.4032412195281563`*^9, 
   3.403241392633914*^9, 3.403241643693915*^9, 3.403241794499527*^9, 
   3.403242009516988*^9, 3.403242193403677*^9, 3.403242311232595*^9, 
   3.403242438874278*^9, 3.40324325732255*^9, 3.403245416304634*^9, 
   3.4032464055377073`*^9, 3.403248611024228*^9, 3.40328623126475*^9, 
   3.4034006247823153`*^9, 3.403534192553301*^9, 3.403616620114085*^9, 
   3.404442717650509*^9, 3.40445224771455*^9, 3.404452450213869*^9, {
   3.4057956746835747`*^9, 3.405795698825486*^9}, 3.405874833110655*^9, 
   3.4058982599557323`*^9, 3.406036960381075*^9, 3.406037791723117*^9}]
}, Open  ]],

Cell["Sanity Check:", "Text",
 CellChangeTimes->{{3.403242478881504*^9, 3.403242482135065*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"s9", "+", "s10", "+", "s11", "+", "s12"}], "//", 
  "FullSimplify"}]], "Input",
 CellChangeTimes->{{3.403242483610834*^9, 3.403242494621204*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "F"]}], ")"}]}], " ", 
  SubscriptBox["\[Gamma]", "G"]}]], "Output",
 CellChangeTimes->{
  3.403242495833683*^9, 3.403242644277939*^9, 3.403243257454583*^9, 
   3.403245416627305*^9, 3.403246405908455*^9, 3.403248611138723*^9, 
   3.40328623132976*^9, 3.4034006248310957`*^9, 3.403534192605823*^9, 
   3.403616620168579*^9, 3.404442717700736*^9, 3.404452247761526*^9, 
   3.404452450263938*^9, {3.405795674749776*^9, 3.4057956988916807`*^9}, 
   3.405874833160688*^9, 3.405898259993224*^9, 3.406036960432365*^9, 
   3.406037791769327*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s13", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}, {3.40324060426819*^9, 
  3.403240604398456*^9}, {3.403240848608314*^9, 3.403240848695615*^9}, {
  3.403241270054137*^9, 3.403241270305746*^9}, {3.403241514854809*^9, 
  3.4032415157722588`*^9}, {3.403241708580846*^9, 3.403241708958139*^9}, {
  3.4032418811471987`*^9, 3.403241881371364*^9}, {3.403242077964038*^9, 
  3.403242078189942*^9}, {3.403242287580825*^9, 3.40324228764832*^9}, {
  3.403242361099352*^9, 3.4032423611872873`*^9}, {3.403242664959054*^9, 
  3.403242665134018*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s13", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}]}]}], "3"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}]}], ")"}], 
    SubscriptBox["\[Gamma]", "F"], 
    SubscriptBox["\[Gamma]", "G"]}], "//", "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.4032407144499702`*^9, 3.4032407209076977`*^9}, {3.403241006588995*^9, 
   3.403241047067608*^9}, {3.403241192604622*^9, 3.4032411984245787`*^9}, {
   3.403241367590004*^9, 3.403241385042124*^9}, {3.403241618905776*^9, 
   3.403241636422061*^9}, {3.403241726815915*^9, 3.403241727286208*^9}, {
   3.4032417821123533`*^9, 3.403241789639076*^9}, {3.403241882913219*^9, 
   3.403241883245474*^9}, {3.403241969848907*^9, 3.403242002427869*^9}, {
   3.4032420814740133`*^9, 3.403242081725642*^9}, {3.403242181710039*^9, 
   3.403242189106597*^9}, {3.4032422910983458`*^9, 3.403242305638781*^9}, {
   3.403242369568201*^9, 3.403242369652465*^9}, {3.4032424218462667`*^9, 
   3.4032424324336357`*^9}, {3.403242676229494*^9, 3.403242676329574*^9}, {
   3.40324278709065*^9, 3.40324280904677*^9}}],

Cell[BoxData[
 RowBox[{
  FractionBox["5", "9"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "F"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "G"]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032407219965467`*^9, 
   3.403240798620233*^9, 3.403241199116775*^9, {3.4032413776578007`*^9, 
   3.403241388283584*^9}, 3.403241638953309*^9, 3.403241789960703*^9, 
   3.4032420030684834`*^9, 3.4032421895704107`*^9, 3.4032423063078117`*^9, 
   3.403242432876358*^9, 3.403242641123251*^9, 3.403242809400715*^9, 
   3.403243257505869*^9, 3.403245416718628*^9, 3.4032464059992228`*^9, 
   3.403248611193521*^9, 3.403286231398027*^9, 3.403400624883781*^9, 
   3.4035341926553507`*^9, 3.403616620207159*^9, 3.404442717750904*^9, 
   3.4044522478113737`*^9, 3.404452450313877*^9, {3.40579567481654*^9, 
   3.4057956989581623`*^9}, 3.405874833270198*^9, 3.405898260063287*^9, 
   3.40603696048284*^9, 3.4060377918194304`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   FractionBox["5", "9"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "F"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "G"]}], "//", "TeXForm"}]], "Input",
 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9, {
   3.4032407257472553`*^9, 3.403240751275949*^9}, 3.4032412191661787`*^9, 
   3.403241392271647*^9, 3.403241643338996*^9, 3.4032417941458197`*^9, 
   3.4032420091528273`*^9, 3.40324219305553*^9, 3.4032423104915133`*^9, 
   3.403242438519689*^9, 3.403242815586948*^9}],

Cell["\<\
\\frac{5}{9} \\left(\\gamma _F-1\\right) \\gamma _F \\left(\\gamma
   _G-1\\right) \\gamma _G\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.403240726084796*^9, 3.4032412195281563`*^9, 
   3.403241392633914*^9, 3.403241643693915*^9, 3.403241794499527*^9, 
   3.403242009516988*^9, 3.403242193403677*^9, 3.403242311232595*^9, 
   3.403242438874278*^9, 3.40324281594586*^9, 3.403243257555718*^9, 
   3.403245416790587*^9, 3.403246406073326*^9, 3.4032486112581387`*^9, 
   3.4032862315895157`*^9, 3.403400624934072*^9, 3.403534192706354*^9, 
   3.403616620241962*^9, 3.404442717804472*^9, 3.404452247848002*^9, 
   3.404452450363694*^9, {3.405795674882696*^9, 3.405795699003518*^9}, 
   3.4058748333100243`*^9, 3.405898260127033*^9, 3.406036960531588*^9, 
   3.406037791870566*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s14", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}, {3.40324060426819*^9, 
  3.403240604398456*^9}, {3.403240848608314*^9, 3.403240848695615*^9}, {
  3.403241270054137*^9, 3.403241270305746*^9}, {3.403241514854809*^9, 
  3.4032415157722588`*^9}, {3.403241708580846*^9, 3.403241708958139*^9}, {
  3.4032418811471987`*^9, 3.403241881371364*^9}, {3.403242077964038*^9, 
  3.403242078189942*^9}, {3.403242287580825*^9, 3.40324228764832*^9}, {
  3.403242361099352*^9, 3.4032423611872873`*^9}, {3.403242664959054*^9, 
  3.403242665134018*^9}, {3.403242852500812*^9, 3.4032428528193913`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s14", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}]}]}], "3"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}]}], ")"}], 
    SubscriptBox["\[Gamma]", "F"], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "G"]}], ")"}]}], "//", 
   "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.4032407144499702`*^9, 3.4032407209076977`*^9}, {3.403241006588995*^9, 
   3.403241047067608*^9}, {3.403241192604622*^9, 3.4032411984245787`*^9}, {
   3.403241367590004*^9, 3.403241385042124*^9}, {3.403241618905776*^9, 
   3.403241636422061*^9}, {3.403241726815915*^9, 3.403241727286208*^9}, {
   3.4032417821123533`*^9, 3.403241789639076*^9}, {3.403241882913219*^9, 
   3.403241883245474*^9}, {3.403241969848907*^9, 3.403242002427869*^9}, {
   3.4032420814740133`*^9, 3.403242081725642*^9}, {3.403242181710039*^9, 
   3.403242189106597*^9}, {3.4032422910983458`*^9, 3.403242305638781*^9}, {
   3.403242369568201*^9, 3.403242369652465*^9}, {3.4032424218462667`*^9, 
   3.4032424324336357`*^9}, {3.403242676229494*^9, 3.403242676329574*^9}, {
   3.40324278709065*^9, 3.40324280904677*^9}, {3.403242855783329*^9, 
   3.403242855863223*^9}, {3.403242915184546*^9, 3.403242920405189*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox["1", "9"]}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "F"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "6"}], "+", 
    RowBox[{"5", " ", 
     SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032407219965467`*^9, 
   3.403240798620233*^9, 3.403241199116775*^9, {3.4032413776578007`*^9, 
   3.403241388283584*^9}, 3.403241638953309*^9, 3.403241789960703*^9, 
   3.4032420030684834`*^9, 3.4032421895704107`*^9, 3.4032423063078117`*^9, 
   3.403242432876358*^9, 3.403242641123251*^9, 3.403242809400715*^9, 
   3.403242920852934*^9, 3.403243257670718*^9, 3.403245417211443*^9, 
   3.403246406415126*^9, 3.4032486113118896`*^9, 3.403286231648058*^9, 
   3.403400624984722*^9, 3.4035341928054047`*^9, 3.4036166202958384`*^9, 
   3.4044427178520317`*^9, 3.4044522479134283`*^9, 3.404452450414385*^9, {
   3.405795674928936*^9, 3.405795699056234*^9}, 3.40587483336124*^9, 
   3.4058982601953487`*^9, 3.406036960583598*^9, 3.406037791921441*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", 
    FractionBox["1", "9"]}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "F"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "6"}], "+", 
     RowBox[{"5", " ", 
      SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}], "//", "TeXForm"}]], "Input",\

 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9, {
   3.4032407257472553`*^9, 3.403240751275949*^9}, 3.4032412191661787`*^9, 
   3.403241392271647*^9, 3.403241643338996*^9, 3.4032417941458197`*^9, 
   3.4032420091528273`*^9, 3.40324219305553*^9, 3.4032423104915133`*^9, 
   3.403242438519689*^9, 3.403242815586948*^9, 3.4032429251415997`*^9}],

Cell["\<\
-\\frac{1}{9} \\left(\\gamma _F-1\\right) \\gamma _F
   \\left(\\gamma _G-1\\right) \\left(5 \\gamma _G-6\\right)\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.403240726084796*^9, 3.4032412195281563`*^9, 
   3.403241392633914*^9, 3.403241643693915*^9, 3.403241794499527*^9, 
   3.403242009516988*^9, 3.403242193403677*^9, 3.403242311232595*^9, 
   3.403242438874278*^9, 3.40324281594586*^9, 3.4032429258706512`*^9, 
   3.403243257722926*^9, 3.403245417277822*^9, 3.403246406476921*^9, 
   3.403248611376874*^9, 3.403286231714202*^9, 3.403400625033863*^9, 
   3.403534192846775*^9, 3.403616620342864*^9, 3.404442717902556*^9, 
   3.4044522480208273`*^9, 3.40445245046455*^9, {3.4057956749794617`*^9, 
   3.405795699137372*^9}, 3.405874833409305*^9, 3.40589826026269*^9, 
   3.406036960632805*^9, 3.406037791970846*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s15", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}, {3.40324060426819*^9, 
  3.403240604398456*^9}, {3.403240848608314*^9, 3.403240848695615*^9}, {
  3.403241270054137*^9, 3.403241270305746*^9}, {3.403241514854809*^9, 
  3.4032415157722588`*^9}, {3.403241708580846*^9, 3.403241708958139*^9}, {
  3.4032418811471987`*^9, 3.403241881371364*^9}, {3.403242077964038*^9, 
  3.403242078189942*^9}, {3.403242287580825*^9, 3.40324228764832*^9}, {
  3.403242361099352*^9, 3.4032423611872873`*^9}, {3.403242664959054*^9, 
  3.403242665134018*^9}, {3.403242852500812*^9, 3.4032428528193913`*^9}, {
  3.4032429606510267`*^9, 3.403242960737597*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s15", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}]}]}], "3"], 
       FractionBox[
        RowBox[{"0", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}]}], ")"}], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "F"]}], ")"}], 
    SubscriptBox["\[Gamma]", "G"]}], "//", "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.4032407144499702`*^9, 3.4032407209076977`*^9}, {3.403241006588995*^9, 
   3.403241047067608*^9}, {3.403241192604622*^9, 3.4032411984245787`*^9}, {
   3.403241367590004*^9, 3.403241385042124*^9}, {3.403241618905776*^9, 
   3.403241636422061*^9}, {3.403241726815915*^9, 3.403241727286208*^9}, {
   3.4032417821123533`*^9, 3.403241789639076*^9}, {3.403241882913219*^9, 
   3.403241883245474*^9}, {3.403241969848907*^9, 3.403242002427869*^9}, {
   3.4032420814740133`*^9, 3.403242081725642*^9}, {3.403242181710039*^9, 
   3.403242189106597*^9}, {3.4032422910983458`*^9, 3.403242305638781*^9}, {
   3.403242369568201*^9, 3.403242369652465*^9}, {3.4032424218462667`*^9, 
   3.4032424324336357`*^9}, {3.403242676229494*^9, 3.403242676329574*^9}, {
   3.40324278709065*^9, 3.40324280904677*^9}, {3.403242855783329*^9, 
   3.403242855863223*^9}, {3.403242915184546*^9, 3.403242920405189*^9}, {
   3.403242962689149*^9, 3.403242962772869*^9}, {3.403243004862924*^9, 
   3.40324301875672*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox["1", "9"]}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "6"}], "+", 
    RowBox[{"5", " ", 
     SubscriptBox["\[Gamma]", "F"]}]}], ")"}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
  SubscriptBox["\[Gamma]", "G"]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032407219965467`*^9, 
   3.403240798620233*^9, 3.403241199116775*^9, {3.4032413776578007`*^9, 
   3.403241388283584*^9}, 3.403241638953309*^9, 3.403241789960703*^9, 
   3.4032420030684834`*^9, 3.4032421895704107`*^9, 3.4032423063078117`*^9, 
   3.403242432876358*^9, 3.403242641123251*^9, 3.403242809400715*^9, 
   3.403242920852934*^9, 3.4032430224374332`*^9, 3.40324325783884*^9, 
   3.403245417631817*^9, 3.4032464067981853`*^9, 3.403248611442978*^9, 
   3.403286231766233*^9, 3.403400625085979*^9, 3.403534192899938*^9, 
   3.403616620397079*^9, 3.404442717952715*^9, 3.4044522480618553`*^9, 
   3.404452450515671*^9, {3.405795675031144*^9, 3.405795699172557*^9}, 
   3.405874833483039*^9, 3.4058982603291903`*^9, 3.4060369606835947`*^9, 
   3.406037792021846*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", 
    FractionBox["1", "9"]}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "6"}], "+", 
     RowBox[{"5", " ", 
      SubscriptBox["\[Gamma]", "F"]}]}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
   SubscriptBox["\[Gamma]", "G"]}], "//", "TeXForm"}]], "Input",
 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9, {
   3.4032407257472553`*^9, 3.403240751275949*^9}, 3.4032412191661787`*^9, 
   3.403241392271647*^9, 3.403241643338996*^9, 3.4032417941458197`*^9, 
   3.4032420091528273`*^9, 3.40324219305553*^9, 3.4032423104915133`*^9, 
   3.403242438519689*^9, 3.403242815586948*^9, 3.4032429251415997`*^9, 
   3.403243028017651*^9}],

Cell["\<\
-\\frac{1}{9} \\left(\\gamma _F-1\\right) \\left(5 \\gamma
   _F-6\\right) \\left(\\gamma _G-1\\right) \\gamma _G\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.403240726084796*^9, 3.4032412195281563`*^9, 
   3.403241392633914*^9, 3.403241643693915*^9, 3.403241794499527*^9, 
   3.403242009516988*^9, 3.403242193403677*^9, 3.403242311232595*^9, 
   3.403242438874278*^9, 3.40324281594586*^9, 3.4032429258706512`*^9, 
   3.403243028346732*^9, 3.403243257890658*^9, 3.403245417695669*^9, 
   3.403246406920713*^9, 3.403248611494422*^9, 3.403286231831295*^9, 
   3.403400625131427*^9, 3.403534192949729*^9, 3.40361662051527*^9, 
   3.4044427180750237`*^9, 3.404452248101097*^9, 3.404452450564835*^9, {
   3.405795675081369*^9, 3.405795699350749*^9}, 3.405874833527877*^9, 
   3.405898260518283*^9, 3.406036960844997*^9, 3.406037792213365*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["s16", "Subsubsection",
 CellChangeTimes->{{3.403239934084041*^9, 3.40323995496277*^9}, {
  3.403240498717678*^9, 3.403240498817175*^9}, {3.40324060426819*^9, 
  3.403240604398456*^9}, {3.403240848608314*^9, 3.403240848695615*^9}, {
  3.403241270054137*^9, 3.403241270305746*^9}, {3.403241514854809*^9, 
  3.4032415157722588`*^9}, {3.403241708580846*^9, 3.403241708958139*^9}, {
  3.4032418811471987`*^9, 3.403241881371364*^9}, {3.403242077964038*^9, 
  3.403242078189942*^9}, {3.403242287580825*^9, 3.40324228764832*^9}, {
  3.403242361099352*^9, 3.4032423611872873`*^9}, {3.403242664959054*^9, 
  3.403242665134018*^9}, {3.403242852500812*^9, 3.4032428528193913`*^9}, {
  3.4032429606510267`*^9, 3.403242960737597*^9}, {3.403243061467455*^9, 
  3.403243061784028*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"s16", "=", 
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}], "+", 
      RowBox[{
       FractionBox["1", "2"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "F"]}], ")"}]}]}], "3"], 
       FractionBox[
        RowBox[{"1", "+", 
         RowBox[{"2", " ", 
          RowBox[{"(", 
           RowBox[{"1", "-", 
            SubscriptBox["\[Gamma]", "G"]}], ")"}]}]}], "3"]}]}], ")"}], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "F"]}], ")"}], 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      SubscriptBox["\[Gamma]", "G"]}], ")"}]}], "//", 
   "FullSimplify"}]}]], "Input",
 CellChangeTimes->{{3.403238895925004*^9, 3.403238930755669*^9}, {
   3.403239106381887*^9, 3.4032391071454687`*^9}, {3.403239183851983*^9, 
   3.403239220419036*^9}, 3.403239295804269*^9, {3.403239338628735*^9, 
   3.403239396353516*^9}, {3.403240116866972*^9, 3.403240125964341*^9}, {
   3.4032401747412148`*^9, 3.403240177863296*^9}, {3.403240281454822*^9, 
   3.403240281594841*^9}, {3.40324051337875*^9, 3.403240531359653*^9}, {
   3.4032407144499702`*^9, 3.4032407209076977`*^9}, {3.403241006588995*^9, 
   3.403241047067608*^9}, {3.403241192604622*^9, 3.4032411984245787`*^9}, {
   3.403241367590004*^9, 3.403241385042124*^9}, {3.403241618905776*^9, 
   3.403241636422061*^9}, {3.403241726815915*^9, 3.403241727286208*^9}, {
   3.4032417821123533`*^9, 3.403241789639076*^9}, {3.403241882913219*^9, 
   3.403241883245474*^9}, {3.403241969848907*^9, 3.403242002427869*^9}, {
   3.4032420814740133`*^9, 3.403242081725642*^9}, {3.403242181710039*^9, 
   3.403242189106597*^9}, {3.4032422910983458`*^9, 3.403242305638781*^9}, {
   3.403242369568201*^9, 3.403242369652465*^9}, {3.4032424218462667`*^9, 
   3.4032424324336357`*^9}, {3.403242676229494*^9, 3.403242676329574*^9}, {
   3.40324278709065*^9, 3.40324280904677*^9}, {3.403242855783329*^9, 
   3.403242855863223*^9}, {3.403242915184546*^9, 3.403242920405189*^9}, {
   3.403242962689149*^9, 3.403242962772869*^9}, {3.403243004862924*^9, 
   3.40324301875672*^9}, {3.4032430638557253`*^9, 3.4032430836927643`*^9}}],

Cell[BoxData[
 RowBox[{
  FractionBox["1", "9"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
  RowBox[{"(", 
   RowBox[{"9", "-", 
    RowBox[{"6", " ", 
     SubscriptBox["\[Gamma]", "G"]}], "+", 
    RowBox[{
     SubscriptBox["\[Gamma]", "F"], " ", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"-", "6"}], "+", 
       RowBox[{"5", " ", 
        SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}]}], ")"}]}]], "Output",
 CellChangeTimes->{
  3.403238931455915*^9, 3.403239107517253*^9, 3.403239221106625*^9, 
   3.4032392960930777`*^9, 3.403239341096344*^9, {3.403239384204671*^9, 
   3.403239396800638*^9}, 3.403240130594974*^9, 3.403240178879414*^9, 
   3.4032403390049057`*^9, 3.403240532367234*^9, 3.4032407219965467`*^9, 
   3.403240798620233*^9, 3.403241199116775*^9, {3.4032413776578007`*^9, 
   3.403241388283584*^9}, 3.403241638953309*^9, 3.403241789960703*^9, 
   3.4032420030684834`*^9, 3.4032421895704107`*^9, 3.4032423063078117`*^9, 
   3.403242432876358*^9, 3.403242641123251*^9, 3.403242809400715*^9, 
   3.403242920852934*^9, 3.4032430224374332`*^9, 3.403243084484015*^9, 
   3.403243258074317*^9, 3.403245417990262*^9, 3.403246407271697*^9, 
   3.403248611562222*^9, 3.403286231912889*^9, 3.4034006253193913`*^9, 
   3.403534193043592*^9, 3.403616620579321*^9, 3.404442718131863*^9, 
   3.4044522481774483`*^9, 3.404452450616076*^9, {3.405795675140037*^9, 
   3.405795699406722*^9}, 3.405874833574512*^9, 3.4058982605717583`*^9, 
   3.406036960950384*^9, 3.406037792265541*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   FractionBox["1", "9"], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", 
     SubscriptBox["\[Gamma]", "G"]}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{"9", "-", 
     RowBox[{"6", " ", 
      SubscriptBox["\[Gamma]", "G"]}], "+", 
     RowBox[{
      SubscriptBox["\[Gamma]", "F"], " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"-", "6"}], "+", 
        RowBox[{"5", " ", 
         SubscriptBox["\[Gamma]", "G"]}]}], ")"}]}]}], ")"}]}], "//", 
  "TeXForm"}]], "Input",
 CellChangeTimes->{{3.4032395060091963`*^9, 3.403239511219758*^9}, 
   3.4032401348428717`*^9, 3.403240184964569*^9, 3.403240538046221*^9, {
   3.4032407257472553`*^9, 3.403240751275949*^9}, 3.4032412191661787`*^9, 
   3.403241392271647*^9, 3.403241643338996*^9, 3.4032417941458197`*^9, 
   3.4032420091528273`*^9, 3.40324219305553*^9, 3.4032423104915133`*^9, 
   3.403242438519689*^9, 3.403242815586948*^9, 3.4032429251415997`*^9, 
   3.403243028017651*^9, 3.403243090032216*^9}],

Cell["\<\
\\frac{1}{9} \\left(\\gamma _F-1\\right) \\left(\\gamma
   _G-1\\right) \\left(-6 \\gamma _G+\\gamma _F \\left(5 \\gamma
   _G-6\\right)+9\\right)\
\>", "Output",
 CellChangeTimes->{{3.403239507928932*^9, 3.4032395116732197`*^9}, 
   3.4032401352114*^9, 3.403240185310442*^9, 3.4032403463133383`*^9, 
   3.403240538389853*^9, 3.403240726084796*^9, 3.4032412195281563`*^9, 
   3.403241392633914*^9, 3.403241643693915*^9, 3.403241794499527*^9, 
   3.403242009516988*^9, 3.403242193403677*^9, 3.403242311232595*^9, 
   3.403242438874278*^9, 3.40324281594586*^9, 3.4032429258706512`*^9, 
   3.403243028346732*^9, 3.4032430904259157`*^9, 3.403243258224423*^9, 
   3.403245418066927*^9, 3.403246407329506*^9, 3.40324861161133*^9, 
   3.403286231945566*^9, 3.403400625368598*^9, 3.4035341930804157`*^9, 
   3.403616620610879*^9, 3.404442718169395*^9, 3.4044522482128572`*^9, 
   3.404452450802257*^9, {3.405795675288261*^9, 3.405795699444503*^9}, 
   3.405874833628541*^9, 3.40589826062943*^9, 3.406036960984385*^9, 
   3.406037792325905*^9}]
}, Open  ]],

Cell["Sanity Check:", "Text",
 CellChangeTimes->{{3.4032432270502567`*^9, 3.4032432286236687`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"s13", "+", "s14", "+", "s15", "+", "s16"}], "//", 
  "FullSimplify"}]], "Input",
 CellChangeTimes->{{3.403243229633987*^9, 3.403243242536797*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "F"]}], ")"}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "1"}], "+", 
    SubscriptBox["\[Gamma]", "G"]}], ")"}]}]], "Output",
 CellChangeTimes->{{3.403243242815609*^9, 3.4032432584659033`*^9}, 
   3.403245418387129*^9, 3.4032464076392097`*^9, 3.403248611678008*^9, 
   3.4032862319846773`*^9, 3.403400625419148*^9, 3.403534193113412*^9, 
   3.4036166206441317`*^9, 3.404442718208548*^9, 3.404452248246626*^9, 
   3.404452450866617*^9, {3.405795675351993*^9, 3.405795699512368*^9}, 
   3.405874833678918*^9, 3.405898260694718*^9, 3.4060369610236063`*^9, 
   3.406037792393305*^9}]
}, Open  ]]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell["Finding Models in Maher's System", "Subsection",
 CellChangeTimes->{{3.4032432737925167`*^9, 3.4032432873601313`*^9}}],

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"x_", "\[Superset]", "y_"}], ":=", 
   RowBox[{
    RowBox[{"\[Not]", "x"}], "\[Or]", "y"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"x_", "\[Congruent]", "y_"}], ":=", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{"x", "\[Superset]", "y"}], ")"}], "\[And]", 
    RowBox[{"(", 
     RowBox[{"y", "\[Superset]", "x"}], ")"}]}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"map", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "16"], "\[Rule]", "s1"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "12"], "\[Rule]", "s2"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "13"], "\[Rule]", "s5"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "6"], "\[Rule]", "s6"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "14"], "\[Rule]", "s3"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "7"], "\[Rule]", "s4"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "8"], "\[Rule]", "s7"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "2"], "\[Rule]", "s8"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "15"], "\[Rule]", "s9"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "9"], "\[Rule]", "s10"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "10"], "\[Rule]", "s13"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "3"], "\[Rule]", "s14"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "11"], "\[Rule]", "s11"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "4"], "\[Rule]", "s12"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "5"], "\[Rule]", "s15"}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "1"], "\[Rule]", "s16"}]}], "}"}]}], 
  ";", 
  RowBox[{
   RowBox[{"MaherModel", "[", 
    RowBox[{"f_", ",", "g_"}], "]"}], ":=", 
   RowBox[{"PrSAT", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{"Fa", "\[And]", "Ga", "\[And]", "Fb", "\[And]", "Gb"}], 
         "]"}], "\[Equal]", "s1"}], ",", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{"Fa", "\[And]", "Ga", "\[And]", "Fb", "\[And]", 
          RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s2"}], ",", 
       "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{"Fa", "\[And]", "Ga", "\[And]", 
          RowBox[{"\[Not]", "Fb"}], "\[And]", "Gb"}], "]"}], "\[Equal]", 
        "s3"}], ",", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{"Fa", "\[And]", "Ga", "\[And]", 
          RowBox[{"\[Not]", "Fb"}], "\[And]", 
          RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s4"}], ",", 
       "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{"Fa", "\[And]", 
          RowBox[{"\[Not]", "Ga"}], "\[And]", "Fb", "\[And]", "Gb"}], "]"}], 
        "\[Equal]", "s5"}], ",", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{"Fa", "\[And]", 
          RowBox[{"\[Not]", "Ga"}], "\[And]", "Fb", "\[And]", 
          RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s6"}], ",", 
       "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{"Fa", "\[And]", 
          RowBox[{"\[Not]", "Ga"}], "\[And]", 
          RowBox[{"\[Not]", "Fb"}], "\[And]", "Gb"}], "]"}], "\[Equal]", 
        "s7"}], ",", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{"Fa", "\[And]", 
          RowBox[{"\[Not]", "Ga"}], "\[And]", 
          RowBox[{"\[Not]", "Fb"}], "\[And]", 
          RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s8"}], ",", 
       "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{"\[Not]", "Fa"}], "\[And]", "Ga", "\[And]", "Fb", "\[And]", 
          "Gb"}], "]"}], "\[Equal]", "s9"}], ",", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{"\[Not]", "Fa"}], "\[And]", "Ga", "\[And]", "Fb", "\[And]", 
          
          RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s10"}], ",", 
       "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{"\[Not]", "Fa"}], "\[And]", "Ga", "\[And]", 
          RowBox[{"\[Not]", "Fb"}], "\[And]", "Gb"}], "]"}], "\[Equal]", 
        "s11"}], ",", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{"\[Not]", "Fa"}], "\[And]", "Ga", "\[And]", 
          RowBox[{"\[Not]", "Fb"}], "\[And]", 
          RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s12"}], ",", 
       "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{"\[Not]", "Fa"}], "\[And]", 
          RowBox[{"\[Not]", "Ga"}], "\[And]", "Fb", "\[And]", "Gb"}], "]"}], 
        "\[Equal]", "s13"}], ",", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{"\[Not]", "Fa"}], "\[And]", 
          RowBox[{"\[Not]", "Ga"}], "\[And]", "Fb", "\[And]", 
          RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s14"}], ",", 
       "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{"\[Not]", "Fa"}], "\[And]", 
          RowBox[{"\[Not]", "Ga"}], "\[And]", 
          RowBox[{"\[Not]", "Fb"}], "\[And]", "Gb"}], "]"}], "\[Equal]", 
        "s15"}], ",", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{"\[Not]", "Fa"}], "\[And]", 
          RowBox[{"\[Not]", "Ga"}], "\[And]", 
          RowBox[{"\[Not]", "Fb"}], "\[And]", 
          RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s16"}]}], "}"}], "//.",
      
     RowBox[{"{", 
      RowBox[{
       RowBox[{
        SubscriptBox["\[Gamma]", "F"], "\[Rule]", "f"}], ",", 
       RowBox[{
        SubscriptBox["\[Gamma]", "G"], "\[Rule]", "g"}]}], "}"}]}], "]"}]}], 
  ";"}]}], "Input",
 CellChangeTimes->{{3.4032465280152693`*^9, 3.4032465282030907`*^9}, {
  3.403248617424509*^9, 3.4032486216503763`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"MNC", "=", 
  RowBox[{"MaherModel", "[", 
   RowBox[{
    RowBox[{"1", "/", "1000"}], ",", 
    RowBox[{"1", "/", "10"}]}], "]"}]}]], "Input",
 CellChangeTimes->{{3.40324535950701*^9, 3.403245388746007*^9}, {
  3.4032454804223003`*^9, 3.4032454824339046`*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{
     RowBox[{"Fa", "\[Rule]", 
      RowBox[{"{", 
       RowBox[{
        SubscriptBox["\[DoubleStruckA]", "2"], ",", 
        SubscriptBox["\[DoubleStruckA]", "6"], ",", 
        SubscriptBox["\[DoubleStruckA]", "7"], ",", 
        SubscriptBox["\[DoubleStruckA]", "8"], ",", 
        SubscriptBox["\[DoubleStruckA]", "12"], ",", 
        SubscriptBox["\[DoubleStruckA]", "13"], ",", 
        SubscriptBox["\[DoubleStruckA]", "14"], ",", 
        SubscriptBox["\[DoubleStruckA]", "16"]}], "}"}]}], ",", 
     RowBox[{"Fb", "\[Rule]", 
      RowBox[{"{", 
       RowBox[{
        SubscriptBox["\[DoubleStruckA]", "3"], ",", 
        SubscriptBox["\[DoubleStruckA]", "6"], ",", 
        SubscriptBox["\[DoubleStruckA]", "9"], ",", 
        SubscriptBox["\[DoubleStruckA]", "10"], ",", 
        SubscriptBox["\[DoubleStruckA]", "12"], ",", 
        SubscriptBox["\[DoubleStruckA]", "13"], ",", 
        SubscriptBox["\[DoubleStruckA]", "15"], ",", 
        SubscriptBox["\[DoubleStruckA]", "16"]}], "}"}]}], ",", 
     RowBox[{"Ga", "\[Rule]", 
      RowBox[{"{", 
       RowBox[{
        SubscriptBox["\[DoubleStruckA]", "4"], ",", 
        SubscriptBox["\[DoubleStruckA]", "7"], ",", 
        SubscriptBox["\[DoubleStruckA]", "9"], ",", 
        SubscriptBox["\[DoubleStruckA]", "11"], ",", 
        SubscriptBox["\[DoubleStruckA]", "12"], ",", 
        SubscriptBox["\[DoubleStruckA]", "14"], ",", 
        SubscriptBox["\[DoubleStruckA]", "15"], ",", 
        SubscriptBox["\[DoubleStruckA]", "16"]}], "}"}]}], ",", 
     RowBox[{"Gb", "\[Rule]", 
      RowBox[{"{", 
       RowBox[{
        SubscriptBox["\[DoubleStruckA]", "5"], ",", 
        SubscriptBox["\[DoubleStruckA]", "8"], ",", 
        SubscriptBox["\[DoubleStruckA]", "10"], ",", 
        SubscriptBox["\[DoubleStruckA]", "11"], ",", 
        SubscriptBox["\[DoubleStruckA]", "13"], ",", 
        SubscriptBox["\[DoubleStruckA]", "14"], ",", 
        SubscriptBox["\[DoubleStruckA]", "15"], ",", 
        SubscriptBox["\[DoubleStruckA]", "16"]}], "}"}]}], ",", 
     RowBox[{"\[CapitalOmega]", "\[Rule]", 
      RowBox[{"{", 
       RowBox[{
        SubscriptBox["\[DoubleStruckA]", "1"], ",", 
        SubscriptBox["\[DoubleStruckA]", "2"], ",", 
        SubscriptBox["\[DoubleStruckA]", "3"], ",", 
        SubscriptBox["\[DoubleStruckA]", "4"], ",", 
        SubscriptBox["\[DoubleStruckA]", "5"], ",", 
        SubscriptBox["\[DoubleStruckA]", "6"], ",", 
        SubscriptBox["\[DoubleStruckA]", "7"], ",", 
        SubscriptBox["\[DoubleStruckA]", "8"], ",", 
        SubscriptBox["\[DoubleStruckA]", "9"], ",", 
        SubscriptBox["\[DoubleStruckA]", "10"], ",", 
        SubscriptBox["\[DoubleStruckA]", "11"], ",", 
        SubscriptBox["\[DoubleStruckA]", "12"], ",", 
        SubscriptBox["\[DoubleStruckA]", "13"], ",", 
        SubscriptBox["\[DoubleStruckA]", "14"], ",", 
        SubscriptBox["\[DoubleStruckA]", "15"], ",", 
        SubscriptBox["\[DoubleStruckA]", "16"]}], "}"}]}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "1"], "\[Rule]", 
      FractionBox["16772211", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "2"], "\[Rule]", 
      FractionBox["10989", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "3"], "\[Rule]", 
      FractionBox["10989", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "4"], "\[Rule]", 
      FractionBox["1197801", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "5"], "\[Rule]", 
      FractionBox["1197801", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "6"], "\[Rule]", 
      FractionBox["5811", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "7"], "\[Rule]", 
      FractionBox["999", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "8"], "\[Rule]", 
      FractionBox["999", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "9"], "\[Rule]", 
      FractionBox["999", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "10"], "\[Rule]", 
      FractionBox["999", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "11"], "\[Rule]", 
      FractionBox["798867", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "12"], "\[Rule]", 
      FractionBox["201", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "13"], "\[Rule]", 
      FractionBox["201", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "14"], "\[Rule]", 
      FractionBox["333", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "15"], "\[Rule]", 
      FractionBox["333", "20000000"]}], ",", 
     RowBox[{
      SubscriptBox["\[DoubleStruckA]", "16"], "\[Rule]", 
      FractionBox["467", "20000000"]}]}], "}"}]}], "}"}]], "Output",
 CellChangeTimes->{{3.403245400533145*^9, 3.403245419276505*^9}, 
   3.403245483566534*^9, 3.4032464082487392`*^9, 3.403246535729368*^9, {
   3.40324676564023*^9, 3.4032467765425043`*^9}, 3.4032486264706087`*^9, 
   3.403286233303056*^9, {3.4034005646332397`*^9, 3.403400570952615*^9}, {
   3.403400605055089*^9, 3.403400626131629*^9}, 3.4035341938399754`*^9, 
   3.403616620846017*^9, 3.404442718914885*^9, 3.4044522485802097`*^9, 
   3.4044524510448093`*^9, 3.405795727601203*^9, 3.405874834090427*^9, {
   3.40589826107717*^9, 3.4058982687651787`*^9}, 3.406036989936522*^9, 
   3.406037792908209*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"EvaluateProbability", "[", 
   RowBox[{
    RowBox[{"Pr", "[", 
     RowBox[{
      RowBox[{
       RowBox[{"(", 
        RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
       RowBox[{"(", 
        RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
      RowBox[{"Fa", "\[And]", "Ga"}]}], "]"}], ",", "MNC"}], "]"}], "//", 
  "N"}]], "Input",
 CellChangeTimes->{{3.403245485130837*^9, 3.403245535148947*^9}}],

Cell[BoxData["0.8995`"], "Output",
 CellChangeTimes->{{3.403245531811597*^9, 3.403245535744774*^9}, 
   3.403246408288494*^9, 3.403246537768037*^9, {3.403246767251601*^9, 
   3.4032467784482927`*^9}, 3.403248628310568*^9, 3.4032862363466597`*^9, 
   3.403400629137693*^9, 3.403534193970022*^9, 3.4036166208951597`*^9, 
   3.404442720697632*^9, {3.4044522487299833`*^9, 3.404452251375615*^9}, 
   3.404452451085951*^9, 3.405795744494289*^9, 3.405874834115444*^9, 
   3.4058982706195717`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"EvaluateProbability", "[", 
   RowBox[{
    RowBox[{"Pr", "[", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
      RowBox[{"(", 
       RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "]"}], ",", "MNC"}], 
   "]"}], "//", "N"}]], "Input",
 CellChangeTimes->{3.40324554615285*^9}],

Cell[BoxData["0.99849055`"], "Output",
 CellChangeTimes->{
  3.4032455465266533`*^9, 3.403246408356654*^9, 3.403246539827977*^9, {
   3.403246768217853*^9, 3.4032467796715527`*^9}, 3.403248629673686*^9, 
   3.4032862374561367`*^9, 3.4034006303224077`*^9, 3.403534194108111*^9, 
   3.403616620959024*^9, 3.404452252497314*^9, 3.404452451189987*^9, 
   3.405795747290483*^9, 3.405874834170014*^9, 3.405898271890571*^9}]
}, Open  ]],

Cell[TextData[{
 "Nickerson-style analysis of \"expected confirmational power\".  This yields \
an answer that is ",
 StyleBox["not",
  FontSlant->"Italic"],
 " in accord with the observed ordering."
}], "Text",
 CellChangeTimes->{{3.405898284859788*^9, 3.405898295702427*^9}, {
  3.405898603432412*^9, 3.4058986181570797`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"EvaluateProbability", "[", 
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{"Pr", "[", 
       RowBox[{"Fa", "|", "Ga"}], "]"}], 
      RowBox[{"Abs", "[", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
          RowBox[{"Fa", "\[And]", "Ga"}]}], "]"}], "-", 
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", "Ga"}], 
         "]"}]}], "]"}]}], "+", 
     RowBox[{
      RowBox[{"Pr", "[", 
       RowBox[{
        RowBox[{"\[Not]", "Fa"}], "|", "Ga"}], "]"}], 
      RowBox[{"Abs", "[", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
          RowBox[{
           RowBox[{"\[Not]", "Fa"}], "\[And]", "Ga"}]}], "]"}], "-", 
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", "Ga"}], 
         "]"}]}], "]"}]}]}], ",", "MNC"}], "]"}], "//", "N"}]], "Input",
 CellChangeTimes->{{3.405898311463949*^9, 3.40589841207904*^9}, {
  3.405899120984919*^9, 3.405899127870351*^9}}],

Cell[BoxData["0.0001998`"], "Output",
 CellChangeTimes->{3.405898415122107*^9, 3.405899128378541*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"EvaluateProbability", "[", 
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{"Pr", "[", 
       RowBox[{"Fa", "|", 
        RowBox[{"\[Not]", "Ga"}]}], "]"}], 
      RowBox[{"Abs", "[", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
          RowBox[{"Fa", "\[And]", 
           RowBox[{"\[Not]", "Ga"}]}]}], "]"}], "-", 
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
          RowBox[{"\[Not]", "Ga"}]}], "]"}]}], "]"}]}], "+", 
     RowBox[{
      RowBox[{"Pr", "[", 
       RowBox[{
        RowBox[{"\[Not]", "Fa"}], "|", 
        RowBox[{"\[Not]", "Ga"}]}], "]"}], 
      RowBox[{"Abs", "[", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
          RowBox[{
           RowBox[{"\[Not]", "Fa"}], "\[And]", 
           RowBox[{"\[Not]", "Ga"}]}]}], "]"}], "-", 
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
          RowBox[{"\[Not]", "Ga"}]}], "]"}]}], "]"}]}]}], ",", "MNC"}], "]"}],
   "//", "N"}]], "Input",
 CellChangeTimes->{{3.4058984657496357`*^9, 3.4058984734763203`*^9}, {
  3.405899130809451*^9, 3.405899137902821*^9}}],

Cell[BoxData["0.001996779`"], "Output",
 CellChangeTimes->{3.4058984738825808`*^9, 3.405899138307664*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"EvaluateProbability", "[", 
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{"Pr", "[", 
       RowBox[{"Ga", "|", "Fa"}], "]"}], 
      RowBox[{"Abs", "[", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
          RowBox[{"Fa", "\[And]", "Ga"}]}], "]"}], "-", 
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", "Fa"}], 
         "]"}]}], "]"}]}], "+", 
     RowBox[{
      RowBox[{"Pr", "[", 
       RowBox[{
        RowBox[{"\[Not]", "Ga"}], "|", "Fa"}], "]"}], 
      RowBox[{"Abs", "[", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
          RowBox[{"Fa", "\[And]", 
           RowBox[{"\[Not]", "Ga"}]}]}], "]"}], "-", 
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", "Fa"}], 
         "]"}]}], "]"}]}]}], ",", "MNC"}], "]"}], "//", "N"}]], "Input",
 CellChangeTimes->{{3.405898494517106*^9, 3.4058985237233*^9}, {
  3.405899142409993*^9, 3.405899148885702*^9}}],

Cell[BoxData["0.16191`"], "Output",
 CellChangeTimes->{3.4058985246289997`*^9, 3.405899149324*^9}]
}, Open  ]],

Cell[BoxData[
 RowBox[{"F", " ", 
  RowBox[{
   RowBox[{"(", "1", ")"}], " ", "~", "F"}], " ", 
  RowBox[{"(", "4", ")"}], " ", "G", " ", 
  RowBox[{
   RowBox[{"(", "3", ")"}], " ", "~", "G"}], " ", 
  RowBox[{"(", "2", ")"}]}]], "Input",
 CellChangeTimes->{{3.405899167505584*^9, 3.405899191523299*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"EvaluateProbability", "[", 
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{"Pr", "[", 
       RowBox[{"Ga", "|", 
        RowBox[{"\[Not]", "Fa"}]}], "]"}], 
      RowBox[{"Abs", "[", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
          RowBox[{
           RowBox[{"\[Not]", "Fa"}], "\[And]", "Ga"}]}], "]"}], "-", 
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
          RowBox[{"\[Not]", "Fa"}]}], "]"}]}], "]"}]}], "+", 
     RowBox[{
      RowBox[{"Pr", "[", 
       RowBox[{
        RowBox[{"\[Not]", "Ga"}], "|", 
        RowBox[{"\[Not]", "Fa"}]}], "]"}], 
      RowBox[{"Abs", "[", 
       RowBox[{
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
          RowBox[{
           RowBox[{"\[Not]", "Fa"}], "\[And]", 
           RowBox[{"\[Not]", "Ga"}]}]}], "]"}], "-", 
        RowBox[{"Pr", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
           RowBox[{"(", 
            RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
          RowBox[{"\[Not]", "Fa"}]}], "]"}]}], "]"}]}]}], ",", "MNC"}], "]"}],
   "//", "N"}]], "Input",
 CellChangeTimes->{{3.405898560777276*^9, 3.405898569159358*^9}, {
  3.4058991515383387`*^9, 3.405899158295871*^9}}],

Cell[BoxData["0.00002`"], "Output",
 CellChangeTimes->{3.4058985695320253`*^9, 3.405899158700329*^9}]
}, Open  ]],

Cell[BoxData[{
 RowBox[{
  RowBox[{"cons", "=", 
   RowBox[{"And", "@@", 
    RowBox[{"AlgebraicForm", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{"Fa", "\[And]", "Ga", "\[And]", "Fb", "\[And]", "Gb"}], 
          "]"}], "\[Equal]", "s1"}], ",", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{"Fa", "\[And]", "Ga", "\[And]", "Fb", "\[And]", 
           RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s2"}], ",", 
        "\[IndentingNewLine]", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{"Fa", "\[And]", "Ga", "\[And]", 
           RowBox[{"\[Not]", "Fb"}], "\[And]", "Gb"}], "]"}], "\[Equal]", 
         "s3"}], ",", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{"Fa", "\[And]", "Ga", "\[And]", 
           RowBox[{"\[Not]", "Fb"}], "\[And]", 
           RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s4"}], ",", 
        "\[IndentingNewLine]", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{"Fa", "\[And]", 
           RowBox[{"\[Not]", "Ga"}], "\[And]", "Fb", "\[And]", "Gb"}], "]"}], 
         "\[Equal]", "s5"}], ",", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{"Fa", "\[And]", 
           RowBox[{"\[Not]", "Ga"}], "\[And]", "Fb", "\[And]", 
           RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s6"}], ",", 
        "\[IndentingNewLine]", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{"Fa", "\[And]", 
           RowBox[{"\[Not]", "Ga"}], "\[And]", 
           RowBox[{"\[Not]", "Fb"}], "\[And]", "Gb"}], "]"}], "\[Equal]", 
         "s7"}], ",", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{"Fa", "\[And]", 
           RowBox[{"\[Not]", "Ga"}], "\[And]", 
           RowBox[{"\[Not]", "Fb"}], "\[And]", 
           RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s8"}], ",", 
        "\[IndentingNewLine]", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{
           RowBox[{"\[Not]", "Fa"}], "\[And]", "Ga", "\[And]", "Fb", "\[And]",
            "Gb"}], "]"}], "\[Equal]", "s9"}], ",", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{
           RowBox[{"\[Not]", "Fa"}], "\[And]", "Ga", "\[And]", "Fb", "\[And]",
            
           RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s10"}], ",", 
        "\[IndentingNewLine]", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{
           RowBox[{"\[Not]", "Fa"}], "\[And]", "Ga", "\[And]", 
           RowBox[{"\[Not]", "Fb"}], "\[And]", "Gb"}], "]"}], "\[Equal]", 
         "s11"}], ",", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{
           RowBox[{"\[Not]", "Fa"}], "\[And]", "Ga", "\[And]", 
           RowBox[{"\[Not]", "Fb"}], "\[And]", 
           RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s12"}], ",", 
        "\[IndentingNewLine]", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{
           RowBox[{"\[Not]", "Fa"}], "\[And]", 
           RowBox[{"\[Not]", "Ga"}], "\[And]", "Fb", "\[And]", "Gb"}], "]"}], 
         "\[Equal]", "s13"}], ",", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{
           RowBox[{"\[Not]", "Fa"}], "\[And]", 
           RowBox[{"\[Not]", "Ga"}], "\[And]", "Fb", "\[And]", 
           RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s14"}], ",", 
        "\[IndentingNewLine]", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{
           RowBox[{"\[Not]", "Fa"}], "\[And]", 
           RowBox[{"\[Not]", "Ga"}], "\[And]", 
           RowBox[{"\[Not]", "Fb"}], "\[And]", "Gb"}], "]"}], "\[Equal]", 
         "s15"}], ",", 
        RowBox[{
         RowBox[{"Pr", "[", 
          RowBox[{
           RowBox[{"\[Not]", "Fa"}], "\[And]", 
           RowBox[{"\[Not]", "Ga"}], "\[And]", 
           RowBox[{"\[Not]", "Fb"}], "\[And]", 
           RowBox[{"\[Not]", "Gb"}]}], "]"}], "\[Equal]", "s16"}]}], "}"}], 
      ",", 
      RowBox[{"{", 
       RowBox[{"Fa", ",", "Fb", ",", "Ga", ",", "Gb"}], "}"}]}], "]"}]}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"FindMaherModel", "[", "props_", "]"}], ":=", 
   RowBox[{"FindInstance", "[", 
    RowBox[{
     RowBox[{
      RowBox[{
       RowBox[{"0", "<", 
        SubscriptBox["\[Gamma]", "F"], "<", "1"}], "&&", 
       RowBox[{"0", "<", 
        SubscriptBox["\[Gamma]", "G"], "<", "1"}], "&&", 
       RowBox[{"AlgebraicForm", "[", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{"props", "&&", "cons"}], ")"}], ",", 
         RowBox[{"{", 
          RowBox[{"Fa", ",", "Fb", ",", "Ga", ",", "Gb"}], "}"}]}], "]"}]}], "//.",
       "map"}], ",", 
     RowBox[{"{", 
      RowBox[{
       SubscriptBox["\[Gamma]", "F"], ",", 
       SubscriptBox["\[Gamma]", "G"]}], "}"}]}], "]"}]}], ";"}]}], "Input",
 CellChangeTimes->{{3.403246061842252*^9, 3.403246063760756*^9}, {
  3.4032464985653*^9, 3.403246499762363*^9}, {3.403246789654984*^9, 
  3.4032467898508797`*^9}, {3.4044427574872437`*^9, 3.4044429056274443`*^9}, {
  3.405874894420787*^9, 3.405874897465818*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FindMaherModel", "[", 
  RowBox[{
   RowBox[{"Pr", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"(", 
       RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
      RowBox[{"(", 
       RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
     RowBox[{"Fa", "\[And]", "Ga"}]}], "]"}], "<", 
   RowBox[{"Pr", "[", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
     RowBox[{"(", 
      RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "]"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.403245699142647*^9, 3.403245705893346*^9}, {
   3.403246090295183*^9, 3.4032460910134163`*^9}, 3.403246126653145*^9, {
   3.404442880865999*^9, 3.404442881297014*^9}, 3.4044430094711313`*^9}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"{", 
   RowBox[{
    RowBox[{
     SubscriptBox["\[Gamma]", "F"], "\[Rule]", 
     FractionBox["1", "16"]}], ",", 
    RowBox[{
     SubscriptBox["\[Gamma]", "G"], "\[Rule]", 
     FractionBox["1", "2"]}]}], "}"}], "}"}]], "Output",
 CellChangeTimes->{
  3.403245706883162*^9, 3.403245888463367*^9, 3.403245950576078*^9, {
   3.4032460782077713`*^9, 3.40324609144865*^9}, {3.403246121776054*^9, 
   3.4032461445926437`*^9}, 3.403246192544681*^9, 3.403246408483547*^9, 
   3.4032464599644737`*^9, 3.403246504320418*^9, 3.4032465451337347`*^9, 
   3.4032467980462914`*^9, 3.403248634541519*^9, 3.4032862442396173`*^9, 
   3.403400634625939*^9, 3.403534202310729*^9, 3.4036166211620493`*^9, {
   3.404442760849806*^9, 3.404442907126368*^9}, 3.4044430097665253`*^9, 
   3.404452255977972*^9, 3.404452451284234*^9, 3.4057957734972887`*^9, 
   3.4058748342494087`*^9, 3.405874898703897*^9, 3.406037001665374*^9, {
   3.406037768478056*^9, 3.406037798158617*^9}}]
}, Open  ]],

Cell["\<\
Hempel's intuition about the ravens is not vindicated in these later systems:\
\
\>", "Text",
 CellChangeTimes->{{3.405875197584792*^9, 3.40587522707444*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FindMaherModel", "[", 
  RowBox[{
   RowBox[{"Pr", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"(", 
       RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
      RowBox[{"(", 
       RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"Fa", "\[And]", "Ga"}], ")"}], "\[And]", "Ga"}]}], "]"}], "<", 
   
   RowBox[{"Pr", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"(", 
       RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
      RowBox[{"(", 
       RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", "Ga"}], "]"}]}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.405874867271421*^9, 3.405874881389605*^9}, {
   3.4058749172968187`*^9, 3.405874961148761*^9}, {3.4058752315531483`*^9, 
   3.405875236023953*^9}, 3.405875335455965*^9}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"{", 
   RowBox[{
    RowBox[{
     SubscriptBox["\[Gamma]", "F"], "\[Rule]", 
     FractionBox["1", "2"]}], ",", 
    RowBox[{
     SubscriptBox["\[Gamma]", "G"], "\[Rule]", 
     FractionBox["1", "2"]}]}], "}"}], "}"}]], "Output",
 CellChangeTimes->{{3.405874882318729*^9, 3.405874919927745*^9}, {
   3.405874952617779*^9, 3.40587496317585*^9}, 3.405875036353813*^9, {
   3.40587523744064*^9, 3.4058752489607077`*^9}, 3.405875335706023*^9, 
   3.406037010620675*^9}]
}, Open  ]],

Cell[TextData[{
 "Indeed, in his later systems there ",
 StyleBox["must be disconfirmation",
  FontSlant->"Italic"],
 "!"
}], "Text",
 CellChangeTimes->{{3.405875348283352*^9, 3.4058753583780403`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FindMaherModel", "[", 
  RowBox[{
   RowBox[{"Pr", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"(", 
       RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
      RowBox[{"(", 
       RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{"Fa", "\[And]", "Ga"}], ")"}], "\[And]", "Ga"}]}], "]"}], ">", 
   
   RowBox[{"Pr", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"(", 
       RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
      RowBox[{"(", 
       RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", "Ga"}], "]"}]}], 
  "]"}]], "Input",
 CellChangeTimes->{3.405875339798319*^9}],

Cell[BoxData[
 RowBox[{"{", "}"}]], "Output",
 CellChangeTimes->{
  3.4058753401909323`*^9, {3.406036983953865*^9, 3.4060370119255543`*^9}}]
}, Open  ]],

Cell["\<\
Can we FIND later Carnapian models with the Nickerson-ordering?\
\>", "Text",
 CellChangeTimes->{{3.406036942350224*^9, 3.40603695032008*^9}, {
  3.406037177589678*^9, 3.406037180299971*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FindMaherModel", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"Pr", "[", 
      RowBox[{"Ga", "|", "Fa"}], "]"}], 
     RowBox[{"Abs", "[", 
      RowBox[{
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
         RowBox[{"Fa", "\[And]", "Ga"}]}], "]"}], "-", 
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", "Fa"}], "]"}]}],
       "]"}]}], "+", 
    RowBox[{
     RowBox[{"Pr", "[", 
      RowBox[{
       RowBox[{"\[Not]", "Ga"}], "|", "Fa"}], "]"}], 
     RowBox[{"Abs", "[", 
      RowBox[{
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
         RowBox[{"Fa", "\[And]", 
          RowBox[{"\[Not]", "Ga"}]}]}], "]"}], "-", 
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", "Fa"}], "]"}]}],
       "]"}]}]}], ">", 
   RowBox[{
    RowBox[{
     RowBox[{"Pr", "[", 
      RowBox[{"Fa", "|", "Ga"}], "]"}], 
     RowBox[{"Abs", "[", 
      RowBox[{
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
         RowBox[{"Fa", "\[And]", "Ga"}]}], "]"}], "-", 
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", "Ga"}], "]"}]}],
       "]"}]}], "+", 
    RowBox[{
     RowBox[{"Pr", "[", 
      RowBox[{
       RowBox[{"\[Not]", "Fa"}], "|", "Ga"}], "]"}], 
     RowBox[{"Abs", "[", 
      RowBox[{
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
         RowBox[{
          RowBox[{"\[Not]", "Fa"}], "\[And]", "Ga"}]}], "]"}], "-", 
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", "Ga"}], "]"}]}],
       "]"}]}]}], ">", 
   RowBox[{
    RowBox[{
     RowBox[{"Pr", "[", 
      RowBox[{"Fa", "|", 
       RowBox[{"\[Not]", "Ga"}]}], "]"}], 
     RowBox[{"Abs", "[", 
      RowBox[{
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
         RowBox[{"Fa", "\[And]", 
          RowBox[{"\[Not]", "Ga"}]}]}], "]"}], "-", 
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
         RowBox[{"\[Not]", "Ga"}]}], "]"}]}], "]"}]}], "+", 
    RowBox[{
     RowBox[{"Pr", "[", 
      RowBox[{
       RowBox[{"\[Not]", "Fa"}], "|", 
       RowBox[{"\[Not]", "Ga"}]}], "]"}], 
     RowBox[{"Abs", "[", 
      RowBox[{
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
         RowBox[{
          RowBox[{"\[Not]", "Fa"}], "\[And]", 
          RowBox[{"\[Not]", "Ga"}]}]}], "]"}], "-", 
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
         RowBox[{"\[Not]", "Ga"}]}], "]"}]}], "]"}]}]}], ">", 
   RowBox[{
    RowBox[{
     RowBox[{"Pr", "[", 
      RowBox[{"Ga", "|", 
       RowBox[{"\[Not]", "Fa"}]}], "]"}], 
     RowBox[{"Abs", "[", 
      RowBox[{
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
         RowBox[{
          RowBox[{"\[Not]", "Fa"}], "\[And]", "Ga"}]}], "]"}], "-", 
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
         RowBox[{"\[Not]", "Fa"}]}], "]"}]}], "]"}]}], "+", 
    RowBox[{
     RowBox[{"Pr", "[", 
      RowBox[{
       RowBox[{"\[Not]", "Ga"}], "|", 
       RowBox[{"\[Not]", "Fa"}]}], "]"}], 
     RowBox[{"Abs", "[", 
      RowBox[{
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
         RowBox[{
          RowBox[{"\[Not]", "Fa"}], "\[And]", 
          RowBox[{"\[Not]", "Ga"}]}]}], "]"}], "-", 
       RowBox[{"Pr", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"(", 
           RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
          RowBox[{"(", 
           RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], "|", 
         RowBox[{"\[Not]", "Fa"}]}], "]"}]}], "]"}]}]}]}], "]"}]], "Input",
 CellChangeTimes->{{3.405898311463949*^9, 3.40589841207904*^9}, {
  3.405899120984919*^9, 3.405899127870351*^9}, {3.406037019650495*^9, 
  3.406037081711791*^9}, {3.4060371297261887`*^9, 3.40603715884236*^9}}],

Cell[BoxData[
 RowBox[{"{", "}"}]], "Output",
 CellChangeTimes->{3.405898415122107*^9, 3.405899128378541*^9, 
  3.406037179306875*^9, 3.406037829834929*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FindMaherModel", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"Pr", "[", 
      RowBox[{"Ga", "|", "Fa"}], "]"}], 
     FractionBox[
      RowBox[{"Pr", "[", 
       RowBox[{"Ga", "|", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
         RowBox[{"(", 
          RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}], "\[And]", "Fa"}]}], 
       "]"}], 
      RowBox[{"Pr", "[", 
       RowBox[{"Ga", "|", 
        RowBox[{
         RowBox[{"\[Not]", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"(", 
             RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
            RowBox[{"(", 
             RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], ")"}]}], "\[And]", 
         "Fa"}]}], "]"}]]}], "+", 
    RowBox[{
     RowBox[{"Pr", "[", 
      RowBox[{
       RowBox[{"\[Not]", "Ga"}], "|", "Fa"}], "]"}], 
     FractionBox[
      RowBox[{"Pr", "[", 
       RowBox[{
        RowBox[{"\[Not]", "Ga"}], "|", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
         RowBox[{"(", 
          RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}], "\[And]", "Fa"}]}], 
       "]"}], 
      RowBox[{"Pr", "[", 
       RowBox[{
        RowBox[{"\[Not]", "Ga"}], "|", 
        RowBox[{
         RowBox[{"\[Not]", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"(", 
             RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
            RowBox[{"(", 
             RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], ")"}]}], "\[And]", 
         "Fa"}]}], "]"}]]}]}], ">", 
   RowBox[{
    RowBox[{
     RowBox[{"Pr", "[", 
      RowBox[{"Fa", "|", "Ga"}], "]"}], 
     FractionBox[
      RowBox[{"Pr", "[", 
       RowBox[{"Fa", "|", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
         RowBox[{"(", 
          RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}], "\[And]", "Ga"}]}], 
       "]"}], 
      RowBox[{"Pr", "[", 
       RowBox[{"Fa", "|", 
        RowBox[{
         RowBox[{"\[Not]", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"(", 
             RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
            RowBox[{"(", 
             RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], ")"}]}], "\[And]", 
         "Ga"}]}], "]"}]]}], "+", 
    RowBox[{
     RowBox[{"Pr", "[", 
      RowBox[{
       RowBox[{"\[Not]", "Fa"}], "|", "Ga"}], "]"}], 
     FractionBox[
      RowBox[{"Pr", "[", 
       RowBox[{
        RowBox[{"\[Not]", "Fa"}], "|", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
         RowBox[{"(", 
          RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}], "\[And]", "Ga"}]}], 
       "]"}], 
      RowBox[{"Pr", "[", 
       RowBox[{
        RowBox[{"\[Not]", "Fa"}], "|", 
        RowBox[{
         RowBox[{"\[Not]", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"(", 
             RowBox[{"Fa", "\[Superset]", "Ga"}], ")"}], "\[And]", " ", 
            RowBox[{"(", 
             RowBox[{"Fb", "\[Superset]", "Gb"}], ")"}]}], ")"}]}], "\[And]", 
         "Ga"}]}], "]"}]]}]}], ">", 
   RowBox[{
    RowBox[{
     RowBox[{"Pr", "[", 
      RowBox[{"Fa", "|", 
       RowBox[{"\[Not]", "Ga"}]}], "]"}], 
     FractionBox[
      RowBox[{"Pr", "[", 
       RowBox[{"Fa", "|", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{"Fa", "\[Sup