anchor.diff:      let ukraineSquad = { Team = ukraine
                            Players = [ (* TODO *) ] }
   
  -    (* let a = { Name = ""; Team = b; Type = Goalkeeper; Status = OriginalSquad }
  -    let a = { Name = ""; Team = b; Type = Defender; Status = OriginalSquad }
  -    let a = { Name = ""; Team = b; Type = Midfielder; Status = OriginalSquad }
  -    let a = { Name = ""; Team = b; Type = Forward; Status = OriginalSquad } *)
  +    let szczesnyWojciech = { Name = "Wojciech Szczęsny"; Team = poland; Type = Goalkeeper; Status = OriginalSquad }
  +    let borucArtur = { Name = "Artur Boruc"; Team = poland; Type = Goalkeeper; Status = OriginalSquad }
  +    let fabianskiLukasz = { Name = "Łukasz Fabiański"; Team = poland; Type = Goalkeeper; Status = OriginalSquad }
  +    let pazdanMichal = { Name = "Michał Pazdan"; Team = poland; Type = Defender; Status = OriginalSquad }
  +    let jedrzejczykArtur = { Name = "Artur Jędrzejczyk"; Team = poland; Type = Defender; Status = OriginalSquad }
  +    let cionekThiago = { Name = "Thiago Cionek"; Team = poland; Type = Defender; Status = OriginalSquad }
  +    let wawrzyniakJakub = { Name = "Jakub Wawrzyniak"; Team = poland; Type = Defender; Status = OriginalSquad }
  +    let glikKamil = { Name = "Kamil Glik"; Team = poland; Type = Defender; Status = OriginalSquad }
  +    let salamonBartosz = { Name = "Bartosz Salamon"; Team = poland; Type = Defender; Status = OriginalSquad }
  +    let piszczekLukasz = { Name = "Łukasz Piszczek"; Team = poland; Type = Defender; Status = OriginalSquad }
  +    let maczynskiKrzysztof = { Name = "Krzysztof Mączyński"; Team = poland; Type = Midfielder; Status = OriginalSquad }
  +    let jodlowiecTomasz = { Name = "Tomasz Jodłowiec"; Team = poland; Type = Midfielder; Status = OriginalSquad }
  +    let linettyKarol = { Name = "Karol Linetty"; Team = poland; Type = Midfielder; Status = OriginalSquad }
  +    let krychowiakGrzegorz = { Name = "Grzegorz Krychowiak"; Team = poland; Type = Midfielder; Status = OriginalSquad }
  +    let grosickiKamil = { Name = "Kamil Grosicki"; Team = poland; Type = Midfielder; Status = OriginalSquad }
  +    let blaszczykowskiJakub = { Name = "Jakub Błaszczykowski"; Team = poland; Type = Midfielder; Status = OriginalSquad }
  +    let peszkoSlawomir = { Name = "Sławomir Peszko"; Team = poland; Type = Midfielder; Status = OriginalSquad }
  +    let zielinskiPiotr = { Name = "Piotr Zieliński"; Team = poland; Type = Midfielder; Status = OriginalSquad }
  +    let kapustkaBartosz = { Name = "Bartosz Kapustka"; Team = poland; Type = Midfielder; Status = OriginalSquad }
  +    let starzynskiFilip = { Name = "Filip Starzyński"; Team = poland; Type = Midfielder; Status = OriginalSquad }
  +    let milikArkadiusz = { Name = "Arkadiusz Milik"; Team = poland; Type = Forward; Status = OriginalSquad }
  +    let lewandowskiRobert = { Name = "Robert Lewandowski"; Team = poland; Type = Forward; Status = OriginalSquad }
  +    let stepinskiMariusz = { Name = "Mariusz Stępiński"; Team = poland; Type = Forward; Status = OriginalSquad }
   
       let polandSquad = { Team = poland
  -                        Players = [ (* TODO *) ] }
  +                        Players = [ szczesnyWojciech; borucArtur; fabianskiLukasz; pazdanMichal; jedrzejczykArtur; cionekThiago; wawrzyniakJakub; glikKamil; salamonBartosz; piszczekLukasz
  +                                    maczynskiKrzysztof; jodlowiecTomasz; linettyKarol; krychowiakGrzegorz; grosickiKamil; blaszczykowskiJakub; peszkoSlawomir; zielinskiPiotr; kapustkaBartosz
  +                                    starzynskiFilip; milikArkadiusz; lewandowskiRobert; stepinskiMariusz ] }
   
       let carrollRoy = { Name = "Roy Carroll"; Team = northernIreland; Type = Goalkeeper; Status = OriginalSquad }
       let mcGovernMichael = { Name = "Michael McGovern"; Team = northernIreland; Type = Goalkeeper; Status = OriginalSquad }
  
positive.code: 
      // Group C.
  
      (* let a = { Name = ""; Team = b; Type = Goalkeeper; Status = OriginalSquad }
      let a = { Name = ""; Team = b; Type = Defender; Status = OriginalSquad }
      let a = { Name = ""; Team = b; Type = Midfielder; Status = OriginalSquad }
      let a = { Name = ""; Team = b; Type = Forward; Status = OriginalSquad } *)
  
      let germanySquad = { Team = germany
                           Players = [ (* TODO *) ] }
  
      (* let a = { Name = ""; Team = b; Type = Goalkeeper; Status = OriginalSquad }
      let a = { Name = ""; Team = b; Type = Defender; Status = OriginalSquad }
  
negative.code:                                     cabayeYohan; matuidiBlaise; sissokoMoussa; diarraLassana; pogbaPaul; payetDimitri; kanteNGolo; giroudOlivier; griezmannAntoine; gignacAndrePierre; martialAnthony
                                      comanKingsley ] }
  
      let sommerYann = { Name = "Yann Sommer"; Team = switzerland; Type = Goalkeeper; Status = OriginalSquad }
      let hitzMarwin = { Name = "Marwin Hitz"; Team = switzerland; Type = Goalkeeper; Status = OriginalSquad }
      let burkiRoman = { Name = "Roman Bürki"; Team = switzerland; Type = Goalkeeper; Status = OriginalSquad }
      let lichtsteinerStephan = { Name = "Stephan Lichtsteiner"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let moubandjeFrancois = { Name = "François Moubandje"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let elvediNico = { Name = "Nico Elvedi"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let vonBergenSteve = { Name = "Steve von Bergen"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let langMichael = { Name = "Michael Lang"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let rodriguezRicardo = { Name = "Ricardo Rodríguez"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let djourouJohan = { Name = "Johan Djourou"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let scharFabian = { Name = "Fabian Schär"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let freiFabian = { Name = "Fabian Frei"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let xhakaGranit = { Name = "Granit Xhaka"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let behramiValon = { Name = "Valon Behrami"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let zakariaDenis = { Name = "Denis Zakaria"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let dzemailiBlerim = { Name = "Blerim Džemaili"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let fernandesGelson = { Name = "Gélson Fernandes"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let tarashajShani = { Name = "Shani Tarashaj"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let shaqiriXherdan = { Name = "Xherdan Shaqiri"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let emboloBreel = { Name = "Breel Embolo"; Team = switzerland; Type = Forward; Status = OriginalSquad }
      let seferovicHaris = { Name = "Haris Seferović"; Team = switzerland; Type = Forward; Status = OriginalSquad }
      let mehmediAdmir = { Name = "Admir Mehmedi"; Team = switzerland; Type = Forward; Status = OriginalSquad }
      let derdiyokEren = { Name = "Eren Derdiyok"; Team = switzerland; Type = Forward; Status = OriginalSquad }
  
      let switzerlandSquad = { Team = switzerland
                               Players = [ sommerYann; hitzMarwin; burkiRoman; lichtsteinerStephan; moubandjeFrancois; elvediNico; vonBergenSteve; langMichael; rodriguezRicardo; djourouJohan
                                           scharFabian; freiFabian; xhakaGranit; behramiValon; zakariaDenis; dzemailiBlerim; fernandesGelson; tarashajShani; shaqiriXherdan; emboloBreel; seferovicHaris
                                           mehmediAdmir; derdiyokEren ] }
  
      (* let a = { Name = ""; Team = b; Type = Goalkeeper; Status = OriginalSquad }
      let a = { Name = ""; Team = b; Type = Defender; Status = OriginalSquad }
  