﻿// WARNING: This .txt file is generated from the corresponding .tt file. DO NOT edit this .txt directly.

`` T := [true, true, false, false]->Tensor.From(2,2);
`` U := [true, true, false, false]->Tensor.From(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := [true, true, false, false]->Tensor.From(2,2);
`` U := true->Tensor.Fill(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := [true, true, false, false]->Tensor.From(2,2);
`` U := false->Tensor.Fill(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := [true, true, false, false]->Tensor.From(2,2);
`` U := Range(10)->(it mod 4 < 2)->Tensor.From(2,5);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := [true, true, false, false]->Tensor.From(2,2);
`` U := Range(12)->(it mod 6 >= 3)->Tensor.From(3,2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := [true, true, false, false]->Tensor.From(2,2);
`` U := true->Tensor.Fill(0);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := true->Tensor.Fill(2,2);
`` U := [true, true, false, false]->Tensor.From(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := true->Tensor.Fill(2,2);
`` U := true->Tensor.Fill(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := true->Tensor.Fill(2,2);
`` U := false->Tensor.Fill(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := true->Tensor.Fill(2,2);
`` U := Range(10)->(it mod 4 < 2)->Tensor.From(2,5);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := true->Tensor.Fill(2,2);
`` U := Range(12)->(it mod 6 >= 3)->Tensor.From(3,2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := true->Tensor.Fill(2,2);
`` U := true->Tensor.Fill(0);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := false->Tensor.Fill(2,2);
`` U := [true, true, false, false]->Tensor.From(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := false->Tensor.Fill(2,2);
`` U := true->Tensor.Fill(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := false->Tensor.Fill(2,2);
`` U := false->Tensor.Fill(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := false->Tensor.Fill(2,2);
`` U := Range(10)->(it mod 4 < 2)->Tensor.From(2,5);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := false->Tensor.Fill(2,2);
`` U := Range(12)->(it mod 6 >= 3)->Tensor.From(3,2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := false->Tensor.Fill(2,2);
`` U := true->Tensor.Fill(0);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := Range(10)->(it mod 4 < 2)->Tensor.From(2,5);
`` U := [true, true, false, false]->Tensor.From(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := Range(10)->(it mod 4 < 2)->Tensor.From(2,5);
`` U := true->Tensor.Fill(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := Range(10)->(it mod 4 < 2)->Tensor.From(2,5);
`` U := false->Tensor.Fill(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := Range(10)->(it mod 4 < 2)->Tensor.From(2,5);
`` U := Range(10)->(it mod 4 < 2)->Tensor.From(2,5);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := Range(10)->(it mod 4 < 2)->Tensor.From(2,5);
`` U := Range(12)->(it mod 6 >= 3)->Tensor.From(3,2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := Range(10)->(it mod 4 < 2)->Tensor.From(2,5);
`` U := true->Tensor.Fill(0);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := Range(12)->(it mod 6 >= 3)->Tensor.From(3,2,2);
`` U := [true, true, false, false]->Tensor.From(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := Range(12)->(it mod 6 >= 3)->Tensor.From(3,2,2);
`` U := true->Tensor.Fill(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := Range(12)->(it mod 6 >= 3)->Tensor.From(3,2,2);
`` U := false->Tensor.Fill(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := Range(12)->(it mod 6 >= 3)->Tensor.From(3,2,2);
`` U := Range(10)->(it mod 4 < 2)->Tensor.From(2,5);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := Range(12)->(it mod 6 >= 3)->Tensor.From(3,2,2);
`` U := Range(12)->(it mod 6 >= 3)->Tensor.From(3,2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := Range(12)->(it mod 6 >= 3)->Tensor.From(3,2,2);
`` U := true->Tensor.Fill(0);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := true->Tensor.Fill(0);
`` U := [true, true, false, false]->Tensor.From(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := true->Tensor.Fill(0);
`` U := true->Tensor.Fill(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := true->Tensor.Fill(0);
`` U := false->Tensor.Fill(2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := true->Tensor.Fill(0);
`` U := Range(10)->(it mod 4 < 2)->Tensor.From(2,5);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := true->Tensor.Fill(0);
`` U := Range(12)->(it mod 6 >= 3)->Tensor.From(3,2,2);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

`` T := true->Tensor.Fill(0);
`` U := true->Tensor.Fill(0);
({'  T': T }, {'  U': U }, {'Add': T->Add(U) }, {'Sub': T->Sub(U) }, {'Mul': T->Mul(U) }, {'Div': T->Div(U) }, {'Min': T->Min(U) }, {'Max': T->Max(U) })

