projects
/
cipher-tools.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Started on 2016
[cipher-tools.git]
/
bombe.ipynb
diff --git
a/bombe.ipynb
b/bombe.ipynb
index 99770da11e6c9b203fb3b309c4ea06707ae77b9d..59442e4f4da5bf6481be0f923171939245d2c938 100644
(file)
--- a/
bombe.ipynb
+++ b/
bombe.ipynb
@@
-17,7
+17,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count":
3
,
+ "execution_count":
2
,
"metadata": {
"collapsed": true
},
"metadata": {
"collapsed": true
},
@@
-30,7
+30,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count":
4
,
+ "execution_count":
3
,
"metadata": {
"collapsed": true
},
"metadata": {
"collapsed": true
},
@@
-75,7
+75,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count":
5
,
+ "execution_count":
4
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-199,7
+199,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count":
6
,
+ "execution_count":
5
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-211,7
+211,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count":
7
,
+ "execution_count":
6
,
"metadata": {
"collapsed": true
},
"metadata": {
"collapsed": true
},
@@
-227,7
+227,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count":
8
,
+ "execution_count":
7
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-238,7
+238,7
@@
"'opgndxcrwomnlnecjz'"
]
},
"'opgndxcrwomnlnecjz'"
]
},
- "execution_count":
8
,
+ "execution_count":
7
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-252,7
+252,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count":
9
,
+ "execution_count":
8
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-263,7
+263,7
@@
"'aas'"
]
},
"'aas'"
]
},
- "execution_count":
9
,
+ "execution_count":
8
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-274,7
+274,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count":
10
,
+ "execution_count":
9
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-302,7
+302,7
@@
" MenuIem(before='e', after='z', number=18)]"
]
},
" MenuIem(before='e', after='z', number=18)]"
]
},
- "execution_count":
10
,
+ "execution_count":
9
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-314,7
+314,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 1
1
,
+ "execution_count": 1
0
,
"metadata": {
"collapsed": true
},
"metadata": {
"collapsed": true
},
@@
-327,7
+327,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 1
2
,
+ "execution_count": 1
1
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-355,7
+355,7
@@
" MenuIem(before='e', after='z', number=18)]"
]
},
" MenuIem(before='e', after='z', number=18)]"
]
},
- "execution_count": 1
2
,
+ "execution_count": 1
1
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-366,7
+366,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 1
3
,
+ "execution_count": 1
2
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-377,7
+377,7
@@
"'s'"
]
},
"'s'"
]
},
- "execution_count": 1
3
,
+ "execution_count": 1
2
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-388,7
+388,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 1
4
,
+ "execution_count": 1
3
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-399,7
+399,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 1
5
,
+ "execution_count": 1
4
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-410,7
+410,7
@@
"18"
]
},
"18"
]
},
- "execution_count": 1
5
,
+ "execution_count": 1
4
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-421,7
+421,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 1
6
,
+ "execution_count": 1
5
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-458,7
+458,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 1
7
,
+ "execution_count": 1
6
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-469,7
+469,7
@@
"False"
]
},
"False"
]
},
- "execution_count": 1
7
,
+ "execution_count": 1
6
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-480,7
+480,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 1
8
,
+ "execution_count": 1
7
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-516,7
+516,7
@@
" 'z': True}"
]
},
" 'z': True}"
]
},
- "execution_count": 1
8
,
+ "execution_count": 1
7
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-527,7
+527,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 1
9
,
+ "execution_count": 1
8
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-578,7
+578,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count":
20
,
+ "execution_count":
19
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-589,7
+589,7
@@
"('a', 'a', 'a')"
]
},
"('a', 'a', 'a')"
]
},
- "execution_count":
20
,
+ "execution_count":
19
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-600,7
+600,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 2
1
,
+ "execution_count": 2
0
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-638,7
+638,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 2
2
,
+ "execution_count": 2
1
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-650,7
+650,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 2
3
,
+ "execution_count": 2
2
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-704,7
+704,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 2
4
,
+ "execution_count": 2
3
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-758,7
+758,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 2
5
,
+ "execution_count": 2
4
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-769,7
+769,7
@@
"1"
]
},
"1"
]
},
- "execution_count": 2
5
,
+ "execution_count": 2
4
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-780,7
+780,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 2
6
,
+ "execution_count": 2
5
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-793,7
+793,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 2
7
,
+ "execution_count": 2
6
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-806,7
+806,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 2
8
,
+ "execution_count": 2
7
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-817,7
+817,7
@@
"('a', 'a', 'b')"
]
},
"('a', 'a', 'b')"
]
},
- "execution_count": 2
8
,
+ "execution_count": 2
7
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-828,7
+828,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 2
9
,
+ "execution_count": 2
8
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-839,7
+839,7
@@
"False"
]
},
"False"
]
},
- "execution_count": 2
9
,
+ "execution_count": 2
8
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-850,7
+850,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count":
30
,
+ "execution_count":
29
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-861,7
+861,7
@@
"('p', 'p', 'p')"
]
},
"('p', 'p', 'p')"
]
},
- "execution_count":
30
,
+ "execution_count":
29
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-872,7
+872,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 3
1
,
+ "execution_count": 3
0
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-923,7
+923,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 3
2
,
+ "execution_count": 3
1
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-934,7
+934,7
@@
"17576"
]
},
"17576"
]
},
- "execution_count": 3
2
,
+ "execution_count": 3
1
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-946,7
+946,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 3
3
,
+ "execution_count": 3
2
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-957,7
+957,7
@@
"(('a', 'a', 'b'), True)"
]
},
"(('a', 'a', 'b'), True)"
]
},
- "execution_count": 3
3
,
+ "execution_count": 3
2
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-969,7
+969,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 3
4
,
+ "execution_count": 3
3
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-980,7
+980,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 3
5
,
+ "execution_count": 3
4
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-991,7
+991,7
@@
"[('a', 'a', 'b')]"
]
},
"[('a', 'a', 'b')]"
]
},
- "execution_count": 3
5
,
+ "execution_count": 3
4
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1007,7
+1007,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 3
6
,
+ "execution_count": 3
5
,
"metadata": {
"collapsed": true
},
"metadata": {
"collapsed": true
},
@@
-1029,7
+1029,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 3
7
,
+ "execution_count": 3
6
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1040,7
+1040,7
@@
"[('a', 'a', 'b')]"
]
},
"[('a', 'a', 'b')]"
]
},
- "execution_count": 3
7
,
+ "execution_count": 3
6
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1051,7
+1051,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 3
8
,
+ "execution_count": 3
7
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1070,7
+1070,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 3
9
,
+ "execution_count": 3
8
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1081,7
+1081,7
@@
"('e', 'l', 'e')"
]
},
"('e', 'l', 'e')"
]
},
- "execution_count": 3
9
,
+ "execution_count": 3
8
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1093,7
+1093,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count":
40
,
+ "execution_count":
39
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1104,7
+1104,7
@@
"'dhnpforeeimgg'"
]
},
"'dhnpforeeimgg'"
]
},
- "execution_count":
40
,
+ "execution_count":
39
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1118,7
+1118,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 4
1
,
+ "execution_count": 4
0
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1129,7
+1129,7
@@
"('j', 'e', 'o')"
]
},
"('j', 'e', 'o')"
]
},
- "execution_count": 4
1
,
+ "execution_count": 4
0
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1140,7
+1140,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 4
2
,
+ "execution_count": 4
1
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1163,7
+1163,7
@@
" MenuIem(before='t', after='g', number=13)]"
]
},
" MenuIem(before='t', after='g', number=13)]"
]
},
- "execution_count": 4
2
,
+ "execution_count": 4
1
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1175,7
+1175,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 4
3
,
+ "execution_count": 4
2
,
"metadata": {
"collapsed": false,
"scrolled": true
"metadata": {
"collapsed": false,
"scrolled": true
@@
-1248,7
+1248,7
@@
" ('z', 'z', 'k')]"
]
},
" ('z', 'z', 'k')]"
]
},
- "execution_count": 4
3
,
+ "execution_count": 4
2
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1265,7
+1265,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 4
4
,
+ "execution_count": 4
3
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1276,7
+1276,7
@@
"62"
]
},
"62"
]
},
- "execution_count": 4
4
,
+ "execution_count": 4
3
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1287,7
+1287,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 4
5
,
+ "execution_count": 4
4
,
"metadata": {
"collapsed": false,
"scrolled": true
"metadata": {
"collapsed": false,
"scrolled": true
@@
-1311,7
+1311,7
@@
" ('y', 'n', 'c')]"
]
},
" ('y', 'n', 'c')]"
]
},
- "execution_count": 4
5
,
+ "execution_count": 4
4
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1328,7
+1328,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 4
6
,
+ "execution_count": 4
5
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1351,7
+1351,7
@@
" ('y', 'n', 'c')]"
]
},
" ('y', 'n', 'c')]"
]
},
- "execution_count": 4
6
,
+ "execution_count": 4
5
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1362,7
+1362,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 4
7
,
+ "execution_count": 4
6
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1379,7
+1379,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 4
8
,
+ "execution_count": 4
7
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1390,7
+1390,7
@@
"13"
]
},
"13"
]
},
- "execution_count": 4
8
,
+ "execution_count": 4
7
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1401,7
+1401,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 4
9
,
+ "execution_count": 4
8
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1413,7
+1413,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count":
50
,
+ "execution_count":
49
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1424,7
+1424,7
@@
"Signal(bank='e', wire='e')"
]
},
"Signal(bank='e', wire='e')"
]
},
- "execution_count":
50
,
+ "execution_count":
49
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1435,7
+1435,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 5
1
,
+ "execution_count": 5
0
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1446,7
+1446,7
@@
"True"
]
},
"True"
]
},
- "execution_count": 5
1
,
+ "execution_count": 5
0
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1457,7
+1457,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 5
2
,
+ "execution_count": 5
1
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1468,7
+1468,7
@@
"True"
]
},
"True"
]
},
- "execution_count": 5
2
,
+ "execution_count": 5
1
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1479,7
+1479,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 5
3
,
+ "execution_count": 5
2
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1533,7
+1533,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 5
4
,
+ "execution_count": 5
3
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1587,7
+1587,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 5
5
,
+ "execution_count": 5
4
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1595,15
+1595,15
@@
{
"data": {
"text/plain": [
{
"data": {
"text/plain": [
- "{frozenset({'b', 'g'}),\n",
- " frozenset({'e', 'y'}),\n",
- " frozenset({'t', 'x'}),\n",
- " frozenset({'m'}),\n",
+ "{frozenset({'m'}),\n",
" frozenset({'i', 'n'}),\n",
" frozenset({'i', 'n'}),\n",
- " frozenset({'f', 'p'})}"
+ " frozenset({'f', 'p'}),\n",
+ " frozenset({'t', 'x'}),\n",
+ " frozenset({'e', 'y'}),\n",
+ " frozenset({'b', 'g'})}"
]
},
]
},
- "execution_count": 5
5
,
+ "execution_count": 5
4
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1615,7
+1615,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 5
6
,
+ "execution_count": 5
5
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1626,7
+1626,7
@@
"True"
]
},
"True"
]
},
- "execution_count": 5
6
,
+ "execution_count": 5
5
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1637,7
+1637,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 5
7
,
+ "execution_count": 5
6
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1645,13
+1645,13
@@
{
"data": {
"text/plain": [
{
"data": {
"text/plain": [
- "({frozenset({1, 2}), frozenset({
2, 3}), frozenset({3, 4
})},\n",
+ "({frozenset({1, 2}), frozenset({
3, 4}), frozenset({2, 3
})},\n",
" frozenset({1, 2}),\n",
" frozenset({3, 4}),\n",
" frozenset({2, 3}))"
]
},
" frozenset({1, 2}),\n",
" frozenset({3, 4}),\n",
" frozenset({2, 3}))"
]
},
- "execution_count": 5
7
,
+ "execution_count": 5
6
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1670,7
+1670,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 5
8
,
+ "execution_count": 5
7
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1681,7
+1681,7
@@
"False"
]
},
"False"
]
},
- "execution_count": 5
8
,
+ "execution_count": 5
7
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1692,7
+1692,7
@@
},
{
"cell_type": "code",
},
{
"cell_type": "code",
- "execution_count": 5
9
,
+ "execution_count": 5
8
,
"metadata": {
"collapsed": false
},
"metadata": {
"collapsed": false
},
@@
-1703,7
+1703,7
@@
"False"
]
},
"False"
]
},
- "execution_count": 5
9
,
+ "execution_count": 5
8
,
"metadata": {},
"output_type": "execute_result"
}
"metadata": {},
"output_type": "execute_result"
}
@@
-1738,7
+1738,7
@@
"name": "python",
"nbconvert_exporter": "python",
"pygments_lexer": "ipython3",
"name": "python",
"nbconvert_exporter": "python",
"pygments_lexer": "ipython3",
- "version": "3.
5.1
+"
+ "version": "3.
4.3
+"
}
},
"nbformat": 4,
}
},
"nbformat": 4,