Total irregularity strength for product of two paths. Issue 1 (2nd January 2020)