(* Content-type: application/mathematica *)

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

(* CreatedBy='Mathematica 7.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       145,          7]
NotebookDataLength[    127211,       2640]
NotebookOptionsPosition[    123390,       2518]
NotebookOutlinePosition[    124045,       2541]
CellTagsIndexPosition[    124002,       2538]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
    RowBox[{
    "This", " ", "notebook", " ", "generates", " ", "the", " ", "amplitude", 
     " ", "with", " ", "FeynArts", " ", "and", " ", "evaluates", " ", "it", 
     " ", "with", " ", "FormCalc"}], ",", " ", 
    RowBox[{"not", " ", 
     RowBox[{"FeynCalc", "!"}]}]}], "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
   "<<", "\"\</home/stefan/.Mathematica/Applications/FeynArts-3.9/FeynArts.m\>\
\""}], "\[IndentingNewLine]", 
   RowBox[{
   "<<", "\"\</home/stefan/.Mathematica/Applications/FormCalc-9.4/FormCalc.m\>\
\""}], "\n"}]}]], "Input",
 CellChangeTimes->{{3.4634682742722187`*^9, 3.4634682889179363`*^9}, {
  3.463666001953456*^9, 3.463666006416147*^9}, {3.465539716931117*^9, 
  3.46553972071353*^9}, {3.4689075188441143`*^9, 3.468907529849032*^9}, {
  3.469425155249784*^9, 3.46942515995168*^9}, {3.471787300641184*^9, 
  3.471787304833091*^9}, {3.688481898001327*^9, 3.688481900329376*^9}, {
  3.688709865557302*^9, 3.68870986662794*^9}, {3.688710385162898*^9, 
  3.688710388418497*^9}, {3.688712760790312*^9, 3.688712761675448*^9}, {
  3.6887133318039103`*^9, 3.688713332167675*^9}, {3.688714065498987*^9, 
  3.688714067718462*^9}, {3.7719278586654367`*^9, 3.771927878805696*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 FormBox["\<\"\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{
  3.4694251861884937`*^9, 3.46942525048291*^9, 3.4694253928023663`*^9, 
   3.4694262224307613`*^9, 3.4694293074798937`*^9, 3.4704679734316483`*^9, 
   3.470554017171026*^9, 3.471787310145707*^9, 3.471843570923472*^9, 
   3.471889875007038*^9, 3.471932648614088*^9, 3.474205385985757*^9, 
   3.474205474034548*^9, 3.4742065018638287`*^9, 3.474226836866564*^9, 
   3.474227343495064*^9, 3.474227637753183*^9, 3.47426724631528*^9, 
   3.4742688410638847`*^9, 3.474269292738246*^9, {3.474275654406329*^9, 
   3.474275660878536*^9}, 3.476524558159354*^9, 3.4765255563020782`*^9, 
   3.4765261246070013`*^9, 3.4765262570272703`*^9, 3.476526670159315*^9, 
   3.477042174579343*^9, 3.47704374095496*^9, 3.47704397296382*^9, 
   3.4770539255691347`*^9, 3.4771160897445593`*^9, 3.478349904469028*^9, 
   3.478350322237076*^9, 3.478351433675058*^9, 3.478438153841505*^9, 
   3.478501292525576*^9, 3.478511316013483*^9, 3.478585746281231*^9, 
   3.478852953455761*^9, 3.478948056241074*^9, 3.479315482412784*^9, 
   3.479632370540419*^9, 3.479648678689251*^9, 3.4801579982990723`*^9, 
   3.480158523331975*^9, 3.480160374722625*^9, 3.4801610749303627`*^9, 
   3.480229321038115*^9, 3.480230507090887*^9, 3.480684596411744*^9, 
   3.480704796252644*^9, 3.4807417914334707`*^9, 3.480769264342969*^9, 
   3.6884819011975927`*^9, 3.68870970544029*^9, 3.688709867109314*^9, 
   3.688710398048534*^9, 3.6887113950495577`*^9, 3.688711999740789*^9, 
   3.688712764575193*^9, 3.688712794639246*^9, 3.6887128461094847`*^9, 
   3.688713332860466*^9, 3.688714067991646*^9, 3.688715866533629*^9, 
   3.688723016927054*^9, 3.688723712623796*^9, {3.688724207879738*^9, 
   3.6887242135318403`*^9}, 3.688724425286001*^9, 3.688724870287166*^9, 
   3.688735782271896*^9, 3.68873745211733*^9, 3.688740762057465*^9, {
   3.688813181130847*^9, 3.688813208725807*^9}, 3.688826358917198*^9, 
   3.688826567415762*^9, 3.688828164849017*^9, 3.688829642670573*^9, 
   3.6888821315853777`*^9, 3.6888821627112303`*^9, 3.688883186362775*^9, 
   3.688883262960087*^9, 3.690715905265501*^9, 3.690716025172164*^9, 
   3.690716126914117*^9, 3.690716324064683*^9, 3.690716361538434*^9, 
   3.6926864378494043`*^9, 3.692699577736752*^9, 3.693035117823669*^9, 
   3.693035426932886*^9, 3.693035467046278*^9, 3.6930361639052362`*^9, 
   3.693206645824869*^9, 3.693207124116638*^9, 3.693207350312295*^9, {
   3.693207423756991*^9, 3.6932074353504543`*^9}, 3.693207513468453*^9, 
   3.693207612328987*^9, 3.693207695059022*^9, 3.693220705806369*^9, 
   3.693220764673627*^9, 3.6932208881815443`*^9, 3.6932209789489822`*^9, 
   3.693221085588324*^9, 3.6932212128791437`*^9, 3.693221972148885*^9, 
   3.693222144388233*^9, 3.693222211902318*^9, 3.693222293052923*^9, 
   3.693222397177462*^9, 3.6932224790617027`*^9, 3.693224266208247*^9, 
   3.6932263888736067`*^9, 3.693226441658208*^9, 3.693226567610416*^9, 
   3.693226641330653*^9, 3.693226772709549*^9, 3.693226855158998*^9, {
   3.693226949797533*^9, 3.693226957100031*^9}, 3.693227133124083*^9, 
   3.693227430190007*^9, 3.6932279027429123`*^9, 3.6932281884247437`*^9, 
   3.6932308861512613`*^9, 3.693304640926361*^9, 3.693315186002087*^9, 
   3.693553908855451*^9, 3.693574454555346*^9, 3.693576157990499*^9, 
   3.6935762826818533`*^9, 3.693576367231127*^9, 3.693579070958037*^9, 
   3.693657313124878*^9, 3.6936604451367207`*^9, 3.696658349959962*^9, 
   3.6966605674890738`*^9, 3.696661162586257*^9, {3.696661572701627*^9, 
   3.6966615806166573`*^9}, 3.696661974500621*^9, 3.771926760783134*^9, 
   3.771927880091344*^9, 3.771927964152463*^9, 3.771928708926979*^9, 
   3.771928746150688*^9, 3.771928953245378*^9, 3.771929791949602*^9, 
   3.7719359433187037`*^9}],

Cell[BoxData[
 FormBox["\<\"FeynArts 3.9 (23 Sep 2015)\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{
  3.4694251861884937`*^9, 3.46942525048291*^9, 3.4694253928023663`*^9, 
   3.4694262224307613`*^9, 3.4694293074798937`*^9, 3.4704679734316483`*^9, 
   3.470554017171026*^9, 3.471787310145707*^9, 3.471843570923472*^9, 
   3.471889875007038*^9, 3.471932648614088*^9, 3.474205385985757*^9, 
   3.474205474034548*^9, 3.4742065018638287`*^9, 3.474226836866564*^9, 
   3.474227343495064*^9, 3.474227637753183*^9, 3.47426724631528*^9, 
   3.4742688410638847`*^9, 3.474269292738246*^9, {3.474275654406329*^9, 
   3.474275660878536*^9}, 3.476524558159354*^9, 3.4765255563020782`*^9, 
   3.4765261246070013`*^9, 3.4765262570272703`*^9, 3.476526670159315*^9, 
   3.477042174579343*^9, 3.47704374095496*^9, 3.47704397296382*^9, 
   3.4770539255691347`*^9, 3.4771160897445593`*^9, 3.478349904469028*^9, 
   3.478350322237076*^9, 3.478351433675058*^9, 3.478438153841505*^9, 
   3.478501292525576*^9, 3.478511316013483*^9, 3.478585746281231*^9, 
   3.478852953455761*^9, 3.478948056241074*^9, 3.479315482412784*^9, 
   3.479632370540419*^9, 3.479648678689251*^9, 3.4801579982990723`*^9, 
   3.480158523331975*^9, 3.480160374722625*^9, 3.4801610749303627`*^9, 
   3.480229321038115*^9, 3.480230507090887*^9, 3.480684596411744*^9, 
   3.480704796252644*^9, 3.4807417914334707`*^9, 3.480769264342969*^9, 
   3.6884819011975927`*^9, 3.68870970544029*^9, 3.688709867109314*^9, 
   3.688710398048534*^9, 3.6887113950495577`*^9, 3.688711999740789*^9, 
   3.688712764575193*^9, 3.688712794639246*^9, 3.6887128461094847`*^9, 
   3.688713332860466*^9, 3.688714067991646*^9, 3.688715866533629*^9, 
   3.688723016927054*^9, 3.688723712623796*^9, {3.688724207879738*^9, 
   3.6887242135318403`*^9}, 3.688724425286001*^9, 3.688724870287166*^9, 
   3.688735782271896*^9, 3.68873745211733*^9, 3.688740762057465*^9, {
   3.688813181130847*^9, 3.688813208725807*^9}, 3.688826358917198*^9, 
   3.688826567415762*^9, 3.688828164849017*^9, 3.688829642670573*^9, 
   3.6888821315853777`*^9, 3.6888821627112303`*^9, 3.688883186362775*^9, 
   3.688883262960087*^9, 3.690715905265501*^9, 3.690716025172164*^9, 
   3.690716126914117*^9, 3.690716324064683*^9, 3.690716361538434*^9, 
   3.6926864378494043`*^9, 3.692699577736752*^9, 3.693035117823669*^9, 
   3.693035426932886*^9, 3.693035467046278*^9, 3.6930361639052362`*^9, 
   3.693206645824869*^9, 3.693207124116638*^9, 3.693207350312295*^9, {
   3.693207423756991*^9, 3.6932074353504543`*^9}, 3.693207513468453*^9, 
   3.693207612328987*^9, 3.693207695059022*^9, 3.693220705806369*^9, 
   3.693220764673627*^9, 3.6932208881815443`*^9, 3.6932209789489822`*^9, 
   3.693221085588324*^9, 3.6932212128791437`*^9, 3.693221972148885*^9, 
   3.693222144388233*^9, 3.693222211902318*^9, 3.693222293052923*^9, 
   3.693222397177462*^9, 3.6932224790617027`*^9, 3.693224266208247*^9, 
   3.6932263888736067`*^9, 3.693226441658208*^9, 3.693226567610416*^9, 
   3.693226641330653*^9, 3.693226772709549*^9, 3.693226855158998*^9, {
   3.693226949797533*^9, 3.693226957100031*^9}, 3.693227133124083*^9, 
   3.693227430190007*^9, 3.6932279027429123`*^9, 3.6932281884247437`*^9, 
   3.6932308861512613`*^9, 3.693304640926361*^9, 3.693315186002087*^9, 
   3.693553908855451*^9, 3.693574454555346*^9, 3.693576157990499*^9, 
   3.6935762826818533`*^9, 3.693576367231127*^9, 3.693579070958037*^9, 
   3.693657313124878*^9, 3.6936604451367207`*^9, 3.696658349959962*^9, 
   3.6966605674890738`*^9, 3.696661162586257*^9, {3.696661572701627*^9, 
   3.6966615806166573`*^9}, 3.696661974500621*^9, 3.771926760783134*^9, 
   3.771927880091344*^9, 3.771927964152463*^9, 3.771928708926979*^9, 
   3.771928746150688*^9, 3.771928953245378*^9, 3.771929791949602*^9, 
   3.7719359433200207`*^9}],

Cell[BoxData[
 FormBox["\<\"by Hagen Eck, Sepp Kueblbeck, and Thomas Hahn\"\>", 
  TraditionalForm]], "Print",
 CellChangeTimes->{
  3.4694251861884937`*^9, 3.46942525048291*^9, 3.4694253928023663`*^9, 
   3.4694262224307613`*^9, 3.4694293074798937`*^9, 3.4704679734316483`*^9, 
   3.470554017171026*^9, 3.471787310145707*^9, 3.471843570923472*^9, 
   3.471889875007038*^9, 3.471932648614088*^9, 3.474205385985757*^9, 
   3.474205474034548*^9, 3.4742065018638287`*^9, 3.474226836866564*^9, 
   3.474227343495064*^9, 3.474227637753183*^9, 3.47426724631528*^9, 
   3.4742688410638847`*^9, 3.474269292738246*^9, {3.474275654406329*^9, 
   3.474275660878536*^9}, 3.476524558159354*^9, 3.4765255563020782`*^9, 
   3.4765261246070013`*^9, 3.4765262570272703`*^9, 3.476526670159315*^9, 
   3.477042174579343*^9, 3.47704374095496*^9, 3.47704397296382*^9, 
   3.4770539255691347`*^9, 3.4771160897445593`*^9, 3.478349904469028*^9, 
   3.478350322237076*^9, 3.478351433675058*^9, 3.478438153841505*^9, 
   3.478501292525576*^9, 3.478511316013483*^9, 3.478585746281231*^9, 
   3.478852953455761*^9, 3.478948056241074*^9, 3.479315482412784*^9, 
   3.479632370540419*^9, 3.479648678689251*^9, 3.4801579982990723`*^9, 
   3.480158523331975*^9, 3.480160374722625*^9, 3.4801610749303627`*^9, 
   3.480229321038115*^9, 3.480230507090887*^9, 3.480684596411744*^9, 
   3.480704796252644*^9, 3.4807417914334707`*^9, 3.480769264342969*^9, 
   3.6884819011975927`*^9, 3.68870970544029*^9, 3.688709867109314*^9, 
   3.688710398048534*^9, 3.6887113950495577`*^9, 3.688711999740789*^9, 
   3.688712764575193*^9, 3.688712794639246*^9, 3.6887128461094847`*^9, 
   3.688713332860466*^9, 3.688714067991646*^9, 3.688715866533629*^9, 
   3.688723016927054*^9, 3.688723712623796*^9, {3.688724207879738*^9, 
   3.6887242135318403`*^9}, 3.688724425286001*^9, 3.688724870287166*^9, 
   3.688735782271896*^9, 3.68873745211733*^9, 3.688740762057465*^9, {
   3.688813181130847*^9, 3.688813208725807*^9}, 3.688826358917198*^9, 
   3.688826567415762*^9, 3.688828164849017*^9, 3.688829642670573*^9, 
   3.6888821315853777`*^9, 3.6888821627112303`*^9, 3.688883186362775*^9, 
   3.688883262960087*^9, 3.690715905265501*^9, 3.690716025172164*^9, 
   3.690716126914117*^9, 3.690716324064683*^9, 3.690716361538434*^9, 
   3.6926864378494043`*^9, 3.692699577736752*^9, 3.693035117823669*^9, 
   3.693035426932886*^9, 3.693035467046278*^9, 3.6930361639052362`*^9, 
   3.693206645824869*^9, 3.693207124116638*^9, 3.693207350312295*^9, {
   3.693207423756991*^9, 3.6932074353504543`*^9}, 3.693207513468453*^9, 
   3.693207612328987*^9, 3.693207695059022*^9, 3.693220705806369*^9, 
   3.693220764673627*^9, 3.6932208881815443`*^9, 3.6932209789489822`*^9, 
   3.693221085588324*^9, 3.6932212128791437`*^9, 3.693221972148885*^9, 
   3.693222144388233*^9, 3.693222211902318*^9, 3.693222293052923*^9, 
   3.693222397177462*^9, 3.6932224790617027`*^9, 3.693224266208247*^9, 
   3.6932263888736067`*^9, 3.693226441658208*^9, 3.693226567610416*^9, 
   3.693226641330653*^9, 3.693226772709549*^9, 3.693226855158998*^9, {
   3.693226949797533*^9, 3.693226957100031*^9}, 3.693227133124083*^9, 
   3.693227430190007*^9, 3.6932279027429123`*^9, 3.6932281884247437`*^9, 
   3.6932308861512613`*^9, 3.693304640926361*^9, 3.693315186002087*^9, 
   3.693553908855451*^9, 3.693574454555346*^9, 3.693576157990499*^9, 
   3.6935762826818533`*^9, 3.693576367231127*^9, 3.693579070958037*^9, 
   3.693657313124878*^9, 3.6936604451367207`*^9, 3.696658349959962*^9, 
   3.6966605674890738`*^9, 3.696661162586257*^9, {3.696661572701627*^9, 
   3.6966615806166573`*^9}, 3.696661974500621*^9, 3.771926760783134*^9, 
   3.771927880091344*^9, 3.771927964152463*^9, 3.771928708926979*^9, 
   3.771928746150688*^9, 3.771928953245378*^9, 3.771929791949602*^9, 
   3.7719359433213463`*^9}],

Cell[BoxData[
 FormBox["\<\"\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{
  3.4694251861884937`*^9, 3.46942525048291*^9, 3.4694253928023663`*^9, 
   3.4694262224307613`*^9, 3.4694293074798937`*^9, 3.4704679734316483`*^9, 
   3.470554017171026*^9, 3.471787310145707*^9, 3.471843570923472*^9, 
   3.471889875007038*^9, 3.471932648614088*^9, 3.474205385985757*^9, 
   3.474205474034548*^9, 3.4742065018638287`*^9, 3.474226836866564*^9, 
   3.474227343495064*^9, 3.474227637753183*^9, 3.47426724631528*^9, 
   3.4742688410638847`*^9, 3.474269292738246*^9, {3.474275654406329*^9, 
   3.474275660878536*^9}, 3.476524558159354*^9, 3.4765255563020782`*^9, 
   3.4765261246070013`*^9, 3.4765262570272703`*^9, 3.476526670159315*^9, 
   3.477042174579343*^9, 3.47704374095496*^9, 3.47704397296382*^9, 
   3.4770539255691347`*^9, 3.4771160897445593`*^9, 3.478349904469028*^9, 
   3.478350322237076*^9, 3.478351433675058*^9, 3.478438153841505*^9, 
   3.478501292525576*^9, 3.478511316013483*^9, 3.478585746281231*^9, 
   3.478852953455761*^9, 3.478948056241074*^9, 3.479315482412784*^9, 
   3.479632370540419*^9, 3.479648678689251*^9, 3.4801579982990723`*^9, 
   3.480158523331975*^9, 3.480160374722625*^9, 3.4801610749303627`*^9, 
   3.480229321038115*^9, 3.480230507090887*^9, 3.480684596411744*^9, 
   3.480704796252644*^9, 3.4807417914334707`*^9, 3.480769264342969*^9, 
   3.6884819011975927`*^9, 3.68870970544029*^9, 3.688709867109314*^9, 
   3.688710398048534*^9, 3.6887113950495577`*^9, 3.688711999740789*^9, 
   3.688712764575193*^9, 3.688712794639246*^9, 3.6887128461094847`*^9, 
   3.688713332860466*^9, 3.688714067991646*^9, 3.688715866533629*^9, 
   3.688723016927054*^9, 3.688723712623796*^9, {3.688724207879738*^9, 
   3.6887242135318403`*^9}, 3.688724425286001*^9, 3.688724870287166*^9, 
   3.688735782271896*^9, 3.68873745211733*^9, 3.688740762057465*^9, {
   3.688813181130847*^9, 3.688813208725807*^9}, 3.688826358917198*^9, 
   3.688826567415762*^9, 3.688828164849017*^9, 3.688829642670573*^9, 
   3.6888821315853777`*^9, 3.6888821627112303`*^9, 3.688883186362775*^9, 
   3.688883262960087*^9, 3.690715905265501*^9, 3.690716025172164*^9, 
   3.690716126914117*^9, 3.690716324064683*^9, 3.690716361538434*^9, 
   3.6926864378494043`*^9, 3.692699577736752*^9, 3.693035117823669*^9, 
   3.693035426932886*^9, 3.693035467046278*^9, 3.6930361639052362`*^9, 
   3.693206645824869*^9, 3.693207124116638*^9, 3.693207350312295*^9, {
   3.693207423756991*^9, 3.6932074353504543`*^9}, 3.693207513468453*^9, 
   3.693207612328987*^9, 3.693207695059022*^9, 3.693220705806369*^9, 
   3.693220764673627*^9, 3.6932208881815443`*^9, 3.6932209789489822`*^9, 
   3.693221085588324*^9, 3.6932212128791437`*^9, 3.693221972148885*^9, 
   3.693222144388233*^9, 3.693222211902318*^9, 3.693222293052923*^9, 
   3.693222397177462*^9, 3.6932224790617027`*^9, 3.693224266208247*^9, 
   3.6932263888736067`*^9, 3.693226441658208*^9, 3.693226567610416*^9, 
   3.693226641330653*^9, 3.693226772709549*^9, 3.693226855158998*^9, {
   3.693226949797533*^9, 3.693226957100031*^9}, 3.693227133124083*^9, 
   3.693227430190007*^9, 3.6932279027429123`*^9, 3.6932281884247437`*^9, 
   3.6932308861512613`*^9, 3.693304640926361*^9, 3.693315186002087*^9, 
   3.693553908855451*^9, 3.693574454555346*^9, 3.693576157990499*^9, 
   3.6935762826818533`*^9, 3.693576367231127*^9, 3.693579070958037*^9, 
   3.693657313124878*^9, 3.6936604451367207`*^9, 3.696658349959962*^9, 
   3.6966605674890738`*^9, 3.696661162586257*^9, {3.696661572701627*^9, 
   3.6966615806166573`*^9}, 3.696661974500621*^9, 3.771926760783134*^9, 
   3.771927880091344*^9, 3.771927964152463*^9, 3.771928708926979*^9, 
   3.771928746150688*^9, 3.771928953245378*^9, 3.771929791949602*^9, 
   3.7719359433861628`*^9}],

Cell[BoxData[
 FormBox["\<\"FormCalc 9.4 (7 Jun 2016)\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{
  3.4694251861884937`*^9, 3.46942525048291*^9, 3.4694253928023663`*^9, 
   3.4694262224307613`*^9, 3.4694293074798937`*^9, 3.4704679734316483`*^9, 
   3.470554017171026*^9, 3.471787310145707*^9, 3.471843570923472*^9, 
   3.471889875007038*^9, 3.471932648614088*^9, 3.474205385985757*^9, 
   3.474205474034548*^9, 3.4742065018638287`*^9, 3.474226836866564*^9, 
   3.474227343495064*^9, 3.474227637753183*^9, 3.47426724631528*^9, 
   3.4742688410638847`*^9, 3.474269292738246*^9, {3.474275654406329*^9, 
   3.474275660878536*^9}, 3.476524558159354*^9, 3.4765255563020782`*^9, 
   3.4765261246070013`*^9, 3.4765262570272703`*^9, 3.476526670159315*^9, 
   3.477042174579343*^9, 3.47704374095496*^9, 3.47704397296382*^9, 
   3.4770539255691347`*^9, 3.4771160897445593`*^9, 3.478349904469028*^9, 
   3.478350322237076*^9, 3.478351433675058*^9, 3.478438153841505*^9, 
   3.478501292525576*^9, 3.478511316013483*^9, 3.478585746281231*^9, 
   3.478852953455761*^9, 3.478948056241074*^9, 3.479315482412784*^9, 
   3.479632370540419*^9, 3.479648678689251*^9, 3.4801579982990723`*^9, 
   3.480158523331975*^9, 3.480160374722625*^9, 3.4801610749303627`*^9, 
   3.480229321038115*^9, 3.480230507090887*^9, 3.480684596411744*^9, 
   3.480704796252644*^9, 3.4807417914334707`*^9, 3.480769264342969*^9, 
   3.6884819011975927`*^9, 3.68870970544029*^9, 3.688709867109314*^9, 
   3.688710398048534*^9, 3.6887113950495577`*^9, 3.688711999740789*^9, 
   3.688712764575193*^9, 3.688712794639246*^9, 3.6887128461094847`*^9, 
   3.688713332860466*^9, 3.688714067991646*^9, 3.688715866533629*^9, 
   3.688723016927054*^9, 3.688723712623796*^9, {3.688724207879738*^9, 
   3.6887242135318403`*^9}, 3.688724425286001*^9, 3.688724870287166*^9, 
   3.688735782271896*^9, 3.68873745211733*^9, 3.688740762057465*^9, {
   3.688813181130847*^9, 3.688813208725807*^9}, 3.688826358917198*^9, 
   3.688826567415762*^9, 3.688828164849017*^9, 3.688829642670573*^9, 
   3.6888821315853777`*^9, 3.6888821627112303`*^9, 3.688883186362775*^9, 
   3.688883262960087*^9, 3.690715905265501*^9, 3.690716025172164*^9, 
   3.690716126914117*^9, 3.690716324064683*^9, 3.690716361538434*^9, 
   3.6926864378494043`*^9, 3.692699577736752*^9, 3.693035117823669*^9, 
   3.693035426932886*^9, 3.693035467046278*^9, 3.6930361639052362`*^9, 
   3.693206645824869*^9, 3.693207124116638*^9, 3.693207350312295*^9, {
   3.693207423756991*^9, 3.6932074353504543`*^9}, 3.693207513468453*^9, 
   3.693207612328987*^9, 3.693207695059022*^9, 3.693220705806369*^9, 
   3.693220764673627*^9, 3.6932208881815443`*^9, 3.6932209789489822`*^9, 
   3.693221085588324*^9, 3.6932212128791437`*^9, 3.693221972148885*^9, 
   3.693222144388233*^9, 3.693222211902318*^9, 3.693222293052923*^9, 
   3.693222397177462*^9, 3.6932224790617027`*^9, 3.693224266208247*^9, 
   3.6932263888736067`*^9, 3.693226441658208*^9, 3.693226567610416*^9, 
   3.693226641330653*^9, 3.693226772709549*^9, 3.693226855158998*^9, {
   3.693226949797533*^9, 3.693226957100031*^9}, 3.693227133124083*^9, 
   3.693227430190007*^9, 3.6932279027429123`*^9, 3.6932281884247437`*^9, 
   3.6932308861512613`*^9, 3.693304640926361*^9, 3.693315186002087*^9, 
   3.693553908855451*^9, 3.693574454555346*^9, 3.693576157990499*^9, 
   3.6935762826818533`*^9, 3.693576367231127*^9, 3.693579070958037*^9, 
   3.693657313124878*^9, 3.6936604451367207`*^9, 3.696658349959962*^9, 
   3.6966605674890738`*^9, 3.696661162586257*^9, {3.696661572701627*^9, 
   3.6966615806166573`*^9}, 3.696661974500621*^9, 3.771926760783134*^9, 
   3.771927880091344*^9, 3.771927964152463*^9, 3.771928708926979*^9, 
   3.771928746150688*^9, 3.771928953245378*^9, 3.771929791949602*^9, 
   3.771935943391712*^9}],

Cell[BoxData[
 FormBox["\<\"by Thomas Hahn\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{
  3.4694251861884937`*^9, 3.46942525048291*^9, 3.4694253928023663`*^9, 
   3.4694262224307613`*^9, 3.4694293074798937`*^9, 3.4704679734316483`*^9, 
   3.470554017171026*^9, 3.471787310145707*^9, 3.471843570923472*^9, 
   3.471889875007038*^9, 3.471932648614088*^9, 3.474205385985757*^9, 
   3.474205474034548*^9, 3.4742065018638287`*^9, 3.474226836866564*^9, 
   3.474227343495064*^9, 3.474227637753183*^9, 3.47426724631528*^9, 
   3.4742688410638847`*^9, 3.474269292738246*^9, {3.474275654406329*^9, 
   3.474275660878536*^9}, 3.476524558159354*^9, 3.4765255563020782`*^9, 
   3.4765261246070013`*^9, 3.4765262570272703`*^9, 3.476526670159315*^9, 
   3.477042174579343*^9, 3.47704374095496*^9, 3.47704397296382*^9, 
   3.4770539255691347`*^9, 3.4771160897445593`*^9, 3.478349904469028*^9, 
   3.478350322237076*^9, 3.478351433675058*^9, 3.478438153841505*^9, 
   3.478501292525576*^9, 3.478511316013483*^9, 3.478585746281231*^9, 
   3.478852953455761*^9, 3.478948056241074*^9, 3.479315482412784*^9, 
   3.479632370540419*^9, 3.479648678689251*^9, 3.4801579982990723`*^9, 
   3.480158523331975*^9, 3.480160374722625*^9, 3.4801610749303627`*^9, 
   3.480229321038115*^9, 3.480230507090887*^9, 3.480684596411744*^9, 
   3.480704796252644*^9, 3.4807417914334707`*^9, 3.480769264342969*^9, 
   3.6884819011975927`*^9, 3.68870970544029*^9, 3.688709867109314*^9, 
   3.688710398048534*^9, 3.6887113950495577`*^9, 3.688711999740789*^9, 
   3.688712764575193*^9, 3.688712794639246*^9, 3.6887128461094847`*^9, 
   3.688713332860466*^9, 3.688714067991646*^9, 3.688715866533629*^9, 
   3.688723016927054*^9, 3.688723712623796*^9, {3.688724207879738*^9, 
   3.6887242135318403`*^9}, 3.688724425286001*^9, 3.688724870287166*^9, 
   3.688735782271896*^9, 3.68873745211733*^9, 3.688740762057465*^9, {
   3.688813181130847*^9, 3.688813208725807*^9}, 3.688826358917198*^9, 
   3.688826567415762*^9, 3.688828164849017*^9, 3.688829642670573*^9, 
   3.6888821315853777`*^9, 3.6888821627112303`*^9, 3.688883186362775*^9, 
   3.688883262960087*^9, 3.690715905265501*^9, 3.690716025172164*^9, 
   3.690716126914117*^9, 3.690716324064683*^9, 3.690716361538434*^9, 
   3.6926864378494043`*^9, 3.692699577736752*^9, 3.693035117823669*^9, 
   3.693035426932886*^9, 3.693035467046278*^9, 3.6930361639052362`*^9, 
   3.693206645824869*^9, 3.693207124116638*^9, 3.693207350312295*^9, {
   3.693207423756991*^9, 3.6932074353504543`*^9}, 3.693207513468453*^9, 
   3.693207612328987*^9, 3.693207695059022*^9, 3.693220705806369*^9, 
   3.693220764673627*^9, 3.6932208881815443`*^9, 3.6932209789489822`*^9, 
   3.693221085588324*^9, 3.6932212128791437`*^9, 3.693221972148885*^9, 
   3.693222144388233*^9, 3.693222211902318*^9, 3.693222293052923*^9, 
   3.693222397177462*^9, 3.6932224790617027`*^9, 3.693224266208247*^9, 
   3.6932263888736067`*^9, 3.693226441658208*^9, 3.693226567610416*^9, 
   3.693226641330653*^9, 3.693226772709549*^9, 3.693226855158998*^9, {
   3.693226949797533*^9, 3.693226957100031*^9}, 3.693227133124083*^9, 
   3.693227430190007*^9, 3.6932279027429123`*^9, 3.6932281884247437`*^9, 
   3.6932308861512613`*^9, 3.693304640926361*^9, 3.693315186002087*^9, 
   3.693553908855451*^9, 3.693574454555346*^9, 3.693576157990499*^9, 
   3.6935762826818533`*^9, 3.693576367231127*^9, 3.693579070958037*^9, 
   3.693657313124878*^9, 3.6936604451367207`*^9, 3.696658349959962*^9, 
   3.6966605674890738`*^9, 3.696661162586257*^9, {3.696661572701627*^9, 
   3.6966615806166573`*^9}, 3.696661974500621*^9, 3.771926760783134*^9, 
   3.771927880091344*^9, 3.771927964152463*^9, 3.771928708926979*^9, 
   3.771928746150688*^9, 3.771928953245378*^9, 3.771929791949602*^9, 
   3.771935943397258*^9}]
}, Open  ]]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"top", " ", "=", " ", 
   RowBox[{"CreateTopologies", "[", 
    RowBox[{"0", ",", 
     RowBox[{"1", "\[Rule]", "3"}], ",", 
     RowBox[{"ExcludeTopologies", "\[Rule]", 
      RowBox[{"{", 
       RowBox[{"SelfEnergies", ",", "Tadpoles"}], "}"}]}]}], "]"}]}], 
  ";"}]], "Input",
 CellChangeTimes->{{3.465630634200892*^9, 3.465630636825317*^9}, {
  3.465630694227933*^9, 3.465630696268264*^9}, {3.465631138189308*^9, 
  3.465631172776752*^9}, {3.476524565457698*^9, 3.476524585341814*^9}, {
  3.696658352361063*^9, 3.6966583536338377`*^9}, {3.6966584558815193`*^9, 
  3.696658483058567*^9}, {3.6966591366577806`*^9, 3.696659136728117*^9}, {
  3.6966612098092003`*^9, 3.696661211928232*^9}, {3.771926764873477*^9, 
  3.77192676502971*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Paint", "[", "top", "]"}], ";"}]], "Input"],

Cell[CellGroupData[{

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> Top. \"\>", "\[InvisibleSpace]", "1", 
    "\[InvisibleSpace]", "\<\": \"\>", 
    "\[InvisibleSpace]", "\<\"1 diagram\"\>"}],
   SequenceForm["> Top. ", 1, ": ", "1 diagram"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{
  3.469425187947699*^9, 3.469425254041893*^9, 3.469425394453228*^9, 
   3.469426223466735*^9, 3.4694293092163363`*^9, 3.4704679748093863`*^9, 
   3.470554018508716*^9, 3.471787311449532*^9, 3.471843573098843*^9, 
   3.471889876944047*^9, 3.471932649754167*^9, 3.474205390159449*^9, 
   3.474205476959947*^9, 3.474206505764617*^9, 3.474226839413107*^9, 
   3.4742273456294727`*^9, 3.474227661405006*^9, 3.474267247941955*^9, 
   3.474268842281012*^9, 3.474269295648732*^9, {3.476524570843111*^9, 
   3.476524590929769*^9}, 3.4765255594378653`*^9, 3.4765261532616577`*^9, 
   3.476526262470573*^9, 3.476526674588826*^9, 3.477042180242284*^9, 
   3.477043744712656*^9, 3.4770439785690804`*^9, 3.477053928270686*^9, 
   3.477116094450193*^9, 3.478349908576249*^9, 3.4783503260793667`*^9, 
   3.478351438166113*^9, 3.4784381582243853`*^9, 3.4785012968767357`*^9, 
   3.4785113201271343`*^9, {3.478585751314348*^9, 3.478585752559856*^9}, 
   3.4788529577586727`*^9, {3.479315484613248*^9, 3.4793154858480062`*^9}, 
   3.479632375387108*^9, 3.4796486828240547`*^9, 3.480158004179656*^9, 
   3.480158528991708*^9, 3.480160379475453*^9, 3.480161078916194*^9, 
   3.480229327759658*^9, 3.4806846013777323`*^9, 3.480704799941614*^9, 
   3.480741795120961*^9, 3.480769270110368*^9, 3.688481904326342*^9, 
   3.6887097067348022`*^9, 3.688709869678186*^9, 3.688710399090939*^9, 
   3.688711396376088*^9, 3.688712000443425*^9, 3.6887127649640493`*^9, 
   3.688712797346468*^9, 3.688714071304811*^9, 3.688715870134624*^9, 
   3.688723017386958*^9, 3.688723713291445*^9, 3.6887242153053627`*^9, 
   3.688724426070562*^9, 3.688724870926621*^9, 3.688735782438353*^9, 
   3.688737453152657*^9, 3.688740762558401*^9, {3.6888131814627132`*^9, 
   3.6888132091674843`*^9}, 3.6888263594071302`*^9, 3.688826567787903*^9, 
   3.68882816511078*^9, 3.6888296428611603`*^9, 3.6888821320618668`*^9, 
   3.6888821631149397`*^9, 3.688883188323297*^9, 3.688883263159018*^9, 
   3.6907159056852427`*^9, 3.690716025608626*^9, 3.690716127518062*^9, 
   3.690716324627325*^9, 3.6907163619791327`*^9, 3.6926864382406282`*^9, 
   3.6926995779692287`*^9, 3.693035118179702*^9, 3.693035427355739*^9, 
   3.693035467538746*^9, 3.693036164051416*^9, 3.693206646624275*^9, 
   3.693207124296706*^9, 3.6932073505519543`*^9, {3.693207423865137*^9, 
   3.693207435547916*^9}, 3.693207513637548*^9, 3.693207612612939*^9, 
   3.6932076952846613`*^9, 3.6932207060994377`*^9, 3.6932207649705343`*^9, 
   3.693220888366168*^9, 3.693220979134111*^9, 3.693221085817748*^9, 
   3.693221213109956*^9, 3.6932219724072733`*^9, 3.693222144642557*^9, 
   3.693222212087405*^9, 3.693222293335902*^9, 3.69322239741398*^9, 
   3.693222479321089*^9, 3.693224266459041*^9, 3.6932263891529303`*^9, 
   3.6932264418444653`*^9, 3.693226568041925*^9, 3.693226641578594*^9, 
   3.693226772875429*^9, 3.693226855401279*^9, {3.693226949905933*^9, 
   3.693226957372799*^9}, 3.693227133387227*^9, 3.693227430442985*^9, 
   3.6932279029990387`*^9, 3.6932281886703*^9, 3.693230886525552*^9, 
   3.693304641182609*^9, 3.693315186219695*^9, 3.693553909250269*^9, 
   3.69357445583676*^9, 3.6935761581689157`*^9, 3.693576282896072*^9, 
   3.693576367481554*^9, 3.693579071189212*^9, 3.6936573149552107`*^9, 
   3.693660445667622*^9, 3.696658354761827*^9, {3.6966584751854267`*^9, 
   3.696658484177767*^9}, 3.69665913900077*^9, 3.696660570083193*^9, 
   3.696661166836475*^9, 3.696661213248571*^9, 3.6966615813215923`*^9, 
   3.696661976630547*^9, 3.771926768959063*^9, 3.771927964458158*^9, 
   3.7719287092184877`*^9, 3.7719287464246817`*^9, 3.771928953609003*^9, 
   3.771929792224058*^9, 3.7719359438311167`*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> Top. \"\>", "\[InvisibleSpace]", "2", 
    "\[InvisibleSpace]", "\<\": \"\>", 
    "\[InvisibleSpace]", "\<\"1 diagram\"\>"}],
   SequenceForm["> Top. ", 2, ": ", "1 diagram"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{
  3.469425187947699*^9, 3.469425254041893*^9, 3.469425394453228*^9, 
   3.469426223466735*^9, 3.4694293092163363`*^9, 3.4704679748093863`*^9, 
   3.470554018508716*^9, 3.471787311449532*^9, 3.471843573098843*^9, 
   3.471889876944047*^9, 3.471932649754167*^9, 3.474205390159449*^9, 
   3.474205476959947*^9, 3.474206505764617*^9, 3.474226839413107*^9, 
   3.4742273456294727`*^9, 3.474227661405006*^9, 3.474267247941955*^9, 
   3.474268842281012*^9, 3.474269295648732*^9, {3.476524570843111*^9, 
   3.476524590929769*^9}, 3.4765255594378653`*^9, 3.4765261532616577`*^9, 
   3.476526262470573*^9, 3.476526674588826*^9, 3.477042180242284*^9, 
   3.477043744712656*^9, 3.4770439785690804`*^9, 3.477053928270686*^9, 
   3.477116094450193*^9, 3.478349908576249*^9, 3.4783503260793667`*^9, 
   3.478351438166113*^9, 3.4784381582243853`*^9, 3.4785012968767357`*^9, 
   3.4785113201271343`*^9, {3.478585751314348*^9, 3.478585752559856*^9}, 
   3.4788529577586727`*^9, {3.479315484613248*^9, 3.4793154858480062`*^9}, 
   3.479632375387108*^9, 3.4796486828240547`*^9, 3.480158004179656*^9, 
   3.480158528991708*^9, 3.480160379475453*^9, 3.480161078916194*^9, 
   3.480229327759658*^9, 3.4806846013777323`*^9, 3.480704799941614*^9, 
   3.480741795120961*^9, 3.480769270110368*^9, 3.688481904326342*^9, 
   3.6887097067348022`*^9, 3.688709869678186*^9, 3.688710399090939*^9, 
   3.688711396376088*^9, 3.688712000443425*^9, 3.6887127649640493`*^9, 
   3.688712797346468*^9, 3.688714071304811*^9, 3.688715870134624*^9, 
   3.688723017386958*^9, 3.688723713291445*^9, 3.6887242153053627`*^9, 
   3.688724426070562*^9, 3.688724870926621*^9, 3.688735782438353*^9, 
   3.688737453152657*^9, 3.688740762558401*^9, {3.6888131814627132`*^9, 
   3.6888132091674843`*^9}, 3.6888263594071302`*^9, 3.688826567787903*^9, 
   3.68882816511078*^9, 3.6888296428611603`*^9, 3.6888821320618668`*^9, 
   3.6888821631149397`*^9, 3.688883188323297*^9, 3.688883263159018*^9, 
   3.6907159056852427`*^9, 3.690716025608626*^9, 3.690716127518062*^9, 
   3.690716324627325*^9, 3.6907163619791327`*^9, 3.6926864382406282`*^9, 
   3.6926995779692287`*^9, 3.693035118179702*^9, 3.693035427355739*^9, 
   3.693035467538746*^9, 3.693036164051416*^9, 3.693206646624275*^9, 
   3.693207124296706*^9, 3.6932073505519543`*^9, {3.693207423865137*^9, 
   3.693207435547916*^9}, 3.693207513637548*^9, 3.693207612612939*^9, 
   3.6932076952846613`*^9, 3.6932207060994377`*^9, 3.6932207649705343`*^9, 
   3.693220888366168*^9, 3.693220979134111*^9, 3.693221085817748*^9, 
   3.693221213109956*^9, 3.6932219724072733`*^9, 3.693222144642557*^9, 
   3.693222212087405*^9, 3.693222293335902*^9, 3.69322239741398*^9, 
   3.693222479321089*^9, 3.693224266459041*^9, 3.6932263891529303`*^9, 
   3.6932264418444653`*^9, 3.693226568041925*^9, 3.693226641578594*^9, 
   3.693226772875429*^9, 3.693226855401279*^9, {3.693226949905933*^9, 
   3.693226957372799*^9}, 3.693227133387227*^9, 3.693227430442985*^9, 
   3.6932279029990387`*^9, 3.6932281886703*^9, 3.693230886525552*^9, 
   3.693304641182609*^9, 3.693315186219695*^9, 3.693553909250269*^9, 
   3.69357445583676*^9, 3.6935761581689157`*^9, 3.693576282896072*^9, 
   3.693576367481554*^9, 3.693579071189212*^9, 3.6936573149552107`*^9, 
   3.693660445667622*^9, 3.696658354761827*^9, {3.6966584751854267`*^9, 
   3.696658484177767*^9}, 3.69665913900077*^9, 3.696660570083193*^9, 
   3.696661166836475*^9, 3.696661213248571*^9, 3.6966615813215923`*^9, 
   3.696661976630547*^9, 3.771926768959063*^9, 3.771927964458158*^9, 
   3.7719287092184877`*^9, 3.7719287464246817`*^9, 3.771928953609003*^9, 
   3.771929792224058*^9, 3.771935943832163*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> Top. \"\>", "\[InvisibleSpace]", "3", 
    "\[InvisibleSpace]", "\<\": \"\>", 
    "\[InvisibleSpace]", "\<\"1 diagram\"\>"}],
   SequenceForm["> Top. ", 3, ": ", "1 diagram"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{
  3.469425187947699*^9, 3.469425254041893*^9, 3.469425394453228*^9, 
   3.469426223466735*^9, 3.4694293092163363`*^9, 3.4704679748093863`*^9, 
   3.470554018508716*^9, 3.471787311449532*^9, 3.471843573098843*^9, 
   3.471889876944047*^9, 3.471932649754167*^9, 3.474205390159449*^9, 
   3.474205476959947*^9, 3.474206505764617*^9, 3.474226839413107*^9, 
   3.4742273456294727`*^9, 3.474227661405006*^9, 3.474267247941955*^9, 
   3.474268842281012*^9, 3.474269295648732*^9, {3.476524570843111*^9, 
   3.476524590929769*^9}, 3.4765255594378653`*^9, 3.4765261532616577`*^9, 
   3.476526262470573*^9, 3.476526674588826*^9, 3.477042180242284*^9, 
   3.477043744712656*^9, 3.4770439785690804`*^9, 3.477053928270686*^9, 
   3.477116094450193*^9, 3.478349908576249*^9, 3.4783503260793667`*^9, 
   3.478351438166113*^9, 3.4784381582243853`*^9, 3.4785012968767357`*^9, 
   3.4785113201271343`*^9, {3.478585751314348*^9, 3.478585752559856*^9}, 
   3.4788529577586727`*^9, {3.479315484613248*^9, 3.4793154858480062`*^9}, 
   3.479632375387108*^9, 3.4796486828240547`*^9, 3.480158004179656*^9, 
   3.480158528991708*^9, 3.480160379475453*^9, 3.480161078916194*^9, 
   3.480229327759658*^9, 3.4806846013777323`*^9, 3.480704799941614*^9, 
   3.480741795120961*^9, 3.480769270110368*^9, 3.688481904326342*^9, 
   3.6887097067348022`*^9, 3.688709869678186*^9, 3.688710399090939*^9, 
   3.688711396376088*^9, 3.688712000443425*^9, 3.6887127649640493`*^9, 
   3.688712797346468*^9, 3.688714071304811*^9, 3.688715870134624*^9, 
   3.688723017386958*^9, 3.688723713291445*^9, 3.6887242153053627`*^9, 
   3.688724426070562*^9, 3.688724870926621*^9, 3.688735782438353*^9, 
   3.688737453152657*^9, 3.688740762558401*^9, {3.6888131814627132`*^9, 
   3.6888132091674843`*^9}, 3.6888263594071302`*^9, 3.688826567787903*^9, 
   3.68882816511078*^9, 3.6888296428611603`*^9, 3.6888821320618668`*^9, 
   3.6888821631149397`*^9, 3.688883188323297*^9, 3.688883263159018*^9, 
   3.6907159056852427`*^9, 3.690716025608626*^9, 3.690716127518062*^9, 
   3.690716324627325*^9, 3.6907163619791327`*^9, 3.6926864382406282`*^9, 
   3.6926995779692287`*^9, 3.693035118179702*^9, 3.693035427355739*^9, 
   3.693035467538746*^9, 3.693036164051416*^9, 3.693206646624275*^9, 
   3.693207124296706*^9, 3.6932073505519543`*^9, {3.693207423865137*^9, 
   3.693207435547916*^9}, 3.693207513637548*^9, 3.693207612612939*^9, 
   3.6932076952846613`*^9, 3.6932207060994377`*^9, 3.6932207649705343`*^9, 
   3.693220888366168*^9, 3.693220979134111*^9, 3.693221085817748*^9, 
   3.693221213109956*^9, 3.6932219724072733`*^9, 3.693222144642557*^9, 
   3.693222212087405*^9, 3.693222293335902*^9, 3.69322239741398*^9, 
   3.693222479321089*^9, 3.693224266459041*^9, 3.6932263891529303`*^9, 
   3.6932264418444653`*^9, 3.693226568041925*^9, 3.693226641578594*^9, 
   3.693226772875429*^9, 3.693226855401279*^9, {3.693226949905933*^9, 
   3.693226957372799*^9}, 3.693227133387227*^9, 3.693227430442985*^9, 
   3.6932279029990387`*^9, 3.6932281886703*^9, 3.693230886525552*^9, 
   3.693304641182609*^9, 3.693315186219695*^9, 3.693553909250269*^9, 
   3.69357445583676*^9, 3.6935761581689157`*^9, 3.693576282896072*^9, 
   3.693576367481554*^9, 3.693579071189212*^9, 3.6936573149552107`*^9, 
   3.693660445667622*^9, 3.696658354761827*^9, {3.6966584751854267`*^9, 
   3.696658484177767*^9}, 3.69665913900077*^9, 3.696660570083193*^9, 
   3.696661166836475*^9, 3.696661213248571*^9, 3.6966615813215923`*^9, 
   3.696661976630547*^9, 3.771926768959063*^9, 3.771927964458158*^9, 
   3.7719287092184877`*^9, 3.7719287464246817`*^9, 3.771928953609003*^9, 
   3.771929792224058*^9, 3.771935943833606*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> Top. \"\>", "\[InvisibleSpace]", "4", 
    "\[InvisibleSpace]", "\<\": \"\>", 
    "\[InvisibleSpace]", "\<\"1 diagram\"\>"}],
   SequenceForm["> Top. ", 4, ": ", "1 diagram"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{
  3.469425187947699*^9, 3.469425254041893*^9, 3.469425394453228*^9, 
   3.469426223466735*^9, 3.4694293092163363`*^9, 3.4704679748093863`*^9, 
   3.470554018508716*^9, 3.471787311449532*^9, 3.471843573098843*^9, 
   3.471889876944047*^9, 3.471932649754167*^9, 3.474205390159449*^9, 
   3.474205476959947*^9, 3.474206505764617*^9, 3.474226839413107*^9, 
   3.4742273456294727`*^9, 3.474227661405006*^9, 3.474267247941955*^9, 
   3.474268842281012*^9, 3.474269295648732*^9, {3.476524570843111*^9, 
   3.476524590929769*^9}, 3.4765255594378653`*^9, 3.4765261532616577`*^9, 
   3.476526262470573*^9, 3.476526674588826*^9, 3.477042180242284*^9, 
   3.477043744712656*^9, 3.4770439785690804`*^9, 3.477053928270686*^9, 
   3.477116094450193*^9, 3.478349908576249*^9, 3.4783503260793667`*^9, 
   3.478351438166113*^9, 3.4784381582243853`*^9, 3.4785012968767357`*^9, 
   3.4785113201271343`*^9, {3.478585751314348*^9, 3.478585752559856*^9}, 
   3.4788529577586727`*^9, {3.479315484613248*^9, 3.4793154858480062`*^9}, 
   3.479632375387108*^9, 3.4796486828240547`*^9, 3.480158004179656*^9, 
   3.480158528991708*^9, 3.480160379475453*^9, 3.480161078916194*^9, 
   3.480229327759658*^9, 3.4806846013777323`*^9, 3.480704799941614*^9, 
   3.480741795120961*^9, 3.480769270110368*^9, 3.688481904326342*^9, 
   3.6887097067348022`*^9, 3.688709869678186*^9, 3.688710399090939*^9, 
   3.688711396376088*^9, 3.688712000443425*^9, 3.6887127649640493`*^9, 
   3.688712797346468*^9, 3.688714071304811*^9, 3.688715870134624*^9, 
   3.688723017386958*^9, 3.688723713291445*^9, 3.6887242153053627`*^9, 
   3.688724426070562*^9, 3.688724870926621*^9, 3.688735782438353*^9, 
   3.688737453152657*^9, 3.688740762558401*^9, {3.6888131814627132`*^9, 
   3.6888132091674843`*^9}, 3.6888263594071302`*^9, 3.688826567787903*^9, 
   3.68882816511078*^9, 3.6888296428611603`*^9, 3.6888821320618668`*^9, 
   3.6888821631149397`*^9, 3.688883188323297*^9, 3.688883263159018*^9, 
   3.6907159056852427`*^9, 3.690716025608626*^9, 3.690716127518062*^9, 
   3.690716324627325*^9, 3.6907163619791327`*^9, 3.6926864382406282`*^9, 
   3.6926995779692287`*^9, 3.693035118179702*^9, 3.693035427355739*^9, 
   3.693035467538746*^9, 3.693036164051416*^9, 3.693206646624275*^9, 
   3.693207124296706*^9, 3.6932073505519543`*^9, {3.693207423865137*^9, 
   3.693207435547916*^9}, 3.693207513637548*^9, 3.693207612612939*^9, 
   3.6932076952846613`*^9, 3.6932207060994377`*^9, 3.6932207649705343`*^9, 
   3.693220888366168*^9, 3.693220979134111*^9, 3.693221085817748*^9, 
   3.693221213109956*^9, 3.6932219724072733`*^9, 3.693222144642557*^9, 
   3.693222212087405*^9, 3.693222293335902*^9, 3.69322239741398*^9, 
   3.693222479321089*^9, 3.693224266459041*^9, 3.6932263891529303`*^9, 
   3.6932264418444653`*^9, 3.693226568041925*^9, 3.693226641578594*^9, 
   3.693226772875429*^9, 3.693226855401279*^9, {3.693226949905933*^9, 
   3.693226957372799*^9}, 3.693227133387227*^9, 3.693227430442985*^9, 
   3.6932279029990387`*^9, 3.6932281886703*^9, 3.693230886525552*^9, 
   3.693304641182609*^9, 3.693315186219695*^9, 3.693553909250269*^9, 
   3.69357445583676*^9, 3.6935761581689157`*^9, 3.693576282896072*^9, 
   3.693576367481554*^9, 3.693579071189212*^9, 3.6936573149552107`*^9, 
   3.693660445667622*^9, 3.696658354761827*^9, {3.6966584751854267`*^9, 
   3.696658484177767*^9}, 3.69665913900077*^9, 3.696660570083193*^9, 
   3.696661166836475*^9, 3.696661213248571*^9, 3.6966615813215923`*^9, 
   3.696661976630547*^9, 3.771926768959063*^9, 3.771927964458158*^9, 
   3.7719287092184877`*^9, 3.7719287464246817`*^9, 3.771928953609003*^9, 
   3.771929792224058*^9, 3.771935943834742*^9}],

Cell[BoxData[
 FormBox[
  GraphicsBox[{InsetBox[
     GraphicsBox[
      {Thickness[0.005], 
       LineBox[{{-3.6859404417555197`*^-13, 10.}, {11.000000000008335`, 
        10.}}], LineBox[{{20.000000000005457`, 17.000000000003638`}, {
        11.000000000007276`, 10.000000000005457`}}], 
       LineBox[{{19.99999999999927, 10.}, {11.00000000000073, 10.}}], 
       LineBox[{{20., 2.999999999998181}, {11., 9.999999999998181}}], 
       {PointSize[0.04], PointBox[{11., 10.}]}, InsetBox[
        TagBox[
         StyleBox[
          TagBox["T1",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->7.997355371900827],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          7.997355371900827]& ], {10., -0.5}, 
        ImageScaled[{Rational[1, 2], 0}]]},
      AspectRatio->1,
      PlotRange->{{-1, 21}, {-1, 21}}], {0, 44}, {0, 0}, {22, 22}], InsetBox[
     GraphicsBox[
      {Thickness[0.005], 
       LineBox[{{-1.0913936421275139`*^-11, 9.999999999996362}, {
        8.999999999983629, 11.999999999996362`}}], 
       LineBox[{{20.000000000009095`, 17.000000000003638`}, {
        9.000000000009095, 12.000000000007276`}}], 
       LineBox[{{19.999999999996362`, 10.}, {13.499999999996362`, 
        6.499999999996362}}], LineBox[{{20., 3.}, {13.5, 6.5}}], 
       LineBox[{{8.999999999998181, 12.000000000005457`}, {
        13.499999999996362`, 6.500000000005457}}], 
       {PointSize[0.04], PointBox[{9., 12.}], PointBox[{13.5, 6.5}]}, InsetBox[
        TagBox[
         StyleBox[
          TagBox["T2",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->7.997355371900827],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          7.997355371900827]& ], {10., -0.5}, 
        ImageScaled[{Rational[1, 2], 0}]]},
      AspectRatio->1,
      PlotRange->{{-1, 21}, {-1, 21}}], {22, 44}, {0, 0}, {22, 22}], 
    InsetBox[
     GraphicsBox[
      {Thickness[0.005], 
       LineBox[{{-1.0913936421275139`*^-11, 10.000000000003638`}, {
        8.999999999983629, 8.000000000007276}}], 
       LineBox[{{20.000000000009095`, 17.000000000003638`}, {
        15.000000000009095`, 14.500000000003638`}}], 
       LineBox[{{20.00000000000955, 10.}, {9.000000000009095, 8.}}], 
       LineBox[{{20.000000000003638`, 3.}, {15.000000000003638`, 
        14.50000000000091}}], 
       LineBox[{{8.999999999996362, 7.999999999998181}, {15., 
        14.500000000003638`}}], 
       {PointSize[0.04], PointBox[{9., 8.}], PointBox[{15., 14.5}]}, 
       InsetBox[
        TagBox[
         StyleBox[
          TagBox["T3",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->7.997355371900827],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          7.997355371900827]& ], {10., -0.5}, 
        ImageScaled[{Rational[1, 2], 0}]]},
      AspectRatio->1,
      PlotRange->{{-1, 21}, {-1, 21}}], {44, 44}, {0, 0}, {22, 22}], 
    InsetBox[
     GraphicsBox[
      {Thickness[0.005], 
       LineBox[{{-1.0913936421275139`*^-11, 10.000000000003638`}, {
        8.999999999983629, 8.000000000007276}}], 
       LineBox[{{19.999999999996362`, 17.}, {13.499999999996362`, 
        13.499999999996362`}}], LineBox[{{20., 10.}, {13.5, 13.5}}], 
       LineBox[{{19.99999999999818, 3.}, {8.999999999998181, 
        8.000000000003638}}], 
       LineBox[{{8.999999999992724, 7.999999999990905}, {13.499999999992724`, 
        13.499999999990905`}}], 
       {PointSize[0.04], PointBox[{9., 8.}], PointBox[{13.5, 13.5}]}, InsetBox[
        TagBox[
         StyleBox[
          TagBox["T4",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->7.997355371900827],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          7.997355371900827]& ], {10., -0.5}, 
        ImageScaled[{Rational[1, 2], 0}]]},
      AspectRatio->1,
      PlotRange->{{-1, 21}, {-1, 21}}], {0, 22}, {0, 0}, {22, 22}], InsetBox[
     TagBox[
      StyleBox[
       TagBox["1",
        DisplayForm],
       FontFamily->"Helvetica",
       FontSize->11.996033057851239`],
      StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
       11.996033057851239`]& ], {28.5, 69.96}, 
     ImageScaled[{Rational[1, 2], Rational[1, 2]}]], InsetBox[
     TagBox[
      StyleBox[
       TagBox["\[RightArrow]",
        DisplayForm],
       FontFamily->"Helvetica",
       FontSize->11.996033057851239`],
      StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
       11.996033057851239`]& ], {33., 69.96}, 
     ImageScaled[{Rational[1, 2], Rational[1, 2]}]], InsetBox[
     TagBox[
      StyleBox[
       TagBox["3",
        DisplayForm],
       FontFamily->"Helvetica",
       FontSize->11.996033057851239`],
      StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
       11.996033057851239`]& ], {37.5, 69.96}, 
     ImageScaled[{Rational[1, 2], Rational[1, 2]}]]},
   AspectRatio->1.0999999999999999`,
   ImageSize->{288, 288},
   PlotRange->{{0, 66}, {0, 72.6}}], TraditionalForm]], "Print",
 CellChangeTimes->{
  3.469425187947699*^9, 3.469425254041893*^9, 3.469425394453228*^9, 
   3.469426223466735*^9, 3.4694293092163363`*^9, 3.4704679748093863`*^9, 
   3.470554018508716*^9, 3.471787311449532*^9, 3.471843573098843*^9, 
   3.471889876944047*^9, 3.471932649754167*^9, 3.474205390159449*^9, 
   3.474205476959947*^9, 3.474206505764617*^9, 3.474226839413107*^9, 
   3.4742273456294727`*^9, 3.474227661405006*^9, 3.474267247941955*^9, 
   3.474268842281012*^9, 3.474269295648732*^9, {3.476524570843111*^9, 
   3.476524590929769*^9}, 3.4765255594378653`*^9, 3.4765261532616577`*^9, 
   3.476526262470573*^9, 3.476526674588826*^9, 3.477042180242284*^9, 
   3.477043744712656*^9, 3.4770439785690804`*^9, 3.477053928270686*^9, 
   3.477116094450193*^9, 3.478349908576249*^9, 3.4783503260793667`*^9, 
   3.478351438166113*^9, 3.4784381582243853`*^9, 3.4785012968767357`*^9, 
   3.4785113201271343`*^9, {3.478585751314348*^9, 3.478585752559856*^9}, 
   3.4788529577586727`*^9, {3.479315484613248*^9, 3.4793154858480062`*^9}, 
   3.479632375387108*^9, 3.4796486828240547`*^9, 3.480158004179656*^9, 
   3.480158528991708*^9, 3.480160379475453*^9, 3.480161078916194*^9, 
   3.480229327759658*^9, 3.4806846013777323`*^9, 3.480704799941614*^9, 
   3.480741795120961*^9, 3.480769270110368*^9, 3.688481904326342*^9, 
   3.6887097067348022`*^9, 3.688709869678186*^9, 3.688710399090939*^9, 
   3.688711396376088*^9, 3.688712000443425*^9, 3.6887127649640493`*^9, 
   3.688712797346468*^9, 3.688714071304811*^9, 3.688715870134624*^9, 
   3.688723017386958*^9, 3.688723713291445*^9, 3.6887242153053627`*^9, 
   3.688724426070562*^9, 3.688724870926621*^9, 3.688735782438353*^9, 
   3.688737453152657*^9, 3.688740762558401*^9, {3.6888131814627132`*^9, 
   3.6888132091674843`*^9}, 3.6888263594071302`*^9, 3.688826567787903*^9, 
   3.68882816511078*^9, 3.6888296428611603`*^9, 3.6888821320618668`*^9, 
   3.6888821631149397`*^9, 3.688883188323297*^9, 3.688883263159018*^9, 
   3.6907159056852427`*^9, 3.690716025608626*^9, 3.690716127518062*^9, 
   3.690716324627325*^9, 3.6907163619791327`*^9, 3.6926864382406282`*^9, 
   3.6926995779692287`*^9, 3.693035118179702*^9, 3.693035427355739*^9, 
   3.693035467538746*^9, 3.693036164051416*^9, 3.693206646624275*^9, 
   3.693207124296706*^9, 3.6932073505519543`*^9, {3.693207423865137*^9, 
   3.693207435547916*^9}, 3.693207513637548*^9, 3.693207612612939*^9, 
   3.6932076952846613`*^9, 3.6932207060994377`*^9, 3.6932207649705343`*^9, 
   3.693220888366168*^9, 3.693220979134111*^9, 3.693221085817748*^9, 
   3.693221213109956*^9, 3.6932219724072733`*^9, 3.693222144642557*^9, 
   3.693222212087405*^9, 3.693222293335902*^9, 3.69322239741398*^9, 
   3.693222479321089*^9, 3.693224266459041*^9, 3.6932263891529303`*^9, 
   3.6932264418444653`*^9, 3.693226568041925*^9, 3.693226641578594*^9, 
   3.693226772875429*^9, 3.693226855401279*^9, {3.693226949905933*^9, 
   3.693226957372799*^9}, 3.693227133387227*^9, 3.693227430442985*^9, 
   3.6932279029990387`*^9, 3.6932281886703*^9, 3.693230886525552*^9, 
   3.693304641182609*^9, 3.693315186219695*^9, 3.693553909250269*^9, 
   3.69357445583676*^9, 3.6935761581689157`*^9, 3.693576282896072*^9, 
   3.693576367481554*^9, 3.693579071189212*^9, 3.6936573149552107`*^9, 
   3.693660445667622*^9, 3.696658354761827*^9, {3.6966584751854267`*^9, 
   3.696658484177767*^9}, 3.69665913900077*^9, 3.696660570083193*^9, 
   3.696661166836475*^9, 3.696661213248571*^9, 3.6966615813215923`*^9, 
   3.696661976630547*^9, 3.771926768959063*^9, 3.771927964458158*^9, 
   3.7719287092184877`*^9, 3.7719287464246817`*^9, 3.771928953609003*^9, 
   3.771929792224058*^9, 3.771935943876872*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
    RowBox[{
     RowBox[{"F", "[", 
      RowBox[{"i", ",", 
       RowBox[{"{", "j", "}"}]}], "]"}], " ", "denotes", " ", "a", " ", 
     "fermion"}], ",", " ", 
    RowBox[{"i", "=", 
     RowBox[{"1", " ", "neutrino"}]}], ",", " ", 
    RowBox[{"i", "=", 
     RowBox[{"2", " ", "lepton"}]}], ",", " ", 
    RowBox[{"j", " ", "denotes", " ", "the", " ", "family", " ", "index"}]}], 
   "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{"ins", "=", " ", 
    RowBox[{"InsertFields", "[", 
     RowBox[{"top", ",", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"F", "[", 
         RowBox[{"2", ",", 
          RowBox[{"{", "2", "}"}]}], "]"}], "}"}], "\[Rule]", 
       RowBox[{"{", 
        RowBox[{
         RowBox[{"-", 
          RowBox[{"F", "[", 
           RowBox[{"1", ",", 
            RowBox[{"{", "1", "}"}]}], "]"}]}], ",", 
         RowBox[{"F", "[", 
          RowBox[{"2", ",", 
           RowBox[{"{", "1", "}"}]}], "]"}], ",", 
         RowBox[{"F", "[", 
          RowBox[{"1", ",", 
           RowBox[{"{", "2", "}"}]}], "]"}]}], "}"}]}], ",", 
      RowBox[{"Model", "\[Rule]", "SM"}], ",", 
      RowBox[{"InsertionLevel", "\[Rule]", "Particles"}]}], "]"}]}], 
   ";"}]}]], "Input",
 CellChangeTimes->{{3.4685772461425657`*^9, 3.468577251070127*^9}, {
   3.476524617065179*^9, 3.4765246218542557`*^9}, {3.477043660962215*^9, 
   3.47704366125391*^9}, {3.477051275940895*^9, 3.4770512984621887`*^9}, {
   3.4770514702595263`*^9, 3.477051470740684*^9}, {3.47705703044118*^9, 
   3.477057030895308*^9}, {3.477126098401125*^9, 3.477126098615596*^9}, {
   3.478350270407344*^9, 3.478350270683997*^9}, {3.478501304105159*^9, 
   3.4785013043103743`*^9}, {3.6887158895467577`*^9, 3.688715894119603*^9}, {
   3.688723721302837*^9, 3.688723723812855*^9}, {3.688724224674494*^9, 
   3.688724227993827*^9}, 3.688724435654422*^9, {3.6887374697592154`*^9, 
   3.688737473654522*^9}, {3.688826340967455*^9, 3.688826350517359*^9}, {
   3.688883202920986*^9, 3.688883207477006*^9}, 3.693035403521228*^9, 
   3.6935744901306877`*^9, {3.693576134638957*^9, 3.693576136948707*^9}, 
   3.693576349441667*^9, {3.693657330132579*^9, 3.693657334276558*^9}, {
   3.6936574165015306`*^9, 3.6936574228361073`*^9}, {3.696658407193321*^9, 
   3.696658420849329*^9}, {3.696659154554656*^9, 3.6966591673103313`*^9}, {
   3.696660577437131*^9, 3.696660584060961*^9}, {3.69666121865454*^9, 
   3.6966612321570797`*^9}, {3.696661990969845*^9, 3.696661993376905*^9}, {
   3.771926780833393*^9, 3.771926840337191*^9}, {3.771926880106578*^9, 
   3.771926924646759*^9}, {3.77192892531826*^9, 3.771928927911055*^9}, {
   3.771929777276442*^9, 3.771929785066214*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 FormBox["\<\"\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935943983075*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"\"\>", "\[InvisibleSpace]", "\<\"loading \"\>", 
    "\[InvisibleSpace]", "\<\"generic\"\>", 
    "\[InvisibleSpace]", "\<\" model file \"\>", 
    "\[InvisibleSpace]", \
"\<\"/home/stefan/.Mathematica/Applications/FeynArts-3.9/Models/Lorentz.gen\"\
\>"}],
   SequenceForm[
   "", "loading ", "generic", " model file ", 
    "/home/stefan/.Mathematica/Applications/FeynArts-3.9/Models/Lorentz.gen"],
   
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.7719359439843407`*^9}],

Cell[BoxData[
 FormBox["\<\"> $GenericMixing is OFF\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935943985836*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"generic model \"\>", "\[InvisibleSpace]", 
    RowBox[{"{", "\<\"Lorentz\"\>", "}"}], 
    "\[InvisibleSpace]", "\<\" initialized\"\>"}],
   SequenceForm["generic model ", {"Lorentz"}, " initialized"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944036406*^9}],

Cell[BoxData[
 FormBox["\<\"\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944040086*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"\"\>", "\[InvisibleSpace]", "\<\"loading \"\>", 
    "\[InvisibleSpace]", "\<\"classes\"\>", 
    "\[InvisibleSpace]", "\<\" model file \"\>", 
    "\[InvisibleSpace]", \
"\<\"/home/stefan/.Mathematica/Applications/FeynArts-3.9/Models/SM.mod\"\>"}],
   
   SequenceForm[
   "", "loading ", "classes", " model file ", 
    "/home/stefan/.Mathematica/Applications/FeynArts-3.9/Models/SM.mod"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944043322*^9}],

Cell[BoxData[
 FormBox["\<\"\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.7719359440453*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[GridBox[{
     {GridBox[{
        {
         RowBox[{"$CKM", "=", "False"}]}
       },
       BaselinePosition->{Baseline, {1, 1}},
       GridBoxAlignment->{
        "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}},
          "RowsIndexed" -> {}},
       GridBoxItemSize->{"Columns" -> {{
            Scaled[0.999]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
         "RowsIndexed" -> {}}]}
    },
    BaselinePosition->{Baseline, {1, 1}},
    GridBoxAlignment->{
     "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
      "RowsIndexed" -> {}}],
   Definition[$CellContext`$CKM],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.7719359440468073`*^9}],

Cell[BoxData[
 FormBox["\<\"\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944047924*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> \"\>", "\[InvisibleSpace]", "46", 
    "\[InvisibleSpace]", "\<\" particles (incl. antiparticles) in \"\>", 
    "\[InvisibleSpace]", "16", "\[InvisibleSpace]", "\<\" classes\"\>"}],
   SequenceForm[
   "> ", 46, " particles (incl. antiparticles) in ", 16, " classes"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.7719359440494213`*^9}],

Cell[BoxData[
 FormBox["\<\"> $CounterTerms are ON\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944100524*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> \"\>", "\[InvisibleSpace]", "88", 
    "\[InvisibleSpace]", "\<\" vertices\"\>"}],
   SequenceForm["> ", 88, " vertices"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.7719359441033907`*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> \"\>", "\[InvisibleSpace]", "115", 
    "\[InvisibleSpace]", "\<\" counter terms of order 1\"\>"}],
   SequenceForm["> ", 115, " counter terms of order 1"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944106737*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> \"\>", "\[InvisibleSpace]", "6", 
    "\[InvisibleSpace]", "\<\" counter terms of order 2\"\>"}],
   SequenceForm["> ", 6, " counter terms of order 2"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944108695*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"classes model \"\>", "\[InvisibleSpace]", 
    RowBox[{"{", "\<\"SM\"\>", "}"}], 
    "\[InvisibleSpace]", "\<\" initialized\"\>"}],
   SequenceForm["classes model ", {"SM"}, " initialized"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944112381*^9}],

Cell[BoxData[
 FormBox["\<\"\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944113311*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"inserting at level(s) \"\>", "\[InvisibleSpace]", 
    RowBox[{"{", 
     RowBox[{"Generic", ",", "Classes", ",", "Particles"}], "}"}]}],
   SequenceForm[
   "inserting at level(s) ", {Generic, FeynArts`Classes, FeynArts`Particles}],
   
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944114251*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> Top. \"\>", "\[InvisibleSpace]", "1", 
    "\[InvisibleSpace]", "\<\": \"\>", 
    "\[InvisibleSpace]", "\<\"0 Generic, 0 Classes, 0 Particles \
insertions\"\>"}],
   SequenceForm[
   "> Top. ", 1, ": ", "0 Generic, 0 Classes, 0 Particles insertions"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944115159*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> Top. \"\>", "\[InvisibleSpace]", "2", 
    "\[InvisibleSpace]", "\<\": \"\>", 
    "\[InvisibleSpace]", "\<\"0 Generic, 0 Classes, 0 Particles \
insertions\"\>"}],
   SequenceForm[
   "> Top. ", 2, ": ", "0 Generic, 0 Classes, 0 Particles insertions"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944116041*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> Top. \"\>", "\[InvisibleSpace]", "3", 
    "\[InvisibleSpace]", "\<\": \"\>", 
    "\[InvisibleSpace]", "\<\"0 Generic, 0 Classes, 0 Particles \
insertions\"\>"}],
   SequenceForm[
   "> Top. ", 3, ": ", "0 Generic, 0 Classes, 0 Particles insertions"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944116995*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> Top. \"\>", "\[InvisibleSpace]", "4", 
    "\[InvisibleSpace]", "\<\": \"\>", 
    "\[InvisibleSpace]", "\<\"2 Generic, 2 Classes, 2 Particles \
insertions\"\>"}],
   SequenceForm[
   "> Top. ", 4, ": ", "2 Generic, 2 Classes, 2 Particles insertions"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.77193594411802*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"in total: \"\>", 
    "\[InvisibleSpace]", "\<\"2 Generic, 2 Classes, 2 Particles \
insertions\"\>"}],
   SequenceForm["in total: ", "2 Generic, 2 Classes, 2 Particles insertions"],
   
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{3.771929792286562*^9, 3.771935944118905*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
   "FeynArts", " ", "adds", " ", "the", " ", "Goldstone", " ", "boson", " ", 
    "to", " ", "cancel", " ", "the", " ", "longitudinal", " ", "component", 
    " ", "of", " ", "the", " ", "W", " ", "boson", " ", 
    RowBox[{"propagator", ":"}]}], "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{"Paint", "[", "ins", "]"}], ";"}]}]], "Input",
 CellChangeTimes->{{3.465653040992613*^9, 3.4656530435896063`*^9}, 
   3.465711183575632*^9, {3.466229665390377*^9, 3.4662296662388573`*^9}, {
   3.77192792577164*^9, 3.771927955205984*^9}, 3.771928810534143*^9}],

Cell[CellGroupData[{

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> Top. \"\>", "\[InvisibleSpace]", "1", 
    "\[InvisibleSpace]", "\<\": \"\>", 
    "\[InvisibleSpace]", "\<\"6 diagrams\"\>"}],
   SequenceForm["> Top. ", 1, ": ", "6 diagrams"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{
  3.693035469337574*^9, 3.693036164524466*^9, 3.693206647342061*^9, 
   3.693207124902481*^9, 3.693207351137074*^9, {3.693207424460774*^9, 
   3.693207436125518*^9}, 3.693207514203681*^9, 3.6932076131568937`*^9, 
   3.6932076958421783`*^9, 3.693220706843906*^9, 3.693220765536359*^9, 
   3.6932208890042267`*^9, 3.69322097981842*^9, 3.693221086289192*^9, 
   3.693221213683106*^9, 3.6932219729200897`*^9, 3.6932221452702703`*^9, 
   3.693222212629327*^9, 3.6932222939149523`*^9, 3.693222397949531*^9, 
   3.6932224799686527`*^9, 3.693224266944323*^9, 3.693226389884356*^9, 
   3.693226442376389*^9, 3.6932265685723867`*^9, 3.6932266421614027`*^9, 
   3.693226774428061*^9, 3.693226855988263*^9, {3.693226950456676*^9, 
   3.693226958082432*^9}, 3.6932271338611383`*^9, 3.69322743092505*^9, 
   3.693227903669948*^9, 3.6932281891998*^9, 3.693230887353953*^9, 
   3.693304641831761*^9, 3.6933151866621017`*^9, 3.693553910034477*^9, 
   3.693574492372775*^9, 3.6935761586451597`*^9, 3.69357628333185*^9, 
   3.6935763679993973`*^9, 3.693579071835287*^9, 3.693657336642495*^9, 
   3.693657432794758*^9, 3.6936604465692177`*^9, 3.696658423971417*^9, 
   3.696658491080789*^9, 3.696659171814521*^9, 3.696660587902896*^9, 
   3.696661237381159*^9, 3.696661582553359*^9, 3.696661997154613*^9, {
   3.7719268200365*^9, 3.7719268422836027`*^9}, 3.7719269265689096`*^9, {
   3.771927956646703*^9, 3.771927964679016*^9}, 3.771928709501087*^9, 
   3.7719287466473007`*^9, 3.771928953837253*^9, 3.7719297924913073`*^9, 
   3.771935944234598*^9}],

Cell[BoxData[
 FormBox[
  GraphicsBox[{InsetBox[
     GraphicsBox[
      {Thickness[0.005], 
       LineBox[{{-1.0913936421275139`*^-11, 10.000000000003638`}, {
        8.999999999983629, 8.000000000007276}}], 
       PolygonBox[{{5.085712236110371, 8.869841725308806}, {3.827515580762166,
         8.739683450617612}, {4.001059947017091, 9.520633098764776}}], 
       InsetBox[
        TagBox[
         StyleBox[
          TagBox["\[Mu]",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {4.163757790381084, 8.091710056714874}, 
        ImageScaled[{Rational[1, 2], 1}]], 
       LineBox[{{19.999999999996362`, 17.}, {13.499999999996362`, 
        13.499999999996362`}}], 
       PolygonBox[{{16.221717340046695`, 14.96554010617899}, {
        17.0886427307393, 15.88664833378988}, {17.467922589167312`, 
        15.18227145385214}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           SubscriptBox["\[Nu]", "e"],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {16.880054725704277, 14.490069795120629}, 
        ImageScaled[{0, 1}]], LineBox[{{20., 10.}, {13.5, 13.5}}], 
       PolygonBox[{{17.278282659953305`, 11.46554010617899}, {
        16.4113572692607, 12.38664833378988}, {16.032077410832688`, 
        11.68227145385214}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox["e",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {16.619945274295723, 10.990069795120629}, 
        ImageScaled[{1, 1}]], 
       LineBox[{{19.99999999999818, 3.}, {8.999999999998181, 
        8.000000000003638}}], 
       PolygonBox[{{15.046219886477562`, 5.25171823341929}, {
        14.11930129124291, 6.1124283575657525`}, {13.788258935801965`, 
        5.384135175595668}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           SubscriptBox["\[Nu]", "\[Mu]"],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {14.463405436333165, 4.693731959932962}, 
        ImageScaled[{1, 1}]], 
       {Dashing[{0.030000000000000002`, 0.030000000000000002`}], 
        LineBox[{{8.999999999992724, 7.999999999990905}, {13.499999999992724`,
          13.499999999990905`}}]}, InsetBox[
        TagBox[
         StyleBox[
          TagBox["S",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {10.848655511035684, 10.968409127334443}, 
        ImageScaled[{1, 0}]], 
       {PointSize[0.04], PointBox[{9., 8.}], PointBox[{13.5, 13.5}]}, InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           RowBox[{"T1", " ", "G1", " ", "N1"}],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->7.997355371900827],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          7.997355371900827]& ], {10., -0.5}, 
        ImageScaled[{Rational[1, 2], 0}]]},
      AspectRatio->1,
      PlotRange->{{-1, 21}, {-1, 21}}], {0, 44}, {0, 0}, {22, 22}], InsetBox[
     GraphicsBox[
      {Thickness[0.005], 
       LineBox[{{-1.0913936421275139`*^-11, 10.000000000003638`}, {
        8.999999999983629, 8.000000000007276}}], 
       PolygonBox[{{5.085712236110371, 8.869841725308806}, {3.827515580762166,
         8.739683450617612}, {4.001059947017091, 9.520633098764776}}], 
       InsetBox[
        TagBox[
         StyleBox[
          TagBox["\[Mu]",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {4.163757790381084, 8.091710056714874}, 
        ImageScaled[{Rational[1, 2], 1}]], 
       LineBox[{{19.999999999996362`, 17.}, {13.499999999996362`, 
        13.499999999996362`}}], 
       PolygonBox[{{16.221717340046695`, 14.96554010617899}, {
        17.0886427307393, 15.88664833378988}, {17.467922589167312`, 
        15.18227145385214}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           SubscriptBox["\[Nu]", "e"],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {16.880054725704277, 14.490069795120629}, 
        ImageScaled[{0, 1}]], LineBox[{{20., 10.}, {13.5, 13.5}}], 
       PolygonBox[{{17.278282659953305`, 11.46554010617899}, {
        16.4113572692607, 12.38664833378988}, {16.032077410832688`, 
        11.68227145385214}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox["e",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {16.619945274295723, 10.990069795120629}, 
        ImageScaled[{1, 1}]], 
       LineBox[{{19.99999999999818, 3.}, {8.999999999998181, 
        8.000000000003638}}], 
       PolygonBox[{{15.046219886477562`, 5.25171823341929}, {
        14.11930129124291, 6.1124283575657525`}, {13.788258935801965`, 
        5.384135175595668}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           SubscriptBox["\[Nu]", "\[Mu]"],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {14.463405436333165, 4.693731959932962}, 
        ImageScaled[{1, 1}]], 
       {Dashing[{0.030000000000000002`, 0.030000000000000002`}], 
        LineBox[{{8.999999999992724, 7.999999999990905}, {13.499999999992724`,
          13.499999999990905`}}]}, 
       PolygonBox[{{11.629942674154357`, 11.214374379521992`}, {
        11.179640245526972`, 10.032330504375103`}, {10.560474406164314`, 
        10.538920736580913`}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox["G",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {10.655166186234851, 11.126718574898756}, 
        ImageScaled[{1, 0}]], 
       {PointSize[0.04], PointBox[{9., 8.}], PointBox[{13.5, 13.5}]}, InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           RowBox[{"T1", " ", "C1", " ", "N2"}],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->7.997355371900827],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          7.997355371900827]& ], {10., -0.5}, 
        ImageScaled[{Rational[1, 2], 0}]]},
      AspectRatio->1,
      PlotRange->{{-1, 21}, {-1, 21}}], {22, 44}, {0, 0}, {22, 22}], 
    InsetBox[
     GraphicsBox[
      {Thickness[0.005], 
       LineBox[{{-1.0913936421275139`*^-11, 10.000000000003638`}, {
        8.999999999983629, 8.000000000007276}}], 
       PolygonBox[{{5.085712236110371, 8.869841725308806}, {3.827515580762166,
         8.739683450617612}, {4.001059947017091, 9.520633098764776}}], 
       InsetBox[
        TagBox[
         StyleBox[
          TagBox["\[Mu]",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {4.163757790381084, 8.091710056714874}, 
        ImageScaled[{Rational[1, 2], 1}]], 
       LineBox[{{19.999999999996362`, 17.}, {13.499999999996362`, 
        13.499999999996362`}}], 
       PolygonBox[{{16.221717340046695`, 14.96554010617899}, {
        17.0886427307393, 15.88664833378988}, {17.467922589167312`, 
        15.18227145385214}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           SubscriptBox["\[Nu]", "e"],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {16.880054725704277, 14.490069795120629}, 
        ImageScaled[{0, 1}]], LineBox[{{20., 10.}, {13.5, 13.5}}], 
       PolygonBox[{{17.278282659953305`, 11.46554010617899}, {
        16.4113572692607, 12.38664833378988}, {16.032077410832688`, 
        11.68227145385214}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox["e",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {16.619945274295723, 10.990069795120629}, 
        ImageScaled[{1, 1}]], 
       LineBox[{{19.99999999999818, 3.}, {8.999999999998181, 
        8.000000000003638}}], 
       PolygonBox[{{15.046219886477562`, 5.25171823341929}, {
        14.11930129124291, 6.1124283575657525`}, {13.788258935801965`, 
        5.384135175595668}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           SubscriptBox["\[Nu]", "\[Mu]"],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {14.463405436333165, 4.693731959932962}, 
        ImageScaled[{1, 1}]], 
       {Dashing[{0.030000000000000002`, 0.030000000000000002`}], 
        LineBox[{{8.999999999992724, 7.999999999990905}, {13.499999999992724`,
          13.499999999990905`}}]}, 
       PolygonBox[{{11.629942674154357`, 11.214374379521992`}, {
        11.179640245526972`, 10.032330504375103`}, {10.560474406164314`, 
        10.538920736580913`}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox["G",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {10.655166186234851, 11.126718574898756}, 
        ImageScaled[{1, 0}]], 
       {PointSize[0.04], PointBox[{9., 8.}], PointBox[{13.5, 13.5}]}, InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           RowBox[{"T1", " ", "P1", " ", "N3"}],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->7.997355371900827],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          7.997355371900827]& ], {10., -0.5}, 
        ImageScaled[{Rational[1, 2], 0}]]},
      AspectRatio->1,
      PlotRange->{{-1, 21}, {-1, 21}}], {44, 44}, {0, 0}, {22, 22}], 
    InsetBox[
     GraphicsBox[
      {Thickness[0.005], 
       LineBox[{{-1.0913936421275139`*^-11, 10.000000000003638`}, {
        8.999999999983629, 8.000000000007276}}], 
       PolygonBox[{{5.085712236110371, 8.869841725308806}, {3.827515580762166,
         8.739683450617612}, {4.001059947017091, 9.520633098764776}}], 
       InsetBox[
        TagBox[
         StyleBox[
          TagBox["\[Mu]",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {4.163757790381084, 8.091710056714874}, 
        ImageScaled[{Rational[1, 2], 1}]], 
       LineBox[{{19.999999999996362`, 17.}, {13.499999999996362`, 
        13.499999999996362`}}], 
       PolygonBox[{{16.221717340046695`, 14.96554010617899}, {
        17.0886427307393, 15.88664833378988}, {17.467922589167312`, 
        15.18227145385214}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           SubscriptBox["\[Nu]", "e"],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {16.880054725704277, 14.490069795120629}, 
        ImageScaled[{0, 1}]], LineBox[{{20., 10.}, {13.5, 13.5}}], 
       PolygonBox[{{17.278282659953305`, 11.46554010617899}, {
        16.4113572692607, 12.38664833378988}, {16.032077410832688`, 
        11.68227145385214}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox["e",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {16.619945274295723, 10.990069795120629}, 
        ImageScaled[{1, 1}]], 
       LineBox[{{19.99999999999818, 3.}, {8.999999999998181, 
        8.000000000003638}}], 
       PolygonBox[{{15.046219886477562`, 5.25171823341929}, {
        14.11930129124291, 6.1124283575657525`}, {13.788258935801965`, 
        5.384135175595668}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           SubscriptBox["\[Nu]", "\[Mu]"],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {14.463405436333165, 4.693731959932962}, 
        ImageScaled[{1, 1}]], LineBox[CompressedData["
1:eJwt1A9Qk2UAx/EXx99Ygt2ygdyYc8gkKTBIIWADMUYsGmNnIMp2GDHbDvGO
OKQZ2MY/R380PHeRtihwzHGD6fkP7kAkAtoVlyw4im6kVx4swFjh2IR+T9fu
dt/7PO/zPHve973b9pLjktJNFEUJ8SWlljfwiRFQzv/LezWPcws1W/66s4qK
JQHCalR606ufRye3fqzJQAOlz8omUUNY/PPb0JSD5YVWlL4uy6eh16Z+7NCg
1VTVV+5dAkrfHlKcDSvknbo1OFAzo/Qn8yS99yh00MViDGDc4PVVkfGClpWc
aljQ+4ncj1w3ex+9DBfcyP72MSqazwve4OG8p56un4U/Xyzn3CM+sGXcCod+
89bcVbjnSemeGthoTF79AnYOnKzfC/tGd4la4eXnLKxllB63VNuCNh3t32pC
bW5ZqwZNePOdN5SoIi/udiVqsC407kPVR9NCDqPVFy2XGCiDb0zei5pdJ1gU
6jo4Ne6HivgNPHe0gKL+FGaNoXEjQwMetKnntRUt6giWKDZh3sREek4qLK8o
owWQ/bsfiVd3CiitunKYRs5z4behG3BC5/thLswraH69+APYmJhUYofph0TZ
hbDzzCuFl+HHg4P9KTC9+xeWCr42qfTEwGyJz4NouD+27QIbDp2Lz3CgjgKt
l4lGePlFbaj+0g9RIWQ/of5+Mdpq0ivWo7Dv2aupL8IKn4oX7hPvV41vhl0z
zPo+uIdzvfkJ6srQqhrRypovw90ol7L/JESHw7rCyXVRqfIQjYx/KLfTsJ7p
u7u9j4vn8wdtVwBsltZaq2DD3R1qH9hQlMtOggPH1i4uYp3UfqLQH2bPictt
MF2du82xQ0BlrnTsaYPV9MjYEZiKEuuOwM4Eu+I6HPFd+lNMWLUSu6UbHg1b
em8C+9hm68o64IeXPest8LRq+thnMO92cEg+LBZ+2tYIi08yu3bC+xS8W8fg
r2nGK0HkXKaFZD784O68zkP2qSs6F4jeZFUp3eikSsYc5QioOkuibh1mFqVZ
TsOq8fNBflgvFPtGJ8MRCdzvyX0tH+5V/7Mdz8M0corMT1kofqYPplZz8x7C
TZr2jTNwZeeUeYh4s+l8GexIT5J/BGuPvBsjhoVjpxtyYWf78Zcy4JaghiBy
rooS/pUkeHe+/+wgfpfh86s1HmaaEkNrOeR93ZFGwdzhv2ey4Mzfm3NCYVfk
iI0FK2q43UtsnD+VleYHj76tkw3B2sX68DXMa7U5M5thRtrPwcRczwFmFvzf
/w08TRop+BcYEZtS
        "]], InsetBox[
        TagBox[
         StyleBox[
          TagBox["V",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {10.655166186234851, 11.126718574898756}, 
        ImageScaled[{1, 0}]], 
       {PointSize[0.04], PointBox[{9., 8.}], PointBox[{13.5, 13.5}]}, InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           RowBox[{"T1", " ", "G2", " ", "N4"}],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->7.997355371900827],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          7.997355371900827]& ], {10., -0.5}, 
        ImageScaled[{Rational[1, 2], 0}]]},
      AspectRatio->1,
      PlotRange->{{-1, 21}, {-1, 21}}], {0, 22}, {0, 0}, {22, 22}], InsetBox[
     GraphicsBox[
      {Thickness[0.005], 
       LineBox[{{-1.0913936421275139`*^-11, 10.000000000003638`}, {
        8.999999999983629, 8.000000000007276}}], 
       PolygonBox[{{5.085712236110371, 8.869841725308806}, {3.827515580762166,
         8.739683450617612}, {4.001059947017091, 9.520633098764776}}], 
       InsetBox[
        TagBox[
         StyleBox[
          TagBox["\[Mu]",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {4.163757790381084, 8.091710056714874}, 
        ImageScaled[{Rational[1, 2], 1}]], 
       LineBox[{{19.999999999996362`, 17.}, {13.499999999996362`, 
        13.499999999996362`}}], 
       PolygonBox[{{16.221717340046695`, 14.96554010617899}, {
        17.0886427307393, 15.88664833378988}, {17.467922589167312`, 
        15.18227145385214}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           SubscriptBox["\[Nu]", "e"],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {16.880054725704277, 14.490069795120629}, 
        ImageScaled[{0, 1}]], LineBox[{{20., 10.}, {13.5, 13.5}}], 
       PolygonBox[{{17.278282659953305`, 11.46554010617899}, {
        16.4113572692607, 12.38664833378988}, {16.032077410832688`, 
        11.68227145385214}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox["e",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {16.619945274295723, 10.990069795120629}, 
        ImageScaled[{1, 1}]], 
       LineBox[{{19.99999999999818, 3.}, {8.999999999998181, 
        8.000000000003638}}], 
       PolygonBox[{{15.046219886477562`, 5.25171823341929}, {
        14.11930129124291, 6.1124283575657525`}, {13.788258935801965`, 
        5.384135175595668}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           SubscriptBox["\[Nu]", "\[Mu]"],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {14.463405436333165, 4.693731959932962}, 
        ImageScaled[{1, 1}]], LineBox[CompressedData["
1:eJwt1A9Qk2UAx/EXx99Ygt2ygdyYc8gkKTBIIWADMUYsGmNnIMp2GDHbDvGO
OKQZ2MY/R380PHeRtihwzHGD6fkP7kAkAtoVlyw4im6kVx4swFjh2IR+T9fu
dt/7PO/zPHve973b9pLjktJNFEUJ8SWlljfwiRFQzv/LezWPcws1W/66s4qK
JQHCalR606ufRye3fqzJQAOlz8omUUNY/PPb0JSD5YVWlL4uy6eh16Z+7NCg
1VTVV+5dAkrfHlKcDSvknbo1OFAzo/Qn8yS99yh00MViDGDc4PVVkfGClpWc
aljQ+4ncj1w3ex+9DBfcyP72MSqazwve4OG8p56un4U/Xyzn3CM+sGXcCod+
89bcVbjnSemeGthoTF79AnYOnKzfC/tGd4la4eXnLKxllB63VNuCNh3t32pC
bW5ZqwZNePOdN5SoIi/udiVqsC407kPVR9NCDqPVFy2XGCiDb0zei5pdJ1gU
6jo4Ne6HivgNPHe0gKL+FGaNoXEjQwMetKnntRUt6giWKDZh3sREek4qLK8o
owWQ/bsfiVd3CiitunKYRs5z4behG3BC5/thLswraH69+APYmJhUYofph0TZ
hbDzzCuFl+HHg4P9KTC9+xeWCr42qfTEwGyJz4NouD+27QIbDp2Lz3CgjgKt
l4lGePlFbaj+0g9RIWQ/of5+Mdpq0ivWo7Dv2aupL8IKn4oX7hPvV41vhl0z
zPo+uIdzvfkJ6srQqhrRypovw90ol7L/JESHw7rCyXVRqfIQjYx/KLfTsJ7p
u7u9j4vn8wdtVwBsltZaq2DD3R1qH9hQlMtOggPH1i4uYp3UfqLQH2bPictt
MF2du82xQ0BlrnTsaYPV9MjYEZiKEuuOwM4Eu+I6HPFd+lNMWLUSu6UbHg1b
em8C+9hm68o64IeXPest8LRq+thnMO92cEg+LBZ+2tYIi08yu3bC+xS8W8fg
r2nGK0HkXKaFZD784O68zkP2qSs6F4jeZFUp3eikSsYc5QioOkuibh1mFqVZ
TsOq8fNBflgvFPtGJ8MRCdzvyX0tH+5V/7Mdz8M0corMT1kofqYPplZz8x7C
TZr2jTNwZeeUeYh4s+l8GexIT5J/BGuPvBsjhoVjpxtyYWf78Zcy4JaghiBy
rooS/pUkeHe+/+wgfpfh86s1HmaaEkNrOeR93ZFGwdzhv2ey4Mzfm3NCYVfk
iI0FK2q43UtsnD+VleYHj76tkw3B2sX68DXMa7U5M5thRtrPwcRczwFmFvzf
/w08TRop+BcYEZtS
        "]], 
       PolygonBox[{{11.629942674154357`, 11.214374379521992`}, {
        11.179640245526972`, 10.032330504375103`}, {10.560474406164314`, 
        10.538920736580913`}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox["W",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {10.655166186234851, 11.126718574898756}, 
        ImageScaled[{1, 0}]], 
       {PointSize[0.04], PointBox[{9., 8.}], PointBox[{13.5, 13.5}]}, InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           RowBox[{"T1", " ", "C1", " ", "N5"}],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->7.997355371900827],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          7.997355371900827]& ], {10., -0.5}, 
        ImageScaled[{Rational[1, 2], 0}]]},
      AspectRatio->1,
      PlotRange->{{-1, 21}, {-1, 21}}], {22, 22}, {0, 0}, {22, 22}], 
    InsetBox[
     GraphicsBox[
      {Thickness[0.005], 
       LineBox[{{-1.0913936421275139`*^-11, 10.000000000003638`}, {
        8.999999999983629, 8.000000000007276}}], 
       PolygonBox[{{5.085712236110371, 8.869841725308806}, {3.827515580762166,
         8.739683450617612}, {4.001059947017091, 9.520633098764776}}], 
       InsetBox[
        TagBox[
         StyleBox[
          TagBox["\[Mu]",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {4.163757790381084, 8.091710056714874}, 
        ImageScaled[{Rational[1, 2], 1}]], 
       LineBox[{{19.999999999996362`, 17.}, {13.499999999996362`, 
        13.499999999996362`}}], 
       PolygonBox[{{16.221717340046695`, 14.96554010617899}, {
        17.0886427307393, 15.88664833378988}, {17.467922589167312`, 
        15.18227145385214}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           SubscriptBox["\[Nu]", "e"],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {16.880054725704277, 14.490069795120629}, 
        ImageScaled[{0, 1}]], LineBox[{{20., 10.}, {13.5, 13.5}}], 
       PolygonBox[{{17.278282659953305`, 11.46554010617899}, {
        16.4113572692607, 12.38664833378988}, {16.032077410832688`, 
        11.68227145385214}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox["e",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {16.619945274295723, 10.990069795120629}, 
        ImageScaled[{1, 1}]], 
       LineBox[{{19.99999999999818, 3.}, {8.999999999998181, 
        8.000000000003638}}], 
       PolygonBox[{{15.046219886477562`, 5.25171823341929}, {
        14.11930129124291, 6.1124283575657525`}, {13.788258935801965`, 
        5.384135175595668}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           SubscriptBox["\[Nu]", "\[Mu]"],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {14.463405436333165, 4.693731959932962}, 
        ImageScaled[{1, 1}]], LineBox[CompressedData["
1:eJwt1A9Qk2UAx/EXx99Ygt2ygdyYc8gkKTBIIWADMUYsGmNnIMp2GDHbDvGO
OKQZ2MY/R380PHeRtihwzHGD6fkP7kAkAtoVlyw4im6kVx4swFjh2IR+T9fu
dt/7PO/zPHve973b9pLjktJNFEUJ8SWlljfwiRFQzv/LezWPcws1W/66s4qK
JQHCalR606ufRye3fqzJQAOlz8omUUNY/PPb0JSD5YVWlL4uy6eh16Z+7NCg
1VTVV+5dAkrfHlKcDSvknbo1OFAzo/Qn8yS99yh00MViDGDc4PVVkfGClpWc
aljQ+4ncj1w3ex+9DBfcyP72MSqazwve4OG8p56un4U/Xyzn3CM+sGXcCod+
89bcVbjnSemeGthoTF79AnYOnKzfC/tGd4la4eXnLKxllB63VNuCNh3t32pC
bW5ZqwZNePOdN5SoIi/udiVqsC407kPVR9NCDqPVFy2XGCiDb0zei5pdJ1gU
6jo4Ne6HivgNPHe0gKL+FGaNoXEjQwMetKnntRUt6giWKDZh3sREek4qLK8o
owWQ/bsfiVd3CiitunKYRs5z4behG3BC5/thLswraH69+APYmJhUYofph0TZ
hbDzzCuFl+HHg4P9KTC9+xeWCr42qfTEwGyJz4NouD+27QIbDp2Lz3CgjgKt
l4lGePlFbaj+0g9RIWQ/of5+Mdpq0ivWo7Dv2aupL8IKn4oX7hPvV41vhl0z
zPo+uIdzvfkJ6srQqhrRypovw90ol7L/JESHw7rCyXVRqfIQjYx/KLfTsJ7p
u7u9j4vn8wdtVwBsltZaq2DD3R1qH9hQlMtOggPH1i4uYp3UfqLQH2bPictt
MF2du82xQ0BlrnTsaYPV9MjYEZiKEuuOwM4Eu+I6HPFd+lNMWLUSu6UbHg1b
em8C+9hm68o64IeXPest8LRq+thnMO92cEg+LBZ+2tYIi08yu3bC+xS8W8fg
r2nGK0HkXKaFZD784O68zkP2qSs6F4jeZFUp3eikSsYc5QioOkuibh1mFqVZ
TsOq8fNBflgvFPtGJ8MRCdzvyX0tH+5V/7Mdz8M0corMT1kofqYPplZz8x7C
TZr2jTNwZeeUeYh4s+l8GexIT5J/BGuPvBsjhoVjpxtyYWf78Zcy4JaghiBy
rooS/pUkeHe+/+wgfpfh86s1HmaaEkNrOeR93ZFGwdzhv2ey4Mzfm3NCYVfk
iI0FK2q43UtsnD+VleYHj76tkw3B2sX68DXMa7U5M5thRtrPwcRczwFmFvzf
/w08TRop+BcYEZtS
        "]], 
       PolygonBox[{{11.629942674154357`, 11.214374379521992`}, {
        11.179640245526972`, 10.032330504375103`}, {10.560474406164314`, 
        10.538920736580913`}}], InsetBox[
        TagBox[
         StyleBox[
          TagBox["W",
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->9.996694214876033],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          9.996694214876033]& ], {10.655166186234851, 11.126718574898756}, 
        ImageScaled[{1, 0}]], 
       {PointSize[0.04], PointBox[{9., 8.}], PointBox[{13.5, 13.5}]}, InsetBox[
        TagBox[
         StyleBox[
          TagBox[
           RowBox[{"T1", " ", "P1", " ", "N6"}],
           DisplayForm],
          FontFamily->"Helvetica",
          FontSize->7.997355371900827],
         StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
          7.997355371900827]& ], {10., -0.5}, 
        ImageScaled[{Rational[1, 2], 0}]]},
      AspectRatio->1,
      PlotRange->{{-1, 21}, {-1, 21}}], {44, 22}, {0, 0}, {22, 22}], 
    InsetBox[
     TagBox[
      StyleBox[
       TagBox["\[Mu]",
        DisplayForm],
       FontFamily->"Helvetica",
       FontSize->11.996033057851239`],
      StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
       11.996033057851239`]& ], {24., 69.96}, 
     ImageScaled[{Rational[1, 2], Rational[1, 2]}]], InsetBox[
     TagBox[
      StyleBox[
       TagBox["\[RightArrow]",
        DisplayForm],
       FontFamily->"Helvetica",
       FontSize->11.996033057851239`],
      StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
       11.996033057851239`]& ], {28.5, 69.96}, 
     ImageScaled[{Rational[1, 2], Rational[1, 2]}]], InsetBox[
     TagBox[
      StyleBox[
       TagBox[
        SubscriptBox["\[Nu]", "e"],
        DisplayForm],
       FontFamily->"Helvetica",
       FontSize->11.996033057851239`],
      StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
       11.996033057851239`]& ], {33., 69.96}, 
     ImageScaled[{Rational[1, 2], Rational[1, 2]}]], InsetBox[
     TagBox[
      StyleBox[
       TagBox["e",
        DisplayForm],
       FontFamily->"Helvetica",
       FontSize->11.996033057851239`],
      StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
       11.996033057851239`]& ], {37.5, 69.96}, 
     ImageScaled[{Rational[1, 2], Rational[1, 2]}]], InsetBox[
     TagBox[
      StyleBox[
       TagBox[
        SubscriptBox["\[Nu]", "\[Mu]"],
        DisplayForm],
       FontFamily->"Helvetica",
       FontSize->11.996033057851239`],
      StyleForm[#, FontFamily -> "Helvetica", FontSize -> 
       11.996033057851239`]& ], {42., 69.96}, 
     ImageScaled[{Rational[1, 2], Rational[1, 2]}]]},
   AspectRatio->1.0999999999999999`,
   ImageSize->{288, 288},
   PlotRange->{{0, 66}, {0, 72.6}}], TraditionalForm]], "Print",
 CellChangeTimes->{
  3.693035469337574*^9, 3.693036164524466*^9, 3.693206647342061*^9, 
   3.693207124902481*^9, 3.693207351137074*^9, {3.693207424460774*^9, 
   3.693207436125518*^9}, 3.693207514203681*^9, 3.6932076131568937`*^9, 
   3.6932076958421783`*^9, 3.693220706843906*^9, 3.693220765536359*^9, 
   3.6932208890042267`*^9, 3.69322097981842*^9, 3.693221086289192*^9, 
   3.693221213683106*^9, 3.6932219729200897`*^9, 3.6932221452702703`*^9, 
   3.693222212629327*^9, 3.6932222939149523`*^9, 3.693222397949531*^9, 
   3.6932224799686527`*^9, 3.693224266944323*^9, 3.693226389884356*^9, 
   3.693226442376389*^9, 3.6932265685723867`*^9, 3.6932266421614027`*^9, 
   3.693226774428061*^9, 3.693226855988263*^9, {3.693226950456676*^9, 
   3.693226958082432*^9}, 3.6932271338611383`*^9, 3.69322743092505*^9, 
   3.693227903669948*^9, 3.6932281891998*^9, 3.693230887353953*^9, 
   3.693304641831761*^9, 3.6933151866621017`*^9, 3.693553910034477*^9, 
   3.693574492372775*^9, 3.6935761586451597`*^9, 3.69357628333185*^9, 
   3.6935763679993973`*^9, 3.693579071835287*^9, 3.693657336642495*^9, 
   3.693657432794758*^9, 3.6936604465692177`*^9, 3.696658423971417*^9, 
   3.696658491080789*^9, 3.696659171814521*^9, 3.696660587902896*^9, 
   3.696661237381159*^9, 3.696661582553359*^9, 3.696661997154613*^9, {
   3.7719268200365*^9, 3.7719268422836027`*^9}, 3.7719269265689096`*^9, {
   3.771927956646703*^9, 3.771927964679016*^9}, 3.771928709501087*^9, 
   3.7719287466473007`*^9, 3.771928953837253*^9, 3.7719297924913073`*^9, 
   3.771935944282773*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"amp", "=", 
   RowBox[{"CreateFeynAmp", "[", 
    RowBox[{"ins", ",", 
     RowBox[{"Truncated", "\[Rule]", "False"}]}], "]"}]}], ";"}]], "Input",
 CellChangeTimes->{{3.696659036438756*^9, 3.696659060368463*^9}, {
  3.696662020525107*^9, 3.696662020913006*^9}, {3.7719269450179462`*^9, 
  3.771926950691519*^9}, {3.77192706432134*^9, 3.7719270645124607`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 FormBox["\<\"\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{{3.69665905798632*^9, 3.696659060821878*^9}, 
   3.696659358804667*^9, 3.696659505127652*^9, 3.696660708500386*^9, {
   3.696661404506484*^9, 3.696661459585881*^9}, 3.6966615838935328`*^9, 
   3.696662021426539*^9, {3.771926946876534*^9, 3.771926951085582*^9}, 
   3.771927064977532*^9, 3.771927964736064*^9, 3.7719287095533667`*^9, 
   3.7719287466660233`*^9, 3.7719289538562117`*^9, 3.771929792524275*^9, 
   3.7719359443943243`*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"creating amplitudes at level(s) \"\>", "\[InvisibleSpace]", 
    RowBox[{"{", 
     RowBox[{"Generic", ",", "Classes", ",", "Particles"}], "}"}]}],
   SequenceForm[
   "creating amplitudes at level(s) ", {
    Generic, FeynArts`Classes, FeynArts`Particles}],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{{3.69665905798632*^9, 3.696659060821878*^9}, 
   3.696659358804667*^9, 3.696659505127652*^9, 3.696660708500386*^9, {
   3.696661404506484*^9, 3.696661459585881*^9}, 3.6966615838935328`*^9, 
   3.696662021426539*^9, {3.771926946876534*^9, 3.771926951085582*^9}, 
   3.771927064977532*^9, 3.771927964736064*^9, 3.7719287095533667`*^9, 
   3.7719287466660233`*^9, 3.7719289538562117`*^9, 3.771929792524275*^9, 
   3.771935944395289*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> Top. \"\>", "\[InvisibleSpace]", "1", 
    "\[InvisibleSpace]", "\<\": \"\>", 
    "\[InvisibleSpace]", "\<\"2 Generic, 2 Classes, 2 Particles \
amplitudes\"\>"}],
   SequenceForm[
   "> Top. ", 1, ": ", "2 Generic, 2 Classes, 2 Particles amplitudes"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{{3.69665905798632*^9, 3.696659060821878*^9}, 
   3.696659358804667*^9, 3.696659505127652*^9, 3.696660708500386*^9, {
   3.696661404506484*^9, 3.696661459585881*^9}, 3.6966615838935328`*^9, 
   3.696662021426539*^9, {3.771926946876534*^9, 3.771926951085582*^9}, 
   3.771927064977532*^9, 3.771927964736064*^9, 3.7719287095533667`*^9, 
   3.7719287466660233`*^9, 3.7719289538562117`*^9, 3.771929792524275*^9, 
   3.7719359443963127`*^9}],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"in total: \"\>", 
    "\[InvisibleSpace]", "\<\"2 Generic, 2 Classes, 2 Particles \
amplitudes\"\>"}],
   SequenceForm["in total: ", "2 Generic, 2 Classes, 2 Particles amplitudes"],
   
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{{3.69665905798632*^9, 3.696659060821878*^9}, 
   3.696659358804667*^9, 3.696659505127652*^9, 3.696660708500386*^9, {
   3.696661404506484*^9, 3.696661459585881*^9}, 3.6966615838935328`*^9, 
   3.696662021426539*^9, {3.771926946876534*^9, 3.771926951085582*^9}, 
   3.771927064977532*^9, 3.771927964736064*^9, 3.7719287095533667`*^9, 
   3.7719287466660233`*^9, 3.7719289538562117`*^9, 3.771929792524275*^9, 
   3.7719359443992233`*^9}]
}, Open  ]]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"ClearProcess", "[", "]"}], ";"}]], "Input",
 CellChangeTimes->{{3.689685784191135*^9, 3.68968578828505*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"res", "=", 
   RowBox[{"CalcFeynAmp", "[", 
    RowBox[{"amp", ",", 
     RowBox[{"Dimension", "\[Rule]", "4"}], ",", 
     RowBox[{"EditCode", "\[Rule]", "False"}], ",", 
     RowBox[{"RetainFile", "\[Rule]", "False"}], ",", 
     RowBox[{"FermionChains", "\[Rule]", "Chiral"}], ",", 
     RowBox[{"NoExpand", "\[Rule]", "False"}], ",", 
     RowBox[{"Invariants", "\[Rule]", "False"}], ",", 
     RowBox[{"MomElim", "\[Rule]", "True"}], ",", 
     RowBox[{"Transverse", "\[Rule]", "True"}], ",", 
     RowBox[{"Normalized", "\[Rule]", "True"}], ",", 
     RowBox[{"InvSimplify", "\[Rule]", "True"}]}], "]"}]}], ";"}]], "Input",
 CellChangeTimes->{{3.689685523157502*^9, 3.689685523309593*^9}, 
   3.689685780076703*^9, {3.689686015393566*^9, 3.689686015811576*^9}, {
   3.689686272425686*^9, 3.6896862730836983`*^9}, {3.6896888675306664`*^9, 
   3.689688867937133*^9}, {3.6896898041181393`*^9, 3.6896898084294777`*^9}, 
   3.6907134364873133`*^9, 3.6907136759390583`*^9, 3.690714217718268*^9, {
   3.690715284363765*^9, 3.690715284972234*^9}, {3.6907155140538807`*^9, 
   3.690715517098145*^9}, {3.6907156964682837`*^9, 3.690715705789672*^9}, {
   3.6907267619271*^9, 3.690726762861596*^9}, {3.690786834717218*^9, 
   3.6907868355580873`*^9}, {3.690799356638978*^9, 3.690799357641521*^9}, {
   3.6908100416728888`*^9, 3.690810042343814*^9}, {3.690892488165889*^9, 
   3.6908924891277637`*^9}, 3.690893550949802*^9, {3.690894078179728*^9, 
   3.6908940791392117`*^9}, {3.692626173904936*^9, 3.692626208020495*^9}, {
   3.692626260643888*^9, 3.692626260732115*^9}, {3.6926273943977547`*^9, 
   3.692627395343452*^9}, 3.692697210404887*^9, 3.692697286630669*^9, {
   3.6926973787822113`*^9, 3.692697378869611*^9}, 3.692697527199913*^9, {
   3.692698100546908*^9, 3.692698101017811*^9}, 3.6926981974927187`*^9, 
   3.692698288002838*^9, 3.69269835949114*^9, {3.6926985374801617`*^9, 
   3.6926985423545103`*^9}, {3.692700962804225*^9, 3.692700965122048*^9}, {
   3.692712116130101*^9, 3.692712118408531*^9}, 3.692712929375285*^9, 
   3.6927130738251657`*^9, 3.6929441438391457`*^9, {3.6929441804753513`*^9, 
   3.69294420686145*^9}, {3.692947665592761*^9, 3.692947686174871*^9}, {
   3.6929495266196003`*^9, 3.6929495275392847`*^9}, {3.692956297887404*^9, 
   3.6929563277710733`*^9}, {3.692956388254323*^9, 3.692956391008965*^9}, {
   3.692958553066037*^9, 3.692958556929688*^9}, {3.692961059138013*^9, 
   3.6929610603778057`*^9}, {3.692961213287925*^9, 3.692961215407373*^9}, {
   3.692969931071247*^9, 3.692969967399026*^9}, {3.6929723273345623`*^9, 
   3.692972328216229*^9}, {3.693035349340623*^9, 3.6930353502119703`*^9}, {
   3.6930355699753733`*^9, 3.693035595636127*^9}, {3.693207113500181*^9, 
   3.693207115163313*^9}, 3.693207212070443*^9, 3.693207343658268*^9, 
   3.693207420649187*^9, 3.693207504141968*^9, {3.6932076017905703`*^9, 
   3.693207605133793*^9}, 3.693220689616415*^9, 3.693220880436471*^9, 
   3.6932209724479513`*^9, {3.6932212052711983`*^9, 3.693221206502408*^9}, {
   3.6932219636054773`*^9, 3.693221965332404*^9}, {3.693222289989489*^9, 
   3.6932222901952543`*^9}, 3.693222390287603*^9, 3.693222472643437*^9, {
   3.693226559386046*^9, 3.693226560843586*^9}, 3.693226635253757*^9, {
   3.69322676573129*^9, 3.693226765874517*^9}, {3.693226947246191*^9, 
   3.693226947433886*^9}, {3.693227109498131*^9, 3.693227111049449*^9}, 
   3.693227896599907*^9, {3.6932281791185427`*^9, 3.6932281814377823`*^9}, {
   3.696658763363467*^9, 3.696658766626429*^9}, {3.696659067360214*^9, 
   3.6966590697840652`*^9}, {3.696659672099618*^9, 3.696659672538801*^9}, {
   3.696659715643456*^9, 3.696659716242687*^9}, {3.696660185121954*^9, 
   3.696660186376989*^9}, 3.696662580991661*^9, {3.77192696048866*^9, 
   3.771926965600669*^9}, {3.7719271841525183`*^9, 3.7719272014902887`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 FormBox["\<\"\\npreparing FORM code in /home/stefan/fc-amp-1.frm\"\>", 
  TraditionalForm]], "Print",
 CellChangeTimes->{{3.6929699577648582`*^9, 3.692969978477747*^9}, 
   3.692971759796733*^9, 3.6929723092282467`*^9, 3.692972346337326*^9, 
   3.692973964134646*^9, 3.6930299044876137`*^9, 3.693030006084147*^9, 
   3.693033613072447*^9, 3.693034666197928*^9, {3.6930353301460857`*^9, 
   3.693035351031476*^9}, {3.693035555883121*^9, 3.693035598838196*^9}, 
   3.6930359917208757`*^9, 3.693036166268862*^9, 3.693036196637843*^9, 
   3.693206648765996*^9, 3.693207126759091*^9, 3.693207352679781*^9, {
   3.6932074258371*^9, 3.6932074384603157`*^9}, 3.6932075156933413`*^9, 
   3.69320761499017*^9, 3.6932076972029257`*^9, 3.693220708373477*^9, 
   3.6932207670439177`*^9, 3.693220890393177*^9, 3.693220981268899*^9, 
   3.69322108768546*^9, 3.693221215199581*^9, 3.693221974494014*^9, 
   3.693222146717041*^9, 3.693222214019739*^9, 3.6932222955560713`*^9, 
   3.693222399754327*^9, 3.6932224815196953`*^9, 3.6932242688273153`*^9, 
   3.693226391448921*^9, 3.693226444344185*^9, 3.693226570460167*^9, 
   3.6932266436280327`*^9, 3.693226780611197*^9, 3.6932268582581997`*^9, {
   3.693226952082057*^9, 3.693226959637992*^9}, 3.693227135705565*^9, 
   3.693227432692416*^9, 3.693227905205521*^9, 3.693228191042951*^9, 
   3.6932308920035973`*^9, 3.693304643499206*^9, 3.69331518815702*^9, 
   3.6935539133711863`*^9, 3.693575375822056*^9, {3.69357544976167*^9, 
   3.693575456436715*^9}, 3.693576159721545*^9, 3.6935762843885317`*^9, 
   3.6935763917774887`*^9, 3.693579074225122*^9, 3.6936579811581097`*^9, 
   3.6936584384172792`*^9, 3.693658536044088*^9, 3.693660451305765*^9, 
   3.6966587668964376`*^9, 3.6966590724303017`*^9, 3.696659526577409*^9, {
   3.696659675091407*^9, 3.696659716452736*^9}, {3.69666018681292*^9, 
   3.696660189718773*^9}, 3.6966607110129137`*^9, {3.6966614069800386`*^9, 
   3.696661429062964*^9}, 3.696661461158248*^9, 3.696661584268834*^9, 
   3.696662023960533*^9, 3.696662581582411*^9, 3.7719269660780973`*^9, {
   3.771927185253001*^9, 3.771927201868536*^9}, 3.771927964854745*^9, 
   3.7719287096572847`*^9, 3.771928746780637*^9, 3.771928954011262*^9, 
   3.771929792638232*^9, 3.771935944567987*^9}],

Cell[BoxData[
 FormBox["\<\"running FORM... \"\>", TraditionalForm]], "Print",
 CellChangeTimes->{{3.6929699577648582`*^9, 3.692969978477747*^9}, 
   3.692971759796733*^9, 3.6929723092282467`*^9, 3.692972346337326*^9, 
   3.692973964134646*^9, 3.6930299044876137`*^9, 3.693030006084147*^9, 
   3.693033613072447*^9, 3.693034666197928*^9, {3.6930353301460857`*^9, 
   3.693035351031476*^9}, {3.693035555883121*^9, 3.693035598838196*^9}, 
   3.6930359917208757`*^9, 3.693036166268862*^9, 3.693036196637843*^9, 
   3.693206648765996*^9, 3.693207126759091*^9, 3.693207352679781*^9, {
   3.6932074258371*^9, 3.6932074384603157`*^9}, 3.6932075156933413`*^9, 
   3.69320761499017*^9, 3.6932076972029257`*^9, 3.693220708373477*^9, 
   3.6932207670439177`*^9, 3.693220890393177*^9, 3.693220981268899*^9, 
   3.69322108768546*^9, 3.693221215199581*^9, 3.693221974494014*^9, 
   3.693222146717041*^9, 3.693222214019739*^9, 3.6932222955560713`*^9, 
   3.693222399754327*^9, 3.6932224815196953`*^9, 3.6932242688273153`*^9, 
   3.693226391448921*^9, 3.693226444344185*^9, 3.693226570460167*^9, 
   3.6932266436280327`*^9, 3.693226780611197*^9, 3.6932268582581997`*^9, {
   3.693226952082057*^9, 3.693226959637992*^9}, 3.693227135705565*^9, 
   3.693227432692416*^9, 3.693227905205521*^9, 3.693228191042951*^9, 
   3.6932308920035973`*^9, 3.693304643499206*^9, 3.69331518815702*^9, 
   3.6935539133711863`*^9, 3.693575375822056*^9, {3.69357544976167*^9, 
   3.693575456436715*^9}, 3.693576159721545*^9, 3.6935762843885317`*^9, 
   3.6935763917774887`*^9, 3.693579074225122*^9, 3.6936579811581097`*^9, 
   3.6936584384172792`*^9, 3.693658536044088*^9, 3.693660451305765*^9, 
   3.6966587668964376`*^9, 3.6966590724303017`*^9, 3.696659526577409*^9, {
   3.696659675091407*^9, 3.696659716452736*^9}, {3.69666018681292*^9, 
   3.696660189718773*^9}, 3.6966607110129137`*^9, {3.6966614069800386`*^9, 
   3.696661429062964*^9}, 3.696661461158248*^9, 3.696661584268834*^9, 
   3.696662023960533*^9, 3.696662581582411*^9, 3.7719269660780973`*^9, {
   3.771927185253001*^9, 3.771927201868536*^9}, 3.771927964854745*^9, 
   3.7719287096572847`*^9, 3.771928746780637*^9, 3.771928954011262*^9, 
   3.771929792638232*^9, 3.77193594458253*^9}],

Cell[BoxData[
 FormBox["\<\"ok\\n\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{{3.6929699577648582`*^9, 3.692969978477747*^9}, 
   3.692971759796733*^9, 3.6929723092282467`*^9, 3.692972346337326*^9, 
   3.692973964134646*^9, 3.6930299044876137`*^9, 3.693030006084147*^9, 
   3.693033613072447*^9, 3.693034666197928*^9, {3.6930353301460857`*^9, 
   3.693035351031476*^9}, {3.693035555883121*^9, 3.693035598838196*^9}, 
   3.6930359917208757`*^9, 3.693036166268862*^9, 3.693036196637843*^9, 
   3.693206648765996*^9, 3.693207126759091*^9, 3.693207352679781*^9, {
   3.6932074258371*^9, 3.6932074384603157`*^9}, 3.6932075156933413`*^9, 
   3.69320761499017*^9, 3.6932076972029257`*^9, 3.693220708373477*^9, 
   3.6932207670439177`*^9, 3.693220890393177*^9, 3.693220981268899*^9, 
   3.69322108768546*^9, 3.693221215199581*^9, 3.693221974494014*^9, 
   3.693222146717041*^9, 3.693222214019739*^9, 3.6932222955560713`*^9, 
   3.693222399754327*^9, 3.6932224815196953`*^9, 3.6932242688273153`*^9, 
   3.693226391448921*^9, 3.693226444344185*^9, 3.693226570460167*^9, 
   3.6932266436280327`*^9, 3.693226780611197*^9, 3.6932268582581997`*^9, {
   3.693226952082057*^9, 3.693226959637992*^9}, 3.693227135705565*^9, 
   3.693227432692416*^9, 3.693227905205521*^9, 3.693228191042951*^9, 
   3.6932308920035973`*^9, 3.693304643499206*^9, 3.69331518815702*^9, 
   3.6935539133711863`*^9, 3.693575375822056*^9, {3.69357544976167*^9, 
   3.693575456436715*^9}, 3.693576159721545*^9, 3.6935762843885317`*^9, 
   3.6935763917774887`*^9, 3.693579074225122*^9, 3.6936579811581097`*^9, 
   3.6936584384172792`*^9, 3.693658536044088*^9, 3.693660451305765*^9, 
   3.6966587668964376`*^9, 3.6966590724303017`*^9, 3.696659526577409*^9, {
   3.696659675091407*^9, 3.696659716452736*^9}, {3.69666018681292*^9, 
   3.696660189718773*^9}, 3.6966607110129137`*^9, {3.6966614069800386`*^9, 
   3.696661429062964*^9}, 3.696661461158248*^9, 3.696661584268834*^9, 
   3.696662023960533*^9, 3.696662581582411*^9, 3.7719269660780973`*^9, {
   3.771927185253001*^9, 3.771927201868536*^9}, 3.771927964854745*^9, 
   3.7719287096572847`*^9, 3.771928746780637*^9, 3.771928954011262*^9, 
   3.771929792638232*^9, 3.771935944626369*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData["res"], "Input",
 CellChangeTimes->{{3.696660190669626*^9, 3.696660191558496*^9}, {
  3.771926971320346*^9, 3.771926972413864*^9}}],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"Amp", "(", 
    RowBox[{
     RowBox[{"(", "\[NoBreak]", GridBox[{
        {
         RowBox[{"F", "(", 
          RowBox[{"2", ",", 
           RowBox[{"{", "2", "}"}]}], ")"}], 
         RowBox[{"k", "(", "1", ")"}], "MM", 
         RowBox[{"{", 
          RowBox[{
           RowBox[{"-", "Charge"}], ",", "LeptonNumber"}], "}"}]}
       },
       GridBoxAlignment->{
        "Columns" -> {{Center}}, "ColumnsIndexed" -> {}, 
         "Rows" -> {{Baseline}}, "RowsIndexed" -> {}},
       GridBoxSpacings->{"Columns" -> {
           Offset[0.27999999999999997`], {
            Offset[0.7]}, 
           Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
           Offset[0.2], {
            Offset[0.4]}, 
           Offset[0.2]}, "RowsIndexed" -> {}}], "\[NoBreak]", ")"}], 
     "\[Rule]", 
     RowBox[{"(", "\[NoBreak]", GridBox[{
        {
         RowBox[{"-", 
          RowBox[{"F", "(", 
           RowBox[{"1", ",", 
            RowBox[{"{", "1", "}"}]}], ")"}]}], 
         RowBox[{"k", "(", "2", ")"}], "0", 
         RowBox[{"{", 
          RowBox[{"0", ",", 
           RowBox[{"-", "LeptonNumber"}]}], "}"}]},
        {
         RowBox[{"F", "(", 
          RowBox[{"2", ",", 
           RowBox[{"{", "1", "}"}]}], ")"}], 
         RowBox[{"k", "(", "3", ")"}], "ME", 
         RowBox[{"{", 
          RowBox[{
           RowBox[{"-", "Charge"}], ",", "LeptonNumber"}], "}"}]},
        {
         RowBox[{"F", "(", 
          RowBox[{"1", ",", 
           RowBox[{"{", "2", "}"}]}], ")"}], 
         RowBox[{"k", "(", "4", ")"}], "0", 
         RowBox[{"{", 
          RowBox[{"0", ",", "LeptonNumber"}], "}"}]}
       },
       GridBoxAlignment->{
        "Columns" -> {{Center}}, "ColumnsIndexed" -> {}, 
         "Rows" -> {{Baseline}}, "RowsIndexed" -> {}},
       GridBoxSpacings->{"Columns" -> {
           Offset[0.27999999999999997`], {
            Offset[0.7]}, 
           Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
           Offset[0.2], {
            Offset[0.4]}, 
           Offset[0.2]}, "RowsIndexed" -> {}}], "\[NoBreak]", ")"}]}], ")"}], 
   "\[InvisibleApplication]", 
   RowBox[{"(", 
    RowBox[{
     FractionBox[
      RowBox[{"4", " ", "\[Pi]", " ", "Alfa", " ", 
       RowBox[{"Mat", "(", "F1", ")"}], " ", 
       RowBox[{"Den", "(", 
        RowBox[{
         RowBox[{"MM2", "-", 
          RowBox[{"2", " ", 
           RowBox[{"Pair", "(", 
            RowBox[{
             RowBox[{"k", "(", "1", ")"}], ",", 
             RowBox[{"k", "(", "4", ")"}]}], ")"}]}]}], ",", "MW2"}], ")"}]}],
       "SW2"], "+", 
     FractionBox[
      RowBox[{"\[Pi]", " ", "Alfa", " ", "ME", " ", "MM", " ", 
       RowBox[{"Mat", "(", "F2", ")"}], " ", 
       RowBox[{"Den", "(", 
        RowBox[{
         RowBox[{"MM2", "-", 
          RowBox[{"2", " ", 
           RowBox[{"Pair", "(", 
            RowBox[{
             RowBox[{"k", "(", "1", ")"}], ",", 
             RowBox[{"k", "(", "4", ")"}]}], ")"}]}]}], ",", "MW2"}], ")"}]}], 
      RowBox[{"MW2", " ", "SW2"}]]}], ")"}]}], TraditionalForm]], "Output",
 CellChangeTimes->{
  3.696660191811145*^9, 3.696660712852861*^9, 3.6966614133856173`*^9, 
   3.6966615854020567`*^9, 3.6966620261941032`*^9, 3.6966625826466722`*^9, 
   3.7719269728612957`*^9, {3.77192718903344*^9, 3.771927202776854*^9}, 
   3.771927964977768*^9, 3.771928709772875*^9, 3.771928746888467*^9, 
   3.77192895406468*^9, 3.7719297927782173`*^9, 3.771935944886663*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
    RowBox[{
    "This", " ", "includes", " ", "the", " ", "following", " ", 
     "abbreviations", " ", "for", " ", "the", " ", "fermion", " ", "traces"}],
     ",", " ", 
    RowBox[{
     RowBox[{
     "6", " ", "and", " ", "7", " ", "stand", " ", "for", " ", "the", " ", 
      "projection", " ", "operators", " ", "including", " ", "gamma_", "5"}], 
     ":"}]}], "*)"}], "\[IndentingNewLine]", 
  RowBox[{"Abbr", "[", "]"}]}]], "Input",
 CellChangeTimes->{{3.771927075354731*^9, 3.7719271255761137`*^9}}],

Cell[BoxData[
 FormBox[
  RowBox[{"{", 
   RowBox[{
    RowBox[{"F1", "\[Rule]", 
     RowBox[{
      RowBox[{"(", 
       FormBox[
        InterpretationBox[
         RowBox[{"\<\"<\"\>", "\[InvisibleSpace]", "\<\"v\"\>", 
          "\[InvisibleSpace]", "1", "\[InvisibleSpace]", "\<\"|\"\>", 
          "\[InvisibleSpace]", "7", "\[InvisibleSpace]", "\<\"|\"\>", 
          "\[InvisibleSpace]", "\<\"v\"\>", "\[InvisibleSpace]", "2", 
          "\[InvisibleSpace]", "\<\">\"\>"}],
         SequenceForm["<", "v", 1, "|", 7, "|", "v", 2, ">"],
         Editable->False],
        TraditionalForm], ")"}], " ", 
      RowBox[{"(", 
       FormBox[
        InterpretationBox[
         RowBox[{"\<\"<\"\>", "\[InvisibleSpace]", "\<\"u\"\>", 
          "\[InvisibleSpace]", "3", "\[InvisibleSpace]", "\<\"|\"\>", 
          "\[InvisibleSpace]", "6", "\[InvisibleSpace]", "\<\"|\"\>", 
          "\[InvisibleSpace]", "\<\"v\"\>", "\[InvisibleSpace]", "4", 
          "\[InvisibleSpace]", "\<\">\"\>"}],
         SequenceForm["<", "u", 3, "|", 6, "|", "v", 4, ">"],
         Editable->False],
        TraditionalForm], ")"}]}]}], ",", 
    RowBox[{"F2", "\[Rule]", 
     RowBox[{
      RowBox[{"(", 
       FormBox[
        InterpretationBox[
         RowBox[{"\<\"<\"\>", "\[InvisibleSpace]", "\<\"v\"\>", 
          "\[InvisibleSpace]", "1", "\[InvisibleSpace]", "\<\"|\"\>", 
          "\[InvisibleSpace]", "6", "\[InvisibleSpace]", "\<\",\"\>", 
          "\[InvisibleSpace]", 
          RowBox[{"Lor", "(", "1", ")"}], "\[InvisibleSpace]", "\<\"|\"\>", 
          "\[InvisibleSpace]", "\<\"v\"\>", "\[InvisibleSpace]", "2", 
          "\[InvisibleSpace]", "\<\">\"\>"}],
         SequenceForm["<", "v", 1, "|", 6, ",", 
          FormCalc`Lor[1], "|", "v", 2, ">"],
         Editable->False],
        TraditionalForm], ")"}], " ", 
      RowBox[{"(", 
       FormBox[
        InterpretationBox[
         RowBox[{"\<\"<\"\>", "\[InvisibleSpace]", "\<\"u\"\>", 
          "\[InvisibleSpace]", "3", "\[InvisibleSpace]", "\<\"|\"\>", 
          "\[InvisibleSpace]", "7", "\[InvisibleSpace]", "\<\",\"\>", 
          "\[InvisibleSpace]", 
          RowBox[{"Lor", "(", "1", ")"}], "\[InvisibleSpace]", "\<\"|\"\>", 
          "\[InvisibleSpace]", "\<\"v\"\>", "\[InvisibleSpace]", "4", 
          "\[InvisibleSpace]", "\<\">\"\>"}],
         SequenceForm["<", "u", 3, "|", 7, ",", 
          FormCalc`Lor[1], "|", "v", 4, ">"],
         Editable->False],
        TraditionalForm], ")"}]}]}]}], "}"}], TraditionalForm]], "Output",
 CellChangeTimes->{{3.771927077075931*^9, 3.771927126710391*^9}, {
   3.77192719067601*^9, 3.771927203822864*^9}, 3.771927235073574*^9, 
   3.771927965023246*^9, 3.771928709820957*^9, 3.771928746936768*^9, 
   3.771928954110448*^9, 3.7719297928421907`*^9, 3.771935944997381*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
   "Perform", " ", "external", " ", "spin", " ", "sums", " ", "for", " ", 
    RowBox[{"fermions", ":"}]}], "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"Hel", "[", "a__", "]"}], ":=", "0"}], ";", 
   RowBox[{"(*", 
    RowBox[{
     RowBox[{
     "Due", " ", "to", " ", "this", " ", "setting", " ", "we", " ", "have", 
      " ", "to", " ", "multiply", " ", "by", " ", "two", " ", "for", " ", 
      "each", " ", "external", " ", 
      RowBox[{"fermion", ".", " ", "For"}], " ", "the", " ", "initial", " ", 
      "state", " ", "fermion", " ", "we", " ", "have", " ", "to", " ", 
      "average"}], ",", " ", 
     RowBox[{
      RowBox[{"which", " ", "results", " ", "in", " ", 
       RowBox[{
        RowBox[{"2", "^", "4"}], "/", "2"}]}], "=", 
      RowBox[{
       RowBox[{"2", "^", "3"}], "=", "8"}]}]}], "*)"}], "\[IndentingNewLine]", 
   RowBox[{"hel", "=", 
    RowBox[{"HelicityME", "[", "All", "]"}]}], ";"}]}]], "Input",
 CellChangeTimes->{{3.466748757937398*^9, 3.4667487607638903`*^9}, {
   3.4668486929416513`*^9, 3.466848693947762*^9}, {3.6936604293506517`*^9, 
   3.693660431406057*^9}, {3.6966595674273443`*^9, 3.696659568859344*^9}, {
   3.7719269853263063`*^9, 3.771926995848501*^9}, {3.771928259887252*^9, 
   3.771928315524646*^9}, 3.771928449845031*^9, {3.771928650817225*^9, 
   3.771928682092103*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"> \"\>", "\[InvisibleSpace]", "4", 
    "\[InvisibleSpace]", "\<\" helicity matrix elements\"\>"}],
   SequenceForm["> ", 4, " helicity matrix elements"],
   Editable->False], TraditionalForm]], "Print",
 CellChangeTimes->{
  3.696661589038361*^9, 3.696662033879142*^9, 3.696662587018372*^9, 
   3.771926996298407*^9, 3.7719271278954573`*^9, {3.7719271912268753`*^9, 
   3.7719272047057133`*^9}, 3.7719279650744963`*^9, 3.77192831830206*^9, 
   3.771928450248543*^9, {3.771928684283492*^9, 3.77192870987423*^9}, 
   3.771928746990774*^9, 3.771928954166613*^9, 3.7719297928999777`*^9, 
   3.771935945111658*^9}],

Cell[BoxData[
 FormBox["\<\"\\npreparing FORM code in /home/stefan/fc-hel-1.frm\"\>", 
  TraditionalForm]], "Print",
 CellChangeTimes->{
  3.696661589038361*^9, 3.696662033879142*^9, 3.696662587018372*^9, 
   3.771926996298407*^9, 3.7719271278954573`*^9, {3.7719271912268753`*^9, 
   3.7719272047057133`*^9}, 3.7719279650744963`*^9, 3.77192831830206*^9, 
   3.771928450248543*^9, {3.771928684283492*^9, 3.77192870987423*^9}, 
   3.771928746990774*^9, 3.771928954166613*^9, 3.7719297928999777`*^9, 
   3.771935945113256*^9}],

Cell[BoxData[
 FormBox["\<\"running FORM... \"\>", TraditionalForm]], "Print",
 CellChangeTimes->{
  3.696661589038361*^9, 3.696662033879142*^9, 3.696662587018372*^9, 
   3.771926996298407*^9, 3.7719271278954573`*^9, {3.7719271912268753`*^9, 
   3.7719272047057133`*^9}, 3.7719279650744963`*^9, 3.77192831830206*^9, 
   3.771928450248543*^9, {3.771928684283492*^9, 3.77192870987423*^9}, 
   3.771928746990774*^9, 3.771928954166613*^9, 3.7719297928999777`*^9, 
   3.771935945119063*^9}],

Cell[BoxData[
 FormBox["\<\"ok\\n\"\>", TraditionalForm]], "Print",
 CellChangeTimes->{
  3.696661589038361*^9, 3.696662033879142*^9, 3.696662587018372*^9, 
   3.771926996298407*^9, 3.7719271278954573`*^9, {3.7719271912268753`*^9, 
   3.7719272047057133`*^9}, 3.7719279650744963`*^9, 3.77192831830206*^9, 
   3.771928450248543*^9, {3.771928684283492*^9, 3.77192870987423*^9}, 
   3.771928746990774*^9, 3.771928954166613*^9, 3.7719297928999777`*^9, 
   3.771935945166019*^9}]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{"Square", " ", "the", " ", 
    RowBox[{"amplitude", ":"}]}], "*)"}], "\[IndentingNewLine]", 
  RowBox[{"squared", "=", 
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{"8", "*", 
       RowBox[{"SquaredME", "[", 
        RowBox[{"res", ",", "res"}], "]"}]}], "//.", "hel"}], "//.", 
     RowBox[{"Abbr", "[", "]"}]}], "//", "Simplify"}]}]}]], "Input",
 CellChangeTimes->{{3.478501973902817*^9, 3.4785019890725803`*^9}, 
   3.478512803033025*^9, {3.692947711206853*^9, 3.692947712454677*^9}, {
   3.692956689101301*^9, 3.6929566900851297`*^9}, {3.6929618100380707`*^9, 
   3.692961811157999*^9}, {3.692962583857456*^9, 3.692962584891571*^9}, {
   3.771927002504579*^9, 3.7719270233682528`*^9}, 3.7719270553733797`*^9, {
   3.77192721372528*^9, 3.7719272165520697`*^9}, {3.77192729441317*^9, 
   3.771927379224575*^9}, {3.771927565697176*^9, 3.771927664753275*^9}, 
   3.7719277054358273`*^9, {3.7719279913190947`*^9, 3.771927994715354*^9}, {
   3.771928029862417*^9, 3.771928031437448*^9}, {3.771928128901186*^9, 
   3.7719281363044767`*^9}, {3.771928322852652*^9, 3.771928323156361*^9}, 
   3.771928454572805*^9, {3.7719286868360453`*^9, 3.771928691187611*^9}}],

Cell[BoxData[
 FormBox[
  FractionBox[
   RowBox[{"8", " ", 
    SuperscriptBox["\[Pi]", "2"], " ", "Alfa2", " ", 
    SuperscriptBox[
     RowBox[{"Den", "(", 
      RowBox[{
       RowBox[{"MM2", "-", 
        RowBox[{"2", " ", 
         RowBox[{"Pair", "(", 
          RowBox[{
           RowBox[{"k", "(", "1", ")"}], ",", 
           RowBox[{"k", "(", "4", ")"}]}], ")"}]}]}], ",", "MW2"}], ")"}], 
     "2"], " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", 
       RowBox[{"2", " ", "ME2", " ", "MM2", " ", "MW2", " ", 
        RowBox[{"Pair", "(", 
         RowBox[{
          RowBox[{"k", "(", "2", ")"}], ",", 
          RowBox[{"k", "(", "4", ")"}]}], ")"}]}]}], "+", 
      RowBox[{"ME2", " ", "MM2", " ", 
       RowBox[{"Pair", "(", 
        RowBox[{
         RowBox[{"k", "(", "1", ")"}], ",", 
         RowBox[{"k", "(", "4", ")"}]}], ")"}], " ", 
       RowBox[{"Pair", "(", 
        RowBox[{
         RowBox[{"k", "(", "2", ")"}], ",", 
         RowBox[{"k", "(", "3", ")"}]}], ")"}]}], "+", 
      RowBox[{"4", " ", 
       SuperscriptBox["MW2", "2"], " ", 
       RowBox[{"Pair", "(", 
        RowBox[{
         RowBox[{"k", "(", "1", ")"}], ",", 
         RowBox[{"k", "(", "2", ")"}]}], ")"}], " ", 
       RowBox[{"Pair", "(", 
        RowBox[{
         RowBox[{"k", "(", "3", ")"}], ",", 
         RowBox[{"k", "(", "4", ")"}]}], ")"}]}]}], ")"}]}], 
   RowBox[{
    SuperscriptBox["MW2", "2"], " ", 
    SuperscriptBox["SW2", "2"]}]], TraditionalForm]], "Output",
 CellChangeTimes->{{3.7719270173422728`*^9, 3.771927023971779*^9}, 
   3.7719271287391644`*^9, {3.7719271921225977`*^9, 3.771927216988812*^9}, {
   3.7719273240854177`*^9, 3.771927379637025*^9}, {3.7719275978281937`*^9, 
   3.771927667444289*^9}, 3.7719277058025427`*^9, {3.7719279652482758`*^9, 
   3.771927995191416*^9}, 3.771928031870322*^9, {3.771928131383567*^9, 
   3.771928136704611*^9}, {3.771928319137062*^9, 3.7719283236439333`*^9}, {
   3.771928451033781*^9, 3.771928455072795*^9}, {3.771928691655167*^9, 
   3.771928709934659*^9}, 3.771928747050997*^9, 3.7719289542332706`*^9, 
   3.7719297930232153`*^9, {3.7719359112155113`*^9, 3.771935945292809*^9}}]
}, Open  ]],

Cell[BoxData[
 RowBox[{"(*", 
  RowBox[{
   RowBox[{"k1", "\[Rule]", "k2"}], ",", "k3", ",", 
   RowBox[{
   "k4", " ", "are", " ", "the", " ", "momenta", " ", "of", " ", "the", " ", 
    "particles"}], ",", " ", 
   RowBox[{"see", " ", "bracket", " ", "above"}], ",", " ", 
   RowBox[{"MM2", " ", "is", " ", 
    RowBox[{"m_mu", "^", "2"}]}], ",", " ", 
   RowBox[{"ME2", " ", "is", " ", 
    RowBox[{"m_e", "^", "2"}]}], ",", " ", 
   RowBox[{
   "SW2", " ", "is", " ", "the", " ", "square", " ", "of", " ", "the", " ", 
    "weak", " ", "mixing", " ", "angle"}], ",", " ", 
   RowBox[{
   "MW2", " ", "is", " ", "the", " ", "square", " ", "of", " ", "the", " ", 
    "mass", " ", "of", " ", "the", " ", "W", " ", 
    RowBox[{"boson", "."}]}]}], "*)"}]], "Input",
 CellChangeTimes->{{3.7719272449473543`*^9, 3.771927282367641*^9}, {
  3.771928935624596*^9, 3.771928943796692*^9}, {3.771930156324439*^9, 
  3.771930159223339*^9}}],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"backtoGF", "=", 
   RowBox[{"{", 
    RowBox[{"MW2", "\[Rule]", 
     RowBox[{"(", 
      RowBox[{"\[Pi]", "*", 
       RowBox[{
        RowBox[{
         RowBox[{"Alfa", "/", "SW2"}], "/", 
         RowBox[{"Sqrt", "[", "2", "]"}]}], "/", "GF"}]}], ")"}]}], "}"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"squared", "//.", 
     RowBox[{"ME2", "\[Rule]", "0"}]}], "//.", 
    RowBox[{
     RowBox[{"Den", "[", 
      RowBox[{"a_", ",", "b_"}], "]"}], "\[Rule]", 
     RowBox[{"1", "/", 
      RowBox[{"(", 
       RowBox[{"-", "b"}], ")"}]}]}]}], "//.", "backtoGF"}], "//", 
  "Expand"}]}], "Input",
 CellChangeTimes->{{3.771928197207285*^9, 3.771928203389402*^9}, {
   3.7719285085881157`*^9, 3.771928559597735*^9}, 3.771928591091337*^9, {
   3.771928634609723*^9, 3.7719286393842163`*^9}, 3.7719359168922462`*^9, {
   3.77193595835235*^9, 3.7719359598356123`*^9}, {3.771936111688945*^9, 
   3.7719361244198523`*^9}}],

Cell[BoxData[
 FormBox[
  RowBox[{"64", " ", 
   SuperscriptBox["GF", "2"], " ", 
   RowBox[{"Pair", "(", 
    RowBox[{
     RowBox[{"k", "(", "1", ")"}], ",", 
     RowBox[{"k", "(", "2", ")"}]}], ")"}], " ", 
   RowBox[{"Pair", "(", 
    RowBox[{
     RowBox[{"k", "(", "3", ")"}], ",", 
     RowBox[{"k", "(", "4", ")"}]}], ")"}]}], TraditionalForm]], "Output",
 CellChangeTimes->{
  3.771928203637104*^9, 3.771928326106086*^9, 3.7719284589723167`*^9, 
   3.771928524614045*^9, 3.7719285598445187`*^9, 3.771928591480699*^9, {
   3.77192863516683*^9, 3.771928639676404*^9}, {3.771928693044487*^9, 
   3.771928709989072*^9}, 3.771928747118178*^9, 3.7719289543009853`*^9, 
   3.771929793100505*^9, {3.771935917282802*^9, 3.771935960144638*^9}, {
   3.7719361143724823`*^9, 3.7719361246917057`*^9}}]
}, Open  ]],

Cell[BoxData[
 RowBox[{"(*", 
  RowBox[{
   RowBox[{"This", " ", "is", " ", "the", " ", "same", " ", "as", " ", 
    RowBox[{"(", 
     RowBox[{"k1", "*", "k4"}], ")"}], "*", 
    RowBox[{"(", 
     RowBox[{"k2", "*", "k3"}], ")"}], " ", "after", " ", "applying", " ", 
    "momentum", " ", "conservation", " ", "and", " ", "using", " ", 
    RowBox[{"k2", "^", "2"}]}], "=", 
   RowBox[{
    RowBox[{"k4", "^", "2"}], "=", "0"}]}], "*)"}]], "Input",
 CellChangeTimes->{{3.771930397395522*^9, 3.771930588325727*^9}, {
  3.771930639407909*^9, 3.771930660347233*^9}}],

Cell[BoxData[
 RowBox[{"(*", 
  RowBox[{
  "The", " ", "phase", " ", "space", " ", "still", " ", "needs", " ", "to", 
   " ", "be", " ", "performed", " ", "by", " ", 
   RowBox[{"hand", "!"}]}], "*)"}]], "Input",
 CellChangeTimes->{{3.7719287189502993`*^9, 3.7719287325714808`*^9}}]
},
AutoGeneratedPackage->None,
WindowSize->{1855, 1056},
WindowMargins->{{0, Automatic}, {Automatic, 0}},
PrintingCopies->1,
PrintingPageRange->{Automatic, Automatic},
PrintingOptions->{"PaperOrientation"->"Portrait",
"PaperSize"->{594.75, 842.25},
"PostScriptOutputFile"->"/home/stefan/print.pdf"},
PrivateNotebookOptions->{"VersionedStylesheet"->{"Default.nb"[8.] -> False}},
ShowSelection->True,
FrontEndVersion->"11.0 for Linux x86 (64-bit) (July 28, 2016)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[567, 22, 1263, 25, 91, "Input"],
Cell[CellGroupData[{
Cell[1855, 51, 3757, 54, 23, "Print"],
Cell[5615, 107, 3783, 54, 23, "Print"],
Cell[9401, 163, 3805, 55, 23, "Print"],
Cell[13209, 220, 3757, 54, 23, "Print"],
Cell[16969, 276, 3780, 54, 23, "Print"],
Cell[20752, 332, 3769, 54, 23, "Print"]
}, Open  ]]
}, Open  ]],
Cell[24548, 390, 773, 16, 35, "Input"],
Cell[CellGroupData[{
Cell[25346, 410, 78, 2, 32, "Input"],
Cell[CellGroupData[{
Cell[25449, 416, 3947, 59, 23, "Print"],
Cell[29399, 477, 3945, 59, 23, "Print"],
Cell[33347, 538, 3945, 59, 23, "Print"],
Cell[37295, 599, 3945, 59, 23, "Print"],
Cell[41243, 660, 8679, 173, 296, "Print"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[49971, 839, 2715, 58, 59, "Input"],
Cell[CellGroupData[{
Cell[52711, 901, 126, 2, 23, "Print"],
Cell[52840, 905, 579, 14, 23, "Print"],
Cell[53422, 921, 149, 2, 23, "Print"],
Cell[53574, 925, 375, 8, 23, "Print"],
Cell[53952, 935, 126, 2, 23, "Print"],
Cell[54081, 939, 565, 13, 23, "Print"],
Cell[54649, 954, 124, 2, 23, "Print"],
Cell[54776, 958, 786, 21, 23, "Print"],
Cell[55565, 981, 126, 2, 23, "Print"],
Cell[55694, 985, 447, 9, 23, "Print"],
Cell[56144, 996, 148, 2, 23, "Print"],
Cell[56295, 1000, 300, 7, 23, "Print"],
Cell[56598, 1009, 332, 7, 23, "Print"],
Cell[56933, 1018, 328, 7, 23, "Print"],
Cell[57264, 1027, 365, 8, 23, "Print"],
Cell[57632, 1037, 126, 2, 23, "Print"],
Cell[57761, 1041, 411, 10, 23, "Print"],
Cell[58175, 1053, 428, 10, 23, "Print"],
Cell[58606, 1065, 428, 10, 23, "Print"],
Cell[59037, 1077, 428, 10, 23, "Print"],
Cell[59468, 1089, 427, 10, 23, "Print"],
Cell[59898, 1101, 359, 9, 23, "Print"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[60306, 1116, 613, 12, 56, "Input"],
Cell[CellGroupData[{
Cell[60944, 1132, 1842, 30, 23, "Print"],
Cell[62789, 1164, 28664, 649, 296, "Print"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[91502, 1819, 394, 8, 35, "Input"],
Cell[CellGroupData[{
Cell[91921, 1831, 517, 8, 23, "Print"],
Cell[92441, 1841, 821, 16, 23, "Print"],
Cell[93265, 1859, 819, 16, 23, "Print"],
Cell[94087, 1877, 750, 15, 23, "Print"]
}, Open  ]]
}, Open  ]],
Cell[94864, 1896, 143, 3, 32, "Input"],
Cell[CellGroupData[{
Cell[95032, 1903, 3838, 57, 35, "Input"],
Cell[CellGroupData[{
Cell[98895, 1964, 2253, 32, 43, "Print"],
Cell[101151, 1998, 2214, 31, 23, "Print"],
Cell[103368, 2031, 2204, 31, 43, "Print"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[105621, 2068, 144, 2, 30, "Input"],
Cell[105768, 2072, 3518, 94, 69, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[109323, 2171, 563, 14, 54, "Input"],
Cell[109889, 2187, 2802, 61, 31, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[112728, 2253, 1404, 31, 95, "Input"],
Cell[CellGroupData[{
Cell[114157, 2288, 671, 13, 23, "Print"],
Cell[114831, 2303, 523, 9, 43, "Print"],
Cell[115357, 2314, 485, 8, 23, "Print"],
Cell[115845, 2324, 474, 8, 43, "Print"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[116368, 2338, 1219, 23, 52, "Input"],
Cell[117590, 2363, 2162, 53, 62, "Output"]
}, Open  ]],
Cell[119767, 2419, 932, 21, 54, "Input"],
Cell[CellGroupData[{
Cell[120724, 2444, 996, 28, 54, "Input"],
Cell[121723, 2474, 798, 18, 33, "Output"]
}, Open  ]],
Cell[122536, 2495, 565, 13, 32, "Input"],
Cell[123104, 2510, 282, 6, 32, "Input"]
}
]
*)