Hacker News new | past | comments | ask | show | jobs | submit login

Here are some integer values for the characters of two of the QBFs

[72, 55, 81, 36, 86, 49, 49, 37, 38, 61, 62, 86, 40, 63, 57, 43, 57, 62, 50, 47, 36, 43, 68, 38, 36, 54, 54, 86, 67, 46, 69, 52, 78, 37, 61, 33, 46, 77, 55, 41, 49, 70, 70, 53, 46, 74, 32, 50, 63, 40, 81, 82, 51, 90, 58, 82, 69, 77, 54, 42, 73, 67, 74, 80, 84, 85, 48, 86, 75, 71, 77, 61, 32, 58, 74, 44, 54, 53, 33, 78, 73, 41, 54, 69, 51, 44, 39, 32, 38, 60, 85, 68, 78, 80, 47, 33, 33, 32, 65, 35, 51, 34, 44, 35, 65, 39, 45, 73, 63, 34, 63, 79, 86, 63, 71, 80, 34, 45, 52, 52, 89, 61, 41, 60, 83, 35, 46, 39, 75, 87, 77, 50, 72, 58, 77, 53, 48, 48, 38, 70, 73, 71, 35, 77, 49, 85, 79, 73, 89, 46, 44, 47, 70, 35, 38, 50, 44, 49, 77, 74, 54, 67, 54, 45, 40, 35, 46, 80, 59, 33, 55, 58, 33, 75, 35, 53, 34, 42, 87, 67, 51, 77, 84, 67, 41, 83, 75, 72, 85, 45, 39, 55, 56, 81, 67, 39, 36, 80, 33, 52, 81, 88, 79, 57, 58, 88, 45, 87, 51, 59, 50, 54, 70, 40, 73, 86, 43, 71, 71, 79, 65, 67, 61, 40, 39, 76, 85, 33, 82, 59, 87, 72, 54, 74, 67, 87, 35, 82, 54, 50, 60, 85, 59, 57, 86, 79, 44, 70, 47, 62, 72, 53, 76, 68, 87, 35, 49, 41, 65, 58, 75, 48, 84, 80, 37, 63, 82, 50, 51, 65, 88, 78, 52, 55, 85, 33, 44, 33, 35, 89, 42, 32, 71, 61, 67, 48, 35, 55, 88, 41, 64, 58, 67, 74, 80, 62, 80, 63, 41, 38, 48, 43, 64, 33, 67, 71, 35, 55, 87, 44, 41, 61, 36, 37, 88, 39, 75, 70, 84, 88, 49, 73, 44, 70, 43, 33, 43, 37, 37, 71, 78, 82, 85, 85, 68, 49, 57, 66, 89, 44, 57, 37, 40, 62, 50, 44, 40, 72, 48, 39, 53, 35, 68, 55, 73, 70, 33, 49, 55, 61, 58, 39, 50, 40, 68, 82, 52, 83, 78, 78, 34, 41, 71, 61, 58, 81, 39, 68, 53, 69, 85, 68, 33]

[33, 56, 70, 50, 62, 48, 75, 72, 47, 71, 67, 61, 60, 78, 80, 64, 65, 39, 51, 44, 77, 34, 33, 71, 36, 77, 77, 85, 55, 88, 73, 46, 79, 77, 55, 69, 79, 81, 66, 85, 75, 76, 45, 80, 86, 66, 62, 39, 54, 64, 84, 32, 59, 42, 45, 67, 83, 46, 53, 66, 37, 47, 59, 34, 76, 39, 79, 81, 63, 46, 38, 81, 35, 81, 56, 33, 57, 65, 47, 48, 87, 53, 78, 82, 52, 72, 38, 84, 51, 60, 64, 83, 52, 79, 46, 48, 44, 80, 47, 47, 74, 33, 53, 53, 49, 67, 53, 54, 39, 47, 54, 45, 81, 41, 55, 72, 41, 74, 59, 55, 52, 33, 57, 67, 89, 87, 66, 85, 48, 81, 87, 53, 49, 65, 87, 52, 50, 59, 45, 68, 39, 59, 79, 65, 72, 66, 61, 89, 87, 77, 70, 75, 78, 77, 55, 75, 54, 66, 62, 62, 62, 71, 32, 59, 74, 75, 86, 36, 73, 86, 52, 35, 74, 81, 61, 59, 88, 85, 38, 61, 43, 40, 89, 84, 64, 42, 39, 41, 43, 37, 34, 41, 34, 55, 44, 35, 71, 36, 88, 62, 50, 74, 84, 72, 34, 64, 33, 83, 44, 62, 85, 43, 84, 65, 86, 63, 54, 37, 41, 52, 86, 85, 50, 43, 60, 35, 41, 87, 50, 37, 61, 85, 81, 74, 72, 82, 55, 90, 66, 55, 75, 64, 63, 65, 51, 33, 34, 73, 46, 63, 74, 69, 49, 82, 74, 66, 44, 88, 37, 33, 70, 39, 63, 62, 76, 63, 61, 88, 88, 46, 39, 36, 82, 39, 88, 88, 34, 82, 40, 84, 65, 85, 46, 85, 48, 58, 55, 52, 58, 46, 34, 64, 57, 77, 57, 69, 79, 73, 71, 71, 58, 67, 57, 50, 63, 75, 90, 41, 66, 50, 89, 38, 62, 61, 87, 51, 74, 45, 74, 44, 38, 40, 85, 56, 39, 47, 72, 39, 55, 57, 90, 65, 85, 67, 85, 69, 60, 81, 64, 67, 75, 71, 56, 41, 88, 44, 57, 37, 60, 59, 63, 79, 80, 79, 75, 72, 83, 60, 48, 34, 90, 68, 65, 65, 85, 82, 57, 50, 33, 42, 60, 65, 71, 70, 77, 55, 42, 81, 55, 60, 44, 49, 82]




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: