#include<bits/stdc++.h>
#define ff first
#define ss second
#define pb push_back
typedef long long ll;
using namespace std;
typedef pair<int,int> pii;

const int mod=998244353;
inline int add(int x,int y){int ret=x+y;if(ret>=mod)ret-=mod;return ret;}
inline int sub(int x,int y){int ret=x-y;if(ret<0)ret+=mod;return ret;}
inline int mul(int x,int y){return ((ll)x*y)%mod;}
inline int step(int base,int pw){int ret=1;while(pw){if(pw&1)ret=mul(ret,base);base=mul(base,base);pw>>=1;}return ret;}
inline int invv(int x){return step(x,mod-2);}


const int maxn=3e5+10;
vector<pii>rez;
int n,a,b;
bool check(int w,int l,int k){

    int da=a;
    int db=b;

    da-=w;
    db-=l;
    if(da<0 || db<0)return false;

    if(da==db){
        for(int i=0;i<w;i++)rez.pb({1,0});
        for(int i=0;i<l;i++)rez.pb({0,1});
        for(int i=0;i<k;i++)rez.pb({0,0});
        rez[0].ff+=da;
        rez[0].ss+=da;
        return true;
    }
    else if(da<db){

        if(l==0)return false;

        for(int i=0;i<w;i++)rez.pb({1,0});
        for(int i=0;i<l;i++)rez.pb({0,1});
        rez[rez.size()-1].ss+=db-da;
        for(int i=0;i<k;i++)rez.pb({0,0});
        rez[0].ff+=da;
        rez[0].ss+=da;
        return true;
    }
    else{
        if(w==0)return false;

        for(int i=0;i<w;i++)rez.pb({1,0});
        rez[rez.size()-1].ff+=da-db;
        for(int i=0;i<l;i++)rez.pb({0,1});
        for(int i=0;i<k;i++)rez.pb({0,0});
        rez[0].ff+=db;
        rez[0].ss+=db;
        return true;
    }

}

int main(){

    ///freopen("test.txt","r",stdin);

    scanf("%d %d %d",&n,&a,&b);

    int rezk=-1;
    for(int k=0;k<=n;k++){
        for(int w=0;w<=n;w++){
            if(n-k-w<0)continue;
            if(check(w,n-w-k,k)){
                rezk=k;
                break;
            }
        }
        if(rezk!=-1)break;
    }

    printf("%d\n",rezk);
    for(int i=0;i<rez.size();i++){
        printf("%d:%d\n",rez[i].ff,rez[i].ss);
    }


    return 0;
}