MathDB
Similar to that IMO problem

Source: 2016 Korea Winter Camp 2nd Test #6

January 25, 2016
number theory

Problem Statement

Find all pairs of positive integers (n,t)(n,t) such that 6n+1=n2t6^n+1=n^2t, and (n,29×197)=1(n,29 \times 197)=1