93 |
| Brand_moopolice |
| Brand_moopolice |
94 |
| Brand_utorrent |
| Brand_utorrent |
95 |
| Brand_opera |
| Brand_opera |
96 |
|
| Brand_torrenttopia |
97 |
|
| Brand_greedbt |
98 |
|
| Brand_btgetit |
99 |
|
|
100 |
let brand_list = [ |
let brand_list = [ |
101 |
( Brand_unknown , "unknown" , "unk" ) ; |
( Brand_unknown , "unknown" , "unk" ) ; |
144 |
( Brand_moopolice , "MooPolice" , "moo" ) ; |
( Brand_moopolice , "MooPolice" , "moo" ) ; |
145 |
( Brand_utorrent , "uTorrent" , "uTo" ) ; |
( Brand_utorrent , "uTorrent" , "uTo" ) ; |
146 |
( Brand_opera , "Opera" , "opr" ) ; |
( Brand_opera , "Opera" , "opr" ) ; |
147 |
|
( Brand_torrenttopia , "TorrentTopia" , "tt" ) ; |
148 |
|
( Brand_greedbt , "GreedBT" , "gbt" ) ; |
149 |
|
( Brand_btgetit , "BTGetit" , "btg" ) ; |
150 |
] |
] |
151 |
|
|
152 |
let brand_count = List.length brand_list |
let brand_count = List.length brand_list |