#include <vector>
#include <string>
#include <iostream>
#include <iomanip>
#include <random>
#include <algorithm>
using namespace std;
int main()
{
random_device rd;
mt19937 g(rd());
vector<int> v { 0,0,0,0,0,0,0,0,0,3,3,3,3,3,3,100,100,100};
unsigned long long total = 0, ok = 0;
for(; total < 10000000;)
{
shuffle(v.begin(),v.end(),g);
total++;
int sum = v[0]+v[1]+v[2]+v[3]+v[4]+v[5];
if (sum == 106)
{
sum = v[6]+v[7]+v[8]+v[9]+v[10]+v[11];
if (sum == 106)
{
ok++;
}
}
}
cout << double(ok)/total << "\n";
}
I2luY2x1ZGUgPHZlY3Rvcj4KI2luY2x1ZGUgPHN0cmluZz4KI2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8aW9tYW5pcD4KI2luY2x1ZGUgPHJhbmRvbT4KI2luY2x1ZGUgPGFsZ29yaXRobT4KCnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgoKaW50IG1haW4oKQp7CiAgICByYW5kb21fZGV2aWNlIHJkOwogICAgbXQxOTkzNyBnKHJkKCkpOwogICAgdmVjdG9yPGludD4gdiB7IDAsMCwwLDAsMCwwLDAsMCwwLDMsMywzLDMsMywzLDEwMCwxMDAsMTAwfTsKICAgIHVuc2lnbmVkIGxvbmcgbG9uZyB0b3RhbCA9IDAsIG9rID0gMDsKICAgIGZvcig7IHRvdGFsIDwgMTAwMDAwMDA7KQogICAgewogICAgICAgIHNodWZmbGUodi5iZWdpbigpLHYuZW5kKCksZyk7CiAgICAgICAgdG90YWwrKzsKICAgICAgICBpbnQgc3VtID0gdlswXSt2WzFdK3ZbMl0rdlszXSt2WzRdK3ZbNV07CiAgICAgICAgaWYgKHN1bSA9PSAxMDYpCiAgICAgICAgewogICAgICAgICAgICBzdW0gPSB2WzZdK3ZbN10rdls4XSt2WzldK3ZbMTBdK3ZbMTFdOwogICAgICAgICAgICBpZiAoc3VtID09IDEwNikKICAgICAgICAgICAgewogICAgICAgICAgICAgICAgb2srKzsKICAgICAgICAgICAgfQogICAgICAgIH0KICAgIH0KICAgIGNvdXQgPDwgZG91YmxlKG9rKS90b3RhbCA8PCAiXG4iOwp9Cg==