00001 00002 //=======================================================// _\|/_ 00003 // __ _____ ___ ___ // /|\ ~ 00004 // / | ^ | \ | ^ | \ // _\|/_ 00005 // \__ | / \ |___/ | / \ |___/ // /|\ ~ 00006 // \ | /___\ | \ | /___\ | \ // _\|/_ 00007 // ___/ | / \ | \ |____ / \ |___/ // /|\ ~ 00008 // // _\|/_ 00009 //=======================================================// /|\ ~ 00010 00011 #include "worldline.h" 00012 00013 main(int argc, char *argv[]) 00014 { 00015 if (argc <= 1) exit(1); 00016 00017 unique_id_t id = unique_id(argv[1]); 00018 cerr.precision(HIGH_PRECISION); 00019 cerr << "unique id of \"" << argv[1] << "\" is " << id << endl; 00020 PRC((id>>20)); PRL(id-((id>>20)<<20)); 00021 PRL(id_n_clump(id)); 00022 }