Get["d:/groebner/mreduction/SBases_2.0.0.m"];
Get["d:/groebner/mreduction/FIRE_2.6.4.m"];
Get["d:/groebner/IBP/IBP.m"]
Internal={k};
External={p1,p2,p4};
Propagators={-k^2,-(k+p1)^2,-(k+p1+p2)^2,-(k+p1+p2+p4)^2};
PrepareIBP[];
reps= {p1^2->0,p2^2->0,p4^2->0,p1 p2->s/2,p2 p4->t/2,p1 p4->-s/2-t/2};
startinglist={IBP[k,k] ,IBP[k,p1] ,IBP[k,p2],IBP[k,p4] }/.reps;
RESTRICTIONS={{-1,-1,0,0},{0,-1,-1,0},{0,0,-1,-1}, {-1,0,0,-1}};
SYMMETRIES={{3,2,1,4},{1,4,3,2},{3,4,1,2}};   
Prepare[];
SaveStart["box"];
Burn[];

F[{2,2,2,2}]

BuildBasis[{1,1,1,1},(({{1, 1, 1, 1}, {1, 1, 1, 0}, {1, 1, 0, 0}, {1, 0, 0, 0}}))]

BuildBasis[{-1,1,1,1},(({{1, 1, 1, 1}, {1, 1, 1, 0}, {1, 1, 0, 0}, {1, 0, 0, 0}}))]

BuildBasis[{1,-1,1,1},(({{1, 1, 1, 1}, {1, 1, 1, 0}, {1, 1, 0, 0}, {1, 0, 0, 0}}))]

BuildBasis[{-1,1,-1,1},(({{1, 1, 1, 1}, {1, 1, 1, 0}, {1, 1, 0, 0}, {1, 0, 0, 0}}))]

BuildBasis[{1,-1,1,-1},(({{1, 1, 1, 1}, {1, 1, 1, 0}, {1, 1, 0, 0}, {1, 0, 0, 0}}))]

Info[{0,0,0,0}]

SaveSBases["box"]

Burn[]

F[{2,2,2,2}]