Frogs and Pigeons

Dear Frogs,

I have a question. 

Are there known polynomial size cut-free proofs for (the instances of) the 
pigeonhole principle in CoS? 

Thank you in advance and apologies for my ignorance.

Giorgi