List of machines

# Copy-paste in your ~/.ssh/config
Host gcc300.fsffrance.org
    Port 2400

Host gcc301.fsffrance.org
    Port 2401

Host gcc302.fsffrance.org
    Port 2402

Host gcc303.fsffrance.org
    Port 2403

Host gcc120.fsffrance.org
    Port 45000

Host gcc121.fsffrance.org
    Port 45001

Host gcc122.fsffrance.org
    Port 45002

Host gcc123.fsffrance.org
    Port 45003

Host gcc125.fsffrance.org
    Port 45005

Host gcc126.fsffrance.org
    Port 45006

Host gcc127.fsffrance.org
    Port 45007

Host gcc128.fsffrance.org
    Port 45008

Host gcc129.fsffrance.org
    Port 45009

Host gcc130.fsffrance.org
    Port 45010

Host gcc131.fsffrance.org
    Port 45011

Host gcc132.fsffrance.org
    Port 45012

Host gcc133.fsffrance.org
    Port 45013

Host gcc134.fsffrance.org
    Port 45014

Host gcc136.osuosl.org
    Port 45015

Host gcc137.osuosl.org
    Port 45016

Host gcc138.fsffrance.org
    Port 45017

Host gcc139.fsffrance.org
    Port 45018

Host gcc140.fsffrance.org
    Port 45019

Host gcc141.fsffrance.org
    Port 45020

Host gcc142.fsffrance.org
    Port 45021

Host gcc143.fsffrance.org
    Port 45022

Host gcc144.fsffrance.org
    Port 45023

Host gcc145.fsffrance.org
    Port 45024

Host gcc146.fsffrance.org
    Port 45025

Host gcc147.fsffrance.org
    Port 45026

Host gcc148.fsffrance.org
    Port 45027

Host gcc149.fsffrance.org
    Port 45028

Host gcc150.fsffrance.org
    Port 45029

Host gcc151.fsffrance.org
    Port 45030

Host gcc152.fsffrance.org
    Port 45031

Host gcc153.fsffrance.org
    Port 45032

Host gcc154.fsffrance.org
    Port 45033

Host gcc155.fsffrance.org
    Port 45034

Host gcc156.fsffrance.org
    Port 45035

Host gcc157.fsffrance.org
    Port 45036

Host gcc158.fsffrance.org
    Port 45037

Host gcc159.fsffrance.org
    Port 45038

Host gcc160.fsffrance.org
    Port 45039

Host gcc161.fsffrance.org
    Port 45040

Host gcc162.fsffrance.org
    Port 45041

Host gcc163.fsffrance.org
    Port 45042

Host gcc164.fsffrance.org
    Port 45043

Host gcc165.fsffrance.org
    Port 45044

Host gcc166.fsffrance.org
    Port 45045

Host gcc167.fsffrance.org
    Port 45046

Host gcc168.fsffrance.org
    Port 45047

Host gcc169.fsffrance.org
    Port 45048

Host gcc170.fsffrance.org
    Port 45049

Host gcc171.fsffrance.org
    Port 45050

Host gcc172.fsffrance.org
    Port 45051

Host gcc173.fsffrance.org
    Port 45052

Host gcc174.fsffrance.org
    Port 45053

Host gcc175.fsffrance.org
    Port 45054

Host gcc176.fsffrance.org
    Port 45055

Host gcc177.fsffrance.org
    Port 45056

Host gcc178.fsffrance.org
    Port 45057

Host gcc179.fsffrance.org
    Port 45058

Host gcc180.fsffrance.org
    Port 45059

Host gcc181.fsffrance.org
    Port 45060