思路

逐位长除法，正确处理商为零和前导零。

参考程序（C++11）

#include <bits/stdc++.h>
using namespace std;
int main(){string s,q;cin>>s;int rem=0;for(char c:s){int v=rem*10+c-'0';q+=char('0'+v/13);rem=v%13;}size_t p=q.find_first_not_of('0');cout<<(p==string::npos?"0":q.substr(p))<<'\n'<<rem<<'\n';}