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

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

(* CreatedBy='Mathematica 9.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       157,          7]
NotebookDataLength[     99766,       1719]
NotebookOptionsPosition[     96961,       1632]
NotebookOutlinePosition[     97319,       1648]
CellTagsIndexPosition[     97276,       1645]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell["Setup", "Section",
 CellChangeTimes->{{3.5817002707890997`*^9, 
  3.581700271197218*^9}},ExpressionUUID->"21c1a9f3-4377-48a1-9abe-\
c43cbfb3864b"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"$OldDir", "=", 
   RowBox[{"NotebookDirectory", "[", "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"$FeynRulesPath", "=", 
   RowBox[{
   "SetDirectory", "[", "\"\<<<Set FR directory on your machine>>\>\"", 
    "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"<<", "FeynRules`"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
  "SetDirectory", "[", 
   "\"\<<<Set FR directory on your \
machine>>/feynrules_v2.3/Models/SMEFTsim-setB\>\"", "]"}], ";"}]}], "Input",
 CellChangeTimes->{{3.581700209879122*^9, 3.581700260936915*^9}, {
   3.581700376890725*^9, 3.58170037821945*^9}, {3.581702836763228*^9, 
   3.581702837338793*^9}, {3.5818481249015427`*^9, 3.581848143347954*^9}, {
   3.582995204405798*^9, 3.58299521528404*^9}, {3.583038702741356*^9, 
   3.583038709578618*^9}, 3.583076573840444*^9, {3.584182000911727*^9, 
   3.58418200121646*^9}, {3.584182161492667*^9, 3.584182163564756*^9}, {
   3.584182282715509*^9, 3.584182284105041*^9}, {3.584182399637722*^9, 
   3.584182404861476*^9}, 3.584182460107353*^9, {3.584182514313562*^9, 
   3.584182515436211*^9}, {3.5841828579996443`*^9, 3.584182858494486*^9}, {
   3.591369267589684*^9, 3.591369308504643*^9}, {3.6037025183316298`*^9, 
   3.603702520287414*^9}, {3.683632916400043*^9, 3.683632930400113*^9}, {
   3.683633027541326*^9, 3.683633028618945*^9}, {3.683633800259823*^9, 
   3.6836338199551077`*^9}, {3.687175278692705*^9, 3.687175302362956*^9}, {
   3.68717606903841*^9, 3.687176069979477*^9}, {3.687180807515279*^9, 
   3.687180808561013*^9}, {3.697135769548976*^9, 3.69713578436649*^9}, {
   3.7028485605215673`*^9, 3.702848561798502*^9}, {3.707044377286273*^9, 
   3.707044377657403*^9}, {3.7070461594443073`*^9, 3.7070461610993958`*^9}, {
   3.707047852977832*^9, 3.707047854396884*^9}, {3.707216834151765*^9, 
   3.7072168369224043`*^9}, {3.707216986982338*^9, 3.707216988212804*^9}, {
   3.712145203267868*^9, 3.712145212630657*^9}, 3.7132761491404133`*^9, {
   3.713617730934443*^9, 3.713617732663074*^9}, {3.714894992114047*^9, 
   3.714895049285067*^9}, {3.714895247710936*^9, 3.714895285323146*^9}},
 ExpressionUUID -> "c93923ba-9248-4807-94fa-e4aae5269abc"],

Cell[CellGroupData[{

Cell[BoxData["\<\" - FeynRules - \"\>"], "Print",
 CellChangeTimes->{
  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9, 
   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9, 
   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9, 
   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9, 
   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9, 
   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9, 
   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9, 
   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9}, 
   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9, 
   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9, 
   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9, 
   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9, 
   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9, 
   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9, 
   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9, 
   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9, 
   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9, 
   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9, 
   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9, 
   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9, 
   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9, 
   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9, 
   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9, 
   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9, 
   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9, 
   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9, 
   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9, 
   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9, 
   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9, 
   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9, 
   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9, 
   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9, 
   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9, 
   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9, 
   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9, 
   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9, 
   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9, 
   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9, 
   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9, 
   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9, 
   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9, 
   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9, 
   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9, 
   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9, 
   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9, 
   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9, 
   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9, 
   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9, 
   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9, 
   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9, 
   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9, 
   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9, 
   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9, 
   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9, 
   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9, 
   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9, 
   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9, 
   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9, 
   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9, 
   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9, 
   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9, 
   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9, 
   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9, 
   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9, 
   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9, 
   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9, 
   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9, 
   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9, 
   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9, 
   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9, 
   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9, 
   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9, 
   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9, 
   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9, 
   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9, 
   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9, 
   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9, 
   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9, 
   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9, 
   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9, 
   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9, 
   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9, 
   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9, 
   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9, 
   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9, 
   3.7148571049895153`*^9, 
   3.714857139344968*^9},ExpressionUUID->"7e7c4510-8194-44eb-a212-\
337602288049"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"Version: \"\>", "\[InvisibleSpace]", "\<\"2.3.24\"\>", 
   "\[InvisibleSpace]", 
   RowBox[{"\<\" (\"\>", " ", "\<\"12 August 2016\"\>"}], 
   "\[InvisibleSpace]", "\<\").\"\>"}],
  SequenceForm["Version: ", "2.3.24", " (" "12 August 2016", ")."],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9, 
   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9, 
   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9, 
   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9, 
   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9, 
   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9, 
   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9, 
   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9}, 
   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9, 
   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9, 
   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9, 
   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9, 
   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9, 
   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9, 
   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9, 
   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9, 
   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9, 
   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9, 
   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9, 
   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9, 
   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9, 
   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9, 
   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9, 
   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9, 
   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9, 
   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9, 
   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9, 
   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9, 
   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9, 
   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9, 
   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9, 
   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9, 
   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9, 
   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9, 
   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9, 
   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9, 
   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9, 
   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9, 
   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9, 
   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9, 
   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9, 
   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9, 
   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9, 
   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9, 
   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9, 
   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9, 
   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9, 
   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9, 
   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9, 
   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9, 
   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9, 
   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9, 
   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9, 
   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9, 
   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9, 
   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9, 
   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9, 
   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9, 
   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9, 
   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9, 
   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9, 
   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9, 
   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9, 
   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9, 
   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9, 
   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9, 
   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9, 
   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9, 
   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9, 
   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9, 
   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9, 
   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9, 
   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9, 
   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9, 
   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9, 
   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9, 
   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9, 
   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9, 
   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9, 
   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9, 
   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9, 
   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9, 
   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9, 
   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9, 
   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9, 
   3.7148571049895153`*^9, 
   3.71485713935854*^9},ExpressionUUID->"9775ca84-de7c-4dc7-b39c-\
5606206cd1b8"],

Cell[BoxData["\<\"Authors: A. Alloul, N. Christensen, C. Degrande, C. Duhr, \
B. Fuks\"\>"], "Print",
 CellChangeTimes->{
  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9, 
   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9, 
   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9, 
   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9, 
   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9, 
   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9, 
   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9, 
   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9}, 
   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9, 
   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9, 
   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9, 
   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9, 
   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9, 
   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9, 
   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9, 
   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9, 
   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9, 
   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9, 
   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9, 
   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9, 
   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9, 
   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9, 
   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9, 
   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9, 
   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9, 
   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9, 
   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9, 
   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9, 
   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9, 
   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9, 
   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9, 
   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9, 
   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9, 
   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9, 
   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9, 
   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9, 
   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9, 
   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9, 
   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9, 
   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9, 
   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9, 
   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9, 
   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9, 
   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9, 
   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9, 
   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9, 
   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9, 
   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9, 
   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9, 
   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9, 
   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9, 
   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9, 
   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9, 
   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9, 
   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9, 
   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9, 
   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9, 
   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9, 
   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9, 
   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9, 
   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9, 
   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9, 
   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9, 
   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9, 
   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9, 
   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9, 
   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9, 
   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9, 
   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9, 
   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9, 
   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9, 
   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9, 
   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9, 
   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9, 
   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9, 
   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9, 
   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9, 
   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9, 
   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9, 
   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9, 
   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9, 
   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9, 
   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9, 
   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9, 
   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9, 
   3.7148571049895153`*^9, 
   3.714857139372229*^9},ExpressionUUID->"5dc81b6f-8b2c-41a0-a3aa-\
5188ed61295a"],

Cell[BoxData["\<\" \"\>"], "Print",
 CellChangeTimes->{
  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9, 
   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9, 
   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9, 
   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9, 
   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9, 
   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9, 
   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9, 
   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9}, 
   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9, 
   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9, 
   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9, 
   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9, 
   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9, 
   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9, 
   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9, 
   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9, 
   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9, 
   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9, 
   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9, 
   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9, 
   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9, 
   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9, 
   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9, 
   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9, 
   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9, 
   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9, 
   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9, 
   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9, 
   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9, 
   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9, 
   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9, 
   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9, 
   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9, 
   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9, 
   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9, 
   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9, 
   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9, 
   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9, 
   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9, 
   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9, 
   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9, 
   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9, 
   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9, 
   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9, 
   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9, 
   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9, 
   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9, 
   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9, 
   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9, 
   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9, 
   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9, 
   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9, 
   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9, 
   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9, 
   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9, 
   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9, 
   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9, 
   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9, 
   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9, 
   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9, 
   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9, 
   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9, 
   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9, 
   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9, 
   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9, 
   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9, 
   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9, 
   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9, 
   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9, 
   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9, 
   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9, 
   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9, 
   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9, 
   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9, 
   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9, 
   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9, 
   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9, 
   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9, 
   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9, 
   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9, 
   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9, 
   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9, 
   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9, 
   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9, 
   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9, 
   3.7148571049895153`*^9, 
   3.71485713938575*^9},ExpressionUUID->"fae7a2a8-f0a9-4f5b-ae09-\
928324d9c51a"],

Cell[BoxData["\<\"Please cite:\"\>"], "Print",
 CellChangeTimes->{
  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9, 
   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9, 
   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9, 
   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9, 
   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9, 
   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9, 
   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9, 
   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9}, 
   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9, 
   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9, 
   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9, 
   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9, 
   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9, 
   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9, 
   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9, 
   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9, 
   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9, 
   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9, 
   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9, 
   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9, 
   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9, 
   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9, 
   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9, 
   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9, 
   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9, 
   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9, 
   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9, 
   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9, 
   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9, 
   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9, 
   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9, 
   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9, 
   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9, 
   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9, 
   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9, 
   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9, 
   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9, 
   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9, 
   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9, 
   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9, 
   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9, 
   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9, 
   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9, 
   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9, 
   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9, 
   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9, 
   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9, 
   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9, 
   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9, 
   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9, 
   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9, 
   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9, 
   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9, 
   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9, 
   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9, 
   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9, 
   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9, 
   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9, 
   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9, 
   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9, 
   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9, 
   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9, 
   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9, 
   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9, 
   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9, 
   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9, 
   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9, 
   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9, 
   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9, 
   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9, 
   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9, 
   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9, 
   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9, 
   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9, 
   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9, 
   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9, 
   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9, 
   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9, 
   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9, 
   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9, 
   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9, 
   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9, 
   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9, 
   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9, 
   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9, 
   3.7148571049895153`*^9, 
   3.714857139399394*^9},ExpressionUUID->"2754ca97-9a66-4c49-a018-\
527efc47d809"],

Cell[BoxData["\<\"    - Comput.Phys.Commun.185:2250-2300,2014 \
(arXiv:1310.1921);\"\>"], "Print",
 CellChangeTimes->{
  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9, 
   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9, 
   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9, 
   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9, 
   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9, 
   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9, 
   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9, 
   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9}, 
   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9, 
   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9, 
   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9, 
   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9, 
   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9, 
   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9, 
   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9, 
   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9, 
   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9, 
   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9, 
   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9, 
   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9, 
   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9, 
   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9, 
   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9, 
   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9, 
   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9, 
   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9, 
   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9, 
   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9, 
   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9, 
   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9, 
   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9, 
   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9, 
   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9, 
   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9, 
   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9, 
   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9, 
   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9, 
   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9, 
   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9, 
   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9, 
   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9, 
   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9, 
   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9, 
   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9, 
   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9, 
   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9, 
   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9, 
   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9, 
   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9, 
   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9, 
   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9, 
   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9, 
   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9, 
   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9, 
   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9, 
   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9, 
   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9, 
   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9, 
   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9, 
   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9, 
   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9, 
   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9, 
   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9, 
   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9, 
   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9, 
   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9, 
   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9, 
   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9, 
   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9, 
   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9, 
   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9, 
   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9, 
   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9, 
   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9, 
   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9, 
   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9, 
   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9, 
   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9, 
   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9, 
   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9, 
   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9, 
   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9, 
   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9, 
   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9, 
   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9, 
   3.7148571049895153`*^9, 
   3.71485713941329*^9},ExpressionUUID->"d4a28709-7a3a-41f7-9985-\
637855f2387d"],

Cell[BoxData["\<\"    - Comput.Phys.Commun.180:1614-1641,2009 \
(arXiv:0806.4194).\"\>"], "Print",
 CellChangeTimes->{
  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9, 
   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9, 
   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9, 
   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9, 
   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9, 
   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9, 
   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9, 
   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9}, 
   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9, 
   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9, 
   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9, 
   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9, 
   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9, 
   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9, 
   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9, 
   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9, 
   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9, 
   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9, 
   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9, 
   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9, 
   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9, 
   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9, 
   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9, 
   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9, 
   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9, 
   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9, 
   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9, 
   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9, 
   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9, 
   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9, 
   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9, 
   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9, 
   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9, 
   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9, 
   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9, 
   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9, 
   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9, 
   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9, 
   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9, 
   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9, 
   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9, 
   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9, 
   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9, 
   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9, 
   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9, 
   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9, 
   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9, 
   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9, 
   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9, 
   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9, 
   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9, 
   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9, 
   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9, 
   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9, 
   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9, 
   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9, 
   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9, 
   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9, 
   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9, 
   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9, 
   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9, 
   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9, 
   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9, 
   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9, 
   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9, 
   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9, 
   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9, 
   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9, 
   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9, 
   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9, 
   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9, 
   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9, 
   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9, 
   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9, 
   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9, 
   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9, 
   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9, 
   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9, 
   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9, 
   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9, 
   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9, 
   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9, 
   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9, 
   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9, 
   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9, 
   3.7148571049895153`*^9, 
   3.714857139426849*^9},ExpressionUUID->"4350ced7-809c-4cc6-b399-\
598d4ed26a62"],

Cell[BoxData["\<\" \"\>"], "Print",
 CellChangeTimes->{
  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9, 
   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9, 
   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9, 
   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9, 
   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9, 
   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9, 
   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9, 
   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9}, 
   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9, 
   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9, 
   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9, 
   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9, 
   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9, 
   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9, 
   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9, 
   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9, 
   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9, 
   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9, 
   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9, 
   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9, 
   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9, 
   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9, 
   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9, 
   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9, 
   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9, 
   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9, 
   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9, 
   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9, 
   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9, 
   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9, 
   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9, 
   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9, 
   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9, 
   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9, 
   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9, 
   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9, 
   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9, 
   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9, 
   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9, 
   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9, 
   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9, 
   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9, 
   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9, 
   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9, 
   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9, 
   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9, 
   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9, 
   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9, 
   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9, 
   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9, 
   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9, 
   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9, 
   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9, 
   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9, 
   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9, 
   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9, 
   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9, 
   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9, 
   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9, 
   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9, 
   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9, 
   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9, 
   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9, 
   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9, 
   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9, 
   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9, 
   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9, 
   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9, 
   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9, 
   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9, 
   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9, 
   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9, 
   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9, 
   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9, 
   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9, 
   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9, 
   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9, 
   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9, 
   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9, 
   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9, 
   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9, 
   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9, 
   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9, 
   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9, 
   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9, 
   3.7148571049895153`*^9, 
   3.714857139439921*^9},ExpressionUUID->"beaa0937-db00-4722-bdce-\
d0d93fef589b"],

Cell[BoxData["\<\"http://feynrules.phys.ucl.ac.be\"\>"], "Print",
 CellChangeTimes->{
  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9, 
   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9, 
   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9, 
   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9, 
   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9, 
   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9, 
   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9, 
   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9}, 
   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9, 
   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9, 
   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9, 
   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9, 
   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9, 
   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9, 
   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9, 
   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9, 
   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9, 
   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9, 
   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9, 
   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9, 
   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9, 
   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9, 
   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9, 
   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9, 
   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9, 
   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9, 
   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9, 
   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9, 
   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9, 
   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9, 
   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9, 
   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9, 
   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9, 
   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9, 
   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9, 
   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9, 
   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9, 
   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9, 
   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9, 
   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9, 
   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9, 
   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9, 
   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9, 
   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9, 
   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9, 
   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9, 
   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9, 
   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9, 
   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9, 
   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9, 
   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9, 
   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9, 
   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9, 
   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9, 
   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9, 
   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9, 
   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9, 
   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9, 
   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9, 
   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9, 
   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9, 
   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9, 
   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9, 
   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9, 
   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9, 
   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9, 
   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9, 
   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9, 
   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9, 
   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9, 
   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9, 
   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9, 
   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9, 
   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9, 
   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9, 
   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9, 
   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9, 
   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9, 
   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9, 
   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9, 
   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9, 
   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9, 
   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9, 
   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9, 
   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9, 
   3.7148571049895153`*^9, 
   3.714857139453253*^9},ExpressionUUID->"dc6013a6-0641-46f0-86d7-\
bdd49fe180d7"],

Cell[BoxData["\<\" \"\>"], "Print",
 CellChangeTimes->{
  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9, 
   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9, 
   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9, 
   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9, 
   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9, 
   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9, 
   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9, 
   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9}, 
   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9, 
   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9, 
   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9, 
   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9, 
   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9, 
   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9, 
   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9, 
   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9, 
   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9, 
   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9, 
   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9, 
   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9, 
   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9, 
   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9, 
   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9, 
   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9, 
   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9, 
   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9, 
   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9, 
   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9, 
   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9, 
   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9, 
   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9, 
   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9, 
   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9, 
   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9, 
   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9, 
   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9, 
   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9, 
   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9, 
   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9, 
   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9, 
   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9, 
   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9, 
   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9, 
   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9, 
   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9, 
   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9, 
   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9, 
   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9, 
   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9, 
   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9, 
   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9, 
   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9, 
   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9, 
   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9, 
   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9, 
   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9, 
   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9, 
   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9, 
   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9, 
   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9, 
   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9, 
   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9, 
   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9, 
   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9, 
   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9, 
   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9, 
   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9, 
   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9, 
   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9, 
   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9, 
   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9, 
   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9, 
   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9, 
   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9, 
   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9, 
   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9, 
   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9, 
   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9, 
   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9, 
   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9, 
   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9, 
   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9, 
   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9, 
   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9, 
   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9, 
   3.7148571049895153`*^9, 
   3.714857139466283*^9},ExpressionUUID->"40492d3b-d27d-44f9-b810-\
7fd70baca57f"],

Cell[BoxData["\<\"The FeynRules palette can be opened using the command \
FRPalette[].\"\>"], "Print",
 CellChangeTimes->{
  3.683633067816038*^9, {3.687175404004076*^9, 3.687175419257429*^9}, {
   3.6871760715382032`*^9, 3.68717609165483*^9}, 3.687176864941182*^9, 
   3.687177852285365*^9, 3.687179100478376*^9, 3.6871791615486403`*^9, 
   3.687179216018408*^9, 3.687179255699629*^9, 3.687179288126526*^9, 
   3.687179365584468*^9, 3.687179554931513*^9, 3.687179606340126*^9, 
   3.68717963783729*^9, 3.687179728595352*^9, 3.6871798680490522`*^9, 
   3.687179917510713*^9, 3.6871801355989428`*^9, 3.687180166856538*^9, 
   3.687180200100946*^9, 3.6871807428597717`*^9, 3.687180809374453*^9, 
   3.687190410247086*^9, {3.6871906209641237`*^9, 3.687190643953479*^9}, 
   3.6871907567246943`*^9, 3.687190844169365*^9, 3.687190954452581*^9, 
   3.687191237264051*^9, 3.68719127100797*^9, 3.687191312185432*^9, {
   3.6871914332742147`*^9, 3.68719146073186*^9}, 3.6871915006845503`*^9, 
   3.690556313055952*^9, 3.6905587919594593`*^9, 3.690628439685638*^9, 
   3.690628502256065*^9, 3.690631866386528*^9, 3.690634680145205*^9, 
   3.6906349215041*^9, {3.6906365143711452`*^9, 3.690636528712727*^9}, {
   3.6940918198087263`*^9, 3.694091845921935*^9}, 3.6940919040248957`*^9, 
   3.6941621104998083`*^9, 3.694162161422524*^9, 3.694170416079084*^9, 
   3.694171204691619*^9, 3.6941712598364887`*^9, 3.694171337256987*^9, 
   3.6941713803013363`*^9, 3.694178394422311*^9, 3.6941785971053123`*^9, 
   3.694178636094398*^9, 3.694178744502894*^9, 3.694178829133902*^9, 
   3.694179269064702*^9, 3.694179480429311*^9, 3.69599409321165*^9, 
   3.697135722977157*^9, 3.697135793279529*^9, 3.697135848108776*^9, 
   3.697138620435416*^9, 3.697138921008614*^9, 3.69714265986171*^9, 
   3.697142878657341*^9, 3.697143070867895*^9, 3.6971445400941057`*^9, 
   3.697144782787393*^9, 3.6971450618791847`*^9, 3.697145237340704*^9, 
   3.697145983377564*^9, 3.6971470539105864`*^9, 3.697147281451457*^9, 
   3.697147488665284*^9, 3.6971496819966173`*^9, 3.6971504800449553`*^9, 
   3.697150961511874*^9, 3.69715111629699*^9, {3.697151502077753*^9, 
   3.697151524773127*^9}, 3.697152161455762*^9, 3.697152903766225*^9, 
   3.697153203077866*^9, 3.697154451587257*^9, {3.6971999818934927`*^9, 
   3.697200008792905*^9}, 3.697201191519841*^9, 3.697201256719998*^9, 
   3.697203996842372*^9, 3.69720570071054*^9, 3.697206550993054*^9, 
   3.6972087463763*^9, 3.697215772569742*^9, 3.697216665857723*^9, 
   3.697228440612755*^9, 3.6972321829021797`*^9, 3.697233305670712*^9, 
   3.697239472437739*^9, 3.697249539268264*^9, {3.697249971542889*^9, 
   3.697250001085992*^9}, 3.697257439061389*^9, 3.697263579602078*^9, 
   3.697532353279435*^9, 3.697532721116664*^9, 3.6975439039144087`*^9, 
   3.6978804464508467`*^9, 3.697881398423662*^9, 3.697883522352116*^9, 
   3.697964151753971*^9, 3.697965941941147*^9, 3.698052437183146*^9, 
   3.6980526572656527`*^9, 3.698054429833386*^9, 3.6980743745506372`*^9, 
   3.698080182724695*^9, 3.698132486627002*^9, 3.6981332650515747`*^9, 
   3.698142369379546*^9, 3.698142413611885*^9, 3.69815047032839*^9, 
   3.698153191654607*^9, 3.698158348545887*^9, 3.6981645265898438`*^9, 
   3.698168802897602*^9, 3.698169463603907*^9, 3.698232722813615*^9, 
   3.698233641023768*^9, 3.698234490025618*^9, 3.6982406650309057`*^9, 
   3.698240965579068*^9, 3.698246629264865*^9, 3.698248105440551*^9, 
   3.698249656734414*^9, 3.698321932920086*^9, 3.6983306430567083`*^9, 
   3.698411082619399*^9, 3.701959546618327*^9, 3.701959619275156*^9, 
   3.702021519094738*^9, 3.7020409198085337`*^9, 3.702045196401939*^9, 
   3.702129137248753*^9, 3.702136064917613*^9, 3.702144986507935*^9, 
   3.70214585815709*^9, 3.702156408461035*^9, 3.702157786222097*^9, 
   3.702159171888322*^9, 3.702192375053094*^9, 3.702192510281558*^9, 
   3.7021928080264997`*^9, 3.702277783363435*^9, 3.702277841840355*^9, 
   3.702278080512124*^9, 3.702288598852614*^9, 3.7022888557284603`*^9, 
   3.7022930863607607`*^9, 3.702800221058504*^9, 3.7028006458512373`*^9, 
   3.702800713167225*^9, 3.7028030220912724`*^9, 3.702804525966177*^9, 
   3.7028049461477003`*^9, 3.7028051362391663`*^9, 3.702811660537157*^9, 
   3.70282228817384*^9, 3.702822875762042*^9, 3.7028233661641607`*^9, {
   3.702834216713131*^9, 3.702834234909844*^9}, 3.70283453921707*^9, {
   3.7028485472985477`*^9, 3.7028485633717613`*^9}, 3.702849916068995*^9, 
   3.702852038570507*^9, 3.7028523462601023`*^9, 3.705306777624895*^9, 
   3.705307064382588*^9, 3.705307425361465*^9, 3.705308161564692*^9, 
   3.7053355650338697`*^9, 3.707043618633668*^9, 3.7070442216101427`*^9, 
   3.707044384567061*^9, 3.70704611303065*^9, {3.70704615098882*^9, 
   3.7070461624271173`*^9}, 3.7070464029194613`*^9, 3.7070466562243757`*^9, 
   3.707046850010519*^9, 3.707047202289575*^9, 3.707047317971734*^9, 
   3.7070474909337053`*^9, 3.707047859966981*^9, 3.707048162564612*^9, 
   3.707048332717177*^9, 3.707048874537609*^9, 3.707049066621848*^9, 
   3.7070493866955442`*^9, 3.7070499379834642`*^9, 3.7070552519863167`*^9, 
   3.7070580346946297`*^9, 3.7070640308992662`*^9, 3.707067734933798*^9, 
   3.70706820269079*^9, 3.707068302683284*^9, 3.707068927317416*^9, 
   3.70706926819928*^9, 3.707082889554635*^9, 3.70711979964545*^9, 
   3.707120783507476*^9, 3.707121069682741*^9, 3.7071212855502987`*^9, 
   3.707122446225073*^9, {3.707216866375308*^9, 3.707216874015848*^9}, {
   3.707216970097042*^9, 3.7072169955504303`*^9}, 3.712046812145295*^9, 
   3.712059275029571*^9, 3.712059665338214*^9, 3.712059760732004*^9, 
   3.712059997458517*^9, 3.712060050007348*^9, 3.712060231831846*^9, 
   3.712060382092798*^9, 3.7120605021847477`*^9, 3.712066655683908*^9, 
   3.712145221799944*^9, 3.712148345879377*^9, 3.712148593650329*^9, 
   3.712149221682207*^9, 3.712150828344241*^9, 3.7121649283728733`*^9, 
   3.712165007344914*^9, 3.712314712342153*^9, 3.712315388552696*^9, 
   3.712315713211216*^9, 3.7123158781973867`*^9, 3.712320086269678*^9, 
   3.7123204166707563`*^9, 3.712322347173876*^9, 3.712325458262371*^9, {
   3.712327153286851*^9, 3.712327170404499*^9}, 3.712327589382299*^9, 
   3.7123384373116198`*^9, 3.712344893797261*^9, 3.712344951628479*^9, 
   3.7123889908439703`*^9, 3.712483548270226*^9, 3.7124880315191383`*^9, 
   3.7125080934435062`*^9, 3.7125800292119904`*^9, 3.712610574123496*^9, 
   3.712641159767959*^9, 3.713276149993175*^9, 3.713498104645176*^9, 
   3.713505611341888*^9, 3.713617745254377*^9, 3.713617804757428*^9, 
   3.713620275661562*^9, 3.713848147375429*^9, 3.7138490512610283`*^9, 
   3.714132035864949*^9, 3.714132152418013*^9, 3.714138112330847*^9, 
   3.714143753307502*^9, 3.71446954625039*^9, 3.714857013602366*^9, 
   3.7148571049895153`*^9, 
   3.714857139479334*^9},ExpressionUUID->"d0ffec50-434b-4a5f-8361-\
2579d3ab8f5f"]
}, Open  ]]
}, Open  ]],

Cell[BoxData[
 RowBox[{"(*", " ", 
  RowBox[{
  "It", " ", "takes", " ", "about", " ", "35", " ", "minutes", " ", "in", " ",
    "loading", " ", "the", " ", "flavor", " ", "general", " ", 
   RowBox[{"model", "."}]}], " ", "*)"}]], "Input",
 CellChangeTimes->{{3.707121100288376*^9, 3.7071211825847797`*^9}, {
   3.707121923840089*^9, 3.707121957806115*^9}, {3.7071231976285954`*^9, 
   3.7071232474580803`*^9}, {3.7123385424509068`*^9, 3.712338543084435*^9}, {
   3.7125097608421993`*^9, 3.712509761044367*^9}, 3.7132775111161633`*^9, {
   3.714145721924699*^9, 
   3.714145742915227*^9}},ExpressionUUID->"ec53db1d-6206-441d-bd54-\
e44da41d3b21"],

Cell["\<\
Before loading the model, please specify in the master code two flags: Input \
Scheme and Flavor limit\
\>", "SubitemParagraph",
 CellChangeTimes->{{3.713625561363282*^9, 3.7136256184218884`*^9}},
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"053d675b-070f-453d-bb43-41a6c1eec64f"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"LoadModel", "[", "\"\<SMEFT.fr\>\"", "]"}]], "Input",
 CellChangeTimes->{{3.707043633621306*^9, 3.707043633785348*^9}, {
   3.7070440983931837`*^9, 3.70704410108887*^9}, {3.707046119835746*^9, 
   3.707046123863381*^9}, {3.7070580447585993`*^9, 3.70705804532724*^9}, 
   3.707119804885477*^9, {3.707120793108892*^9, 3.707120795738831*^9}, 
   3.7071210636532927`*^9, 3.707121292888097*^9, {3.70712242801046*^9, 
   3.70712243235433*^9}, 3.707217022806114*^9, 3.7120468882425528`*^9, 
   3.7121452318841887`*^9, {3.71214835231743*^9, 3.712148353979909*^9}, {
   3.71248355923149*^9, 3.712483559792983*^9}, {3.712580037227171*^9, 
   3.71258003789824*^9}, 3.713617772893939*^9, {3.714857023229405*^9, 
   3.714857024043989*^9}, {3.714857073777337*^9, 
   3.7148570739209948`*^9}},ExpressionUUID->"e7508085-4939-4438-a9db-\
0fb5e008bca0"],

Cell[CellGroupData[{

Cell[BoxData["\<\"This model implementation was created by\"\>"], "Print",
 CellChangeTimes->{
  3.714857149695292*^9},ExpressionUUID->"7ae16741-f58c-410c-b9f5-\
340c94a67361"],

Cell[BoxData["\<\"I. Bravio, Y. Jiang and M. Trott\"\>"], "Print",
 CellChangeTimes->{
  3.714857149707168*^9},ExpressionUUID->"1f3fdd8d-c8d4-4d80-ba92-\
38793bb90636"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"Model Version: \"\>", "\[InvisibleSpace]", "\<\"1.0\"\>"}],
  SequenceForm["Model Version: ", "1.0"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.714857149721714*^9},ExpressionUUID->"44e47dc8-2ba7-4d43-89f4-\
6a05cee884e3"],

Cell[BoxData["\<\"Please cite\"\>"], "Print",
 CellChangeTimes->{
  3.71485714973552*^9},ExpressionUUID->"6462f186-5b05-42e7-8ea5-1446826cde94"],

Cell[BoxData["\<\"I. Bravio, Y. Jiang and M. Trott, The SMEFTsim package, \
theory and tools, arXiv:1709.06492\"\>"], "Print",
 CellChangeTimes->{
  3.714857149749666*^9},ExpressionUUID->"1b75dcce-043a-45ad-9422-\
775d78a282b8"],

Cell[BoxData["\<\"https://feynrules.irmp.ucl.ac.be/wiki/SMEFT\"\>"], "Print",
 CellChangeTimes->{
  3.714857149763296*^9},ExpressionUUID->"1ca2a6a0-f3ce-451e-8a4e-\
740560488acb"],

Cell[BoxData["\<\"For more information, type ModelInformation[].\"\>"], \
"Print",
 CellChangeTimes->{
  3.71485714977837*^9},ExpressionUUID->"8e456451-1099-4329-ba4a-2dab7668dab9"],

Cell[BoxData["\<\"\"\>"], "Print",
 CellChangeTimes->{
  3.714857149794093*^9},ExpressionUUID->"3f924078-8b4f-4835-b297-\
9d7a88dbc163"],

Cell[BoxData["\<\"   - Loading particle classes.\"\>"], "Print",
 CellChangeTimes->{
  3.714857149809836*^9},ExpressionUUID->"5e4b70a2-7d69-4117-a850-\
9a3914975cef"],

Cell[BoxData["\<\"   - Loading gauge group classes.\"\>"], "Print",
 CellChangeTimes->{
  3.71485714990038*^9},ExpressionUUID->"faf34925-a84e-4798-a0e0-5c238effabc1"],

Cell[BoxData["\<\"   - Loading parameter classes.\"\>"], "Print",
 CellChangeTimes->{
  3.714857149914817*^9},ExpressionUUID->"8544365c-9f6b-49f2-adf1-\
a54e18ccc526"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"\\nModel \"\>", "\[InvisibleSpace]", "\<\"SMEFTsim\"\>", 
   "\[InvisibleSpace]", "\<\" loaded.\"\>"}],
  SequenceForm["\nModel ", "SMEFTsim", " loaded."],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.7148571536482162`*^9},ExpressionUUID->"f97cfa46-9547-4331-9814-\
95c1baf585bf"]
}, Open  ]]
}, Open  ]],

Cell[BoxData[
 RowBox[{"(*", " ", 
  RowBox[{"LoadRestriction", "[", "\"\<Cabibbo.rst\>\"", "]"}], " ", 
  "*)"}]], "Input",
 CellChangeTimes->{{3.713493464482696*^9, 3.713493469303619*^9}, {
  3.713495821117641*^9, 3.713495824372287*^9}, {3.713615756504122*^9, 
  3.713615757334991*^9}},ExpressionUUID->"62ecf4e9-7dd6-45e6-b9f2-\
818e81b9fe3f"],

Cell["\<\
Check the Input Scheme and Flavor limit of the model that has been loaded\
\>", "SubitemParagraph",
 CellChangeTimes->{{3.713625561363282*^9, 3.7136256184218884`*^9}, {
  3.713625671941028*^9, 3.713625697074753*^9}},
 Background->RGBColor[
  1, 1, 0.85],ExpressionUUID->"43aace39-1476-457e-bad1-73477287bf62"],

Cell[CellGroupData[{

Cell[BoxData[{"Scheme", "\[IndentingNewLine]", "Flavor"}], "Input",
 CellChangeTimes->{{3.712150850782395*^9, 3.7121508566158543`*^9}, {
  3.7125811849805737`*^9, 
  3.71258118718775*^9}},ExpressionUUID->"dd0f5638-904e-4c22-a089-\
e4224ba81323"],

Cell[BoxData["1"], "Output",
 CellChangeTimes->{3.7121508569628696`*^9, 3.712165016664995*^9, 
  3.712314726398013*^9, 3.712315722826281*^9, 3.7123158890435257`*^9, 
  3.712320163478222*^9, 3.712320428108179*^9, 3.71232235805413*^9, 
  3.712325470491984*^9, 3.712329563120764*^9, 3.71233989072227*^9, 
  3.71234496744199*^9, 3.712389041576448*^9, 3.712485012615335*^9, 
  3.712509788823175*^9, 3.712581187700712*^9, 3.712613703239553*^9, 
  3.713277576880416*^9, 3.713499305629855*^9, 3.7135096102721148`*^9, 
  3.7138482142632847`*^9, 3.713849065350614*^9, 3.7141321655848207`*^9, 
  3.714138141451785*^9, 3.714145767474256*^9, 
  3.714857178650236*^9},ExpressionUUID->"ba638457-c2a4-49ac-bc4c-\
b15eb88cdb8d"],

Cell[BoxData["3"], "Output",
 CellChangeTimes->{3.7121508569628696`*^9, 3.712165016664995*^9, 
  3.712314726398013*^9, 3.712315722826281*^9, 3.7123158890435257`*^9, 
  3.712320163478222*^9, 3.712320428108179*^9, 3.71232235805413*^9, 
  3.712325470491984*^9, 3.712329563120764*^9, 3.71233989072227*^9, 
  3.71234496744199*^9, 3.712389041576448*^9, 3.712485012615335*^9, 
  3.712509788823175*^9, 3.712581187700712*^9, 3.712613703239553*^9, 
  3.713277576880416*^9, 3.713499305629855*^9, 3.7135096102721148`*^9, 
  3.7138482142632847`*^9, 3.713849065350614*^9, 3.7141321655848207`*^9, 
  3.714138141451785*^9, 3.714145767474256*^9, 
  3.7148571786657553`*^9},ExpressionUUID->"1668a930-780e-4f8d-9ea0-\
9fb206e0f3a7"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Full SMEFT Lagrangian", "Subsection",
 CellChangeTimes->{{3.592050781311898*^9, 3.592050792370556*^9}, {
  3.690632127712682*^9, 3.69063216217411*^9}, {3.690632366182378*^9, 
  3.69063237653393*^9}, {3.7136261185636*^9, 
  3.713626122962193*^9}},ExpressionUUID->"9adbe363-353a-4911-972d-\
e96510f4395f"],

Cell[BoxData[
 RowBox[{"(*", 
  RowBox[{
  "This", " ", "step", " ", "takes", " ", "about", " ", "2.5", " ", "hours"}],
   " ", "*)"}]], "Input",
 CellChangeTimes->{{3.707120365182248*^9, 3.707120380440012*^9}, {
  3.70712614631332*^9, 3.707126146608179*^9}, {3.707127896959361*^9, 
  3.707127898047299*^9}, {3.707218090578179*^9, 3.707218092074006*^9}, {
  3.712166747539626*^9, 3.7121667484384937`*^9}, {3.712518477455298*^9, 
  3.7125184811564493`*^9}, {3.7126503366207314`*^9, 
  3.712650336811854*^9}},ExpressionUUID->"84730076-adec-4274-bd87-\
040b0976fb21"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Which", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"Scheme", "\[Equal]", "1"}], " ", "&&", " ", 
    RowBox[{"Flavor", "\[Equal]", "1"}]}], " ", ",", 
   RowBox[{"WriteUFO", "[", 
    RowBox[{"LagSMEFT", ",", 
     RowBox[{"Output", "\[Rule]", "\"\<SMEFT_alpha_UFO\>\""}]}], "]"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Scheme", "\[Equal]", "1"}], " ", "&&", " ", 
    RowBox[{"Flavor", "\[Equal]", "2"}]}], " ", ",", 
   RowBox[{"WriteUFO", "[", 
    RowBox[{"LagSMEFT", ",", 
     RowBox[{"Output", "\[Rule]", "\"\<SMEFT_alpha_MFV_UFO\>\""}]}], "]"}], 
   ",", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Scheme", "\[Equal]", "1"}], " ", "&&", " ", 
    RowBox[{"Flavor", "\[Equal]", "3"}]}], " ", ",", 
   RowBox[{"WriteUFO", "[", 
    RowBox[{"LagSMEFT", ",", 
     RowBox[{"Output", "\[Rule]", "\"\<SMEFT_alpha_FLU_UFO\>\""}]}], "]"}], 
   ",", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Scheme", "\[Equal]", "2"}], " ", "&&", " ", 
    RowBox[{"Flavor", "\[Equal]", "1"}]}], " ", ",", 
   RowBox[{"WriteUFO", "[", 
    RowBox[{"LagSMEFT", ",", 
     RowBox[{"Output", "\[Rule]", "\"\<SMEFT_mW_UFO\>\""}]}], "]"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Scheme", "\[Equal]", "2"}], " ", "&&", " ", 
    RowBox[{"Flavor", "\[Equal]", "2"}]}], " ", ",", 
   RowBox[{"WriteUFO", "[", 
    RowBox[{"LagSMEFT", ",", 
     RowBox[{"Output", "\[Rule]", "\"\<SMEFT_mW_MFV_UFO\>\""}]}], "]"}], ",", 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"Scheme", "\[Equal]", "2"}], " ", "&&", " ", 
    RowBox[{"Flavor", "\[Equal]", "3"}]}], " ", ",", 
   RowBox[{"WriteUFO", "[", 
    RowBox[{"LagSMEFT", ",", 
     RowBox[{"Output", "\[Rule]", "\"\<SMEFT_mW_FLU_UFO\>\""}]}], "]"}]}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.592050954724972*^9, 3.592050976242144*^9}, {
   3.592917046397978*^9, 3.592917051726028*^9}, {3.690559066245864*^9, 
   3.690559090771997*^9}, {3.690635206654697*^9, 3.690635251222814*^9}, 
   3.694179603248775*^9, {3.697532476419245*^9, 3.69753248093821*^9}, 
   3.697544395406517*^9, 3.697882281658991*^9, {3.698052884581242*^9, 
   3.6980529135150433`*^9}, 3.702194003154537*^9, {3.702850190553439*^9, 
   3.7028501964010057`*^9}, {3.7053130989289427`*^9, 3.705313100664968*^9}, {
   3.707058076030693*^9, 3.7070581136692753`*^9}, {3.707064152624481*^9, 
   3.7070641528160343`*^9}, {3.707064314315763*^9, 3.707064319399392*^9}, {
   3.7070694230781393`*^9, 3.707069427357242*^9}, {3.7070839220663977`*^9, 
   3.707083952620563*^9}, 3.707119850223012*^9, {3.707120410016737*^9, 
   3.707120414446883*^9}, {3.707123727851462*^9, 3.7071237341448517`*^9}, {
   3.7072171174345007`*^9, 3.7072171210484543`*^9}, 3.7121509313089857`*^9, {
   3.712165519190444*^9, 3.712165519645192*^9}, {3.7121671478498898`*^9, 
   3.712167147981661*^9}, 3.712314748075243*^9, 3.712320819842203*^9, {
   3.712327724999515*^9, 3.712327725190146*^9}, {3.712329583982894*^9, 
   3.712329585484972*^9}, {3.712339898139542*^9, 3.7123398986274433`*^9}, {
   3.712344983848916*^9, 3.712344984364946*^9}, {3.712389050816577*^9, 
   3.712389050986454*^9}, {3.713615835293625*^9, 3.71361585394905*^9}, {
   3.7136257381544533`*^9, 3.713625902506837*^9}, {3.7138482883446617`*^9, 
   3.713848296862842*^9}, {3.7138483827411127`*^9, 
   3.71384840681039*^9}},ExpressionUUID->"1121271b-8bb8-49fe-bf46-\
f1683431a803"],

Cell[CellGroupData[{

Cell[BoxData["\<\" --- Universal FeynRules Output (UFO) v 1.1 ---\"\>"], \
"Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714146519723297*^9},ExpressionUUID->"fd0b2f89-6c88-46f4-aed2-\
4de58954bbb4"],

Cell[BoxData[
 StyleBox["\<\"Starting Feynman rule calculation.\"\>",
  StripOnInput->False,
  LineColor->RGBColor[1, 0.5, 0],
  FrontFaceColor->RGBColor[1, 0.5, 0],
  BackFaceColor->RGBColor[1, 0.5, 0],
  GraphicsColor->RGBColor[1, 0.5, 0],
  FontWeight->Bold,
  FontColor->RGBColor[1, 0.5, 0]]], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.7141466108731728`*^9},ExpressionUUID->"259096ed-3ebe-403c-82f8-\
8728091a0d04"],

Cell[BoxData["\<\"Expanding the Lagrangian...\"\>"], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714146610880265*^9},ExpressionUUID->"a9786162-ac5d-448c-916f-\
07459699151b"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"Expanding the indices over \"\>", "\[InvisibleSpace]", "4", 
   "\[InvisibleSpace]", "\<\" cores\"\>"}],
  SequenceForm["Expanding the indices over ", 4, " cores"],
  Editable->False]], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.7141466108840714`*^9},ExpressionUUID->"1d6ebbfc-9ef6-48ff-be90-\
809fc58f745b"],

Cell[BoxData["\<\"Collecting the different structures that enter the \
vertex.\"\>"], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714146692794492*^9},ExpressionUUID->"b62d74fa-148e-46b0-8fa8-\
71a215509fee"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{
  "143", "\[InvisibleSpace]", "\<\" possible non-zero vertices have been \
found -> starting the computation: \"\>", "\[InvisibleSpace]", 
   DynamicBox[ToBoxes[FeynRules`FR$FeynmanRules, StandardForm],
    ImageSizeCache->{180., {3., 9.}}], "\[InvisibleSpace]", "\<\" / \"\>", 
   "\[InvisibleSpace]", "143", "\[InvisibleSpace]", "\<\".\"\>"}],
  SequenceForm[
  143, " possible non-zero vertices have been found -> starting the \
computation: ", 
   Dynamic[FeynRules`FR$FeynmanRules], " / ", 143, "."],
  Editable->False]], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 3.714146693620097*^9},
 ExpressionUUID -> "f49486cf-a1c8-4685-ad12-ff28c08a74a0"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"143", "\[InvisibleSpace]", "\<\" vertices obtained.\"\>"}],
  SequenceForm[143, " vertices obtained."],
  Editable->False]], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714147438319216*^9},ExpressionUUID->"0ad9c8c1-6be3-4f5c-9998-\
6c078e62e471"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"Flavor expansion of the vertices distributed over \"\>", 
   "\[InvisibleSpace]", "4", "\[InvisibleSpace]", "\<\" cores: \"\>", 
   "\[InvisibleSpace]", 
   DynamicBox[ToBoxes[FeynRules`FR$Count1, StandardForm],
    ImageSizeCache->{137., {3., 9.}}], "\[InvisibleSpace]", "\<\" / \"\>", 
   "\[InvisibleSpace]", "143"}],
  SequenceForm[
  "Flavor expansion of the vertices distributed over ", 4, " cores: ", 
   Dynamic[FeynRules`FR$Count1], " / ", 143],
  Editable->False]], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 3.7141501721829*^9},
 ExpressionUUID -> "d9352694-9c26-44fc-b8e2-e66c5a926543"],

Cell[BoxData["\<\"   - Saved vertices in InterfaceRun[ 1 ].\"\>"], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714150671203101*^9},ExpressionUUID->"b33c7455-6ce1-4be3-87e9-\
925fab8aaa4b"],

Cell[BoxData[
 StyleBox["\<\"Computing the squared matrix elements relevant for the 1->2 \
decays: \"\>",
  StripOnInput->False,
  LineColor->RGBColor[1, 0.5, 0],
  FrontFaceColor->RGBColor[1, 0.5, 0],
  BackFaceColor->RGBColor[1, 0.5, 0],
  GraphicsColor->RGBColor[1, 0.5, 0],
  FontWeight->Bold,
  FontColor->RGBColor[1, 0.5, 0]]], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714150674061142*^9},ExpressionUUID->"c20c0cd0-21b6-4ccf-b5d5-\
7339eb946ddc"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{
   DynamicBox[ToBoxes[PRIVATE`mycounter, StandardForm],
    ImageSizeCache->{122., {3., 9.}}], "\[InvisibleSpace]", "\<\" / \"\>", 
   "\[InvisibleSpace]", "144"}],
  SequenceForm[
   Dynamic[PRIVATE`mycounter], " / ", 144],
  Editable->False]], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714150674072543*^9},ExpressionUUID->"2e7f932c-e12a-457f-9452-\
5057379f9085"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"Squared matrix elent compute in \"\>", "\[InvisibleSpace]", 
   "1984.372168`", "\[InvisibleSpace]", "\<\" seconds.\"\>"}],
  SequenceForm["Squared matrix elent compute in ", 1984.372168, " seconds."],
  Editable->False]], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714153633292227*^9},ExpressionUUID->"e5c7b6b8-f85f-4175-aea3-\
4e26e7f6413f"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{
   DynamicBox[ToBoxes[PRIVATE`mycounter, StandardForm],
    ImageSizeCache->{122., {3., 9.}}], "\[InvisibleSpace]", "\<\" / \"\>", 
   "\[InvisibleSpace]", "181"}],
  SequenceForm[
   Dynamic[PRIVATE`mycounter], " / ", 181],
  Editable->False]], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714153633296123*^9},ExpressionUUID->"bac97a40-64bb-41bc-9f3e-\
80ebad161b81"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"Decay widths computed in \"\>", "\[InvisibleSpace]", 
   "86.081339`", "\[InvisibleSpace]", "\<\" seconds.\"\>"}],
  SequenceForm["Decay widths computed in ", 86.081339, " seconds."],
  Editable->False]], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714153722153268*^9},ExpressionUUID->"bd9e11c2-a5a8-4948-8fbe-\
c40f09511236"],

Cell[BoxData["\<\"Preparing Python output.\"\>"], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714153722157188*^9},ExpressionUUID->"1b2ec139-1c24-4fa7-8c44-\
0927d814e620"],

Cell[BoxData["\<\"    - Splitting vertices into building blocks.\"\>"], \
"Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714153731584157*^9},ExpressionUUID->"6fa8bac6-d937-4109-a616-\
50ba6edb3470"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"Splitting of vertices distributed over \"\>", 
   "\[InvisibleSpace]", "4", "\[InvisibleSpace]", "\<\" kernels.\"\>"}],
  SequenceForm["Splitting of vertices distributed over ", 4, " kernels."],
  Editable->False]], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714153733161229*^9},ExpressionUUID->"9016cab2-9fe2-403a-8e4c-\
9a8ef3e5c6bb"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"\<\"    - Optimizing: \"\>", "\[InvisibleSpace]", 
   DynamicBox[ToBoxes[PRIVATE`PY$SplitVertexCounter, StandardForm],
    ImageSizeCache->{209., {3., 9.}}], "\[InvisibleSpace]", "\<\"/\"\>", 
   "\[InvisibleSpace]", "1523", "\[InvisibleSpace]", "\<\" .\"\>"}],
  SequenceForm["    - Optimizing: ", 
   Dynamic[PRIVATE`PY$SplitVertexCounter], "/", 1523, " ."],
  Editable->False]], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 3.714153765531219*^9},
 ExpressionUUID -> "4f8cb71b-524c-4345-8ca2-7502849470d5"],

Cell[BoxData["\<\"    - Writing files.\"\>"], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714153852089164*^9},ExpressionUUID->"71a70336-cc61-4928-9560-\
8a886ae8c9e2"],

Cell[BoxData["\<\"Done!\"\>"], "Print",
 CellChangeTimes->{3.713849833333025*^9, 3.7141329652517157`*^9, 
  3.714139009381372*^9, 
  3.714154211837989*^9},ExpressionUUID->"0e41963e-efc1-4a91-86d6-\
86658bea9cc2"]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}, Open  ]]
},
WindowSize->{912, 1126},
WindowMargins->{{508, Automatic}, {-278, Automatic}},
FrontEndVersion->"10.2 for Mac OS X x86 (32-bit, 64-bit Kernel) (July 29, \
2015)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[579, 22, 152, 3, 64, "Section"],
Cell[CellGroupData[{
Cell[756, 29, 2201, 38, 80, "Input"],
Cell[CellGroupData[{
Cell[2982, 71, 6761, 96, 22, "Print"],
Cell[9746, 169, 7037, 103, 22, "Print"],
Cell[16786, 274, 6813, 97, 22, "Print"],
Cell[23602, 373, 6746, 96, 21, "Print"],
Cell[30351, 471, 6758, 96, 21, "Print"],
Cell[37112, 569, 6809, 97, 22, "Print"],
Cell[43924, 668, 6810, 97, 22, "Print"],
Cell[50737, 767, 6747, 96, 21, "Print"],
Cell[57487, 865, 6777, 96, 22, "Print"],
Cell[64267, 963, 6747, 96, 21, "Print"],
Cell[71017, 1061, 6814, 97, 22, "Print"]
}, Open  ]]
}, Open  ]],
Cell[77858, 1162, 647, 12, 28, "Input"],
Cell[78508, 1176, 299, 6, 37, "SubitemParagraph"],
Cell[CellGroupData[{
Cell[78832, 1186, 859, 13, 28, "Input"],
Cell[CellGroupData[{
Cell[79716, 1203, 176, 3, 22, "Print"],
Cell[79895, 1208, 168, 3, 22, "Print"],
Cell[80066, 1213, 282, 7, 21, "Print"],
Cell[80351, 1222, 144, 2, 21, "Print"],
Cell[80498, 1226, 228, 4, 22, "Print"],
Cell[80729, 1232, 179, 3, 22, "Print"],
Cell[80911, 1237, 181, 3, 22, "Print"],
Cell[81095, 1242, 136, 3, 21, "Print"],
Cell[81234, 1247, 166, 3, 22, "Print"],
Cell[81403, 1252, 166, 2, 22, "Print"],
Cell[81572, 1256, 167, 3, 22, "Print"],
Cell[81742, 1261, 338, 8, 37, "Print"]
}, Open  ]]
}, Open  ]],
Cell[82107, 1273, 345, 7, 28, "Input"],
Cell[82455, 1282, 319, 6, 37, "SubitemParagraph"],
Cell[CellGroupData[{
Cell[82799, 1292, 245, 4, 46, "Input"],
Cell[83047, 1298, 711, 11, 28, "Output"],
Cell[83761, 1311, 713, 11, 28, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[84511, 1327, 309, 5, 44, "Subsection"],
Cell[84823, 1334, 564, 11, 28, "Input"],
Cell[CellGroupData[{
Cell[85412, 1349, 3380, 67, 114, "Input"],
Cell[CellGroupData[{
Cell[88817, 1420, 256, 5, 22, "Print"],
Cell[89076, 1427, 481, 12, 22, "Print"],
Cell[89560, 1441, 234, 4, 22, "Print"],
Cell[89797, 1447, 418, 9, 22, "Print"],
Cell[90218, 1458, 267, 5, 22, "Print"],
Cell[90488, 1465, 752, 15, 22, "Print"],
Cell[91243, 1482, 351, 8, 21, "Print"],
Cell[91597, 1492, 703, 14, 22, "Print"],
Cell[92303, 1508, 248, 4, 21, "Print"],
Cell[92554, 1514, 515, 13, 22, "Print"],
Cell[93072, 1529, 472, 12, 22, "Print"],
Cell[93547, 1543, 453, 9, 22, "Print"],
Cell[94003, 1554, 472, 12, 22, "Print"],
Cell[94478, 1568, 435, 9, 22, "Print"],
Cell[94916, 1579, 231, 4, 22, "Print"],
Cell[95150, 1585, 255, 5, 22, "Print"],
Cell[95408, 1592, 446, 9, 22, "Print"],
Cell[95857, 1603, 607, 11, 22, "Print"],
Cell[96467, 1616, 227, 4, 22, "Print"],
Cell[96697, 1622, 212, 4, 21, "Print"]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}, Open  ]]
}
]
*)

