using GenericTensorNetworks
nv = 534
hyperedges = [[1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31], [32], [33], [34], [35], [36], [37], [38], [39], [40], [41], [42], [43], [44], [45], [46], [47], [48], [49], [50], [51], [52], [53], [54], [55], [56], [57], [58], [59], [60], [61], [62], [63], [64], [65], [66], [67], [68], [69], [70], [71], [72], [73], [74], [75], [76], [77], [78], [79], [80], [81], [82], [83], [84], [85], [86], [87], [88], [89], [90], [91], [92], [93], [94], [95], [96], [97], [98], [99], [100], [101], [102], [103], [104], [105], [106], [107], [108], [109], [110], [111], [112], [113], [114], [115], [116], [117], [118], [119], [120], [121], [122], [123], [124], [125], [126], [127], [128], [129], [130], [131], [132], [133], [134], [135], [136], [137], [138], [139], [140], [141], [142], [143], [144], [145], [146], [147], [148], [149], [150], [151], [152], [153], [154], [155], [156], [157], [158], [159], [160], [161], [162], [163], [164], [165], [166], [167], [168], [169], [170], [171], [172], [173], [174], [175], [176], [177], [178], [179], [180], [181], [182], [183], [184], [185], [186], [187], [188], [189], [190], [191], [192], [193], [194], [195], [196], [197], [198], [199], [200], [201], [202], [203], [204], [205], [206], [207], [208], [209], [210], [211], [212], [213], [214], [215], [216], [217], [218], [219], [220], [221], [222], [223], [224], [225], [226], [227], [228], [229], [230], [231], [232], [233], [234], [235], [236], [237], [238], [239], [240], [241], [242], [243], [244], [245], [246], [247], [248], [249], [250], [251], [252], [253], [254], [255], [256], [257], [258], [259], [260], [261], [262], [263], [264], [265], [266], [267], [268], [269], [270], [271], [272], [273], [274], [275], [276], [277], [278], [279], [280], [281], [282], [283], [284], [285], [286], [287], [288], [289], [290], [291], [292], [293], [294], [295], [296], [297], [298], [299], [300], [301], [302], [303], [304], [305], [306], [307], [308], [309], [310], [311], [312], [313], [314], [315], [316], [317], [318], [319], [320], [321], [322], [323], [324], [325], [326], [327], [328], [329], [330], [331], [332], [333], [334], [335], [336], [337], [338], [339], [340], [341], [342], [343], [344], [345], [346], [347], [348], [349], [350], [351], [352], [353], [354], [355], [356], [357], [358], [359], [360], [361], [362], [363], [364], [365], [366], [367], [368], [369], [370], [371], [372], [373], [374], [375], [376], [377], [378], [379], [380], [381], [382], [383], [384], [385], [386], [387], [388], [389], [390], [391], [392], [393], [394], [395], [396], [397], [398], [399], [400], [401], [402], [403], [404], [405], [406], [407], [408], [409], [410], [411], [412], [413], [414], [415], [416], [417], [418], [419], [420], [421], [422], [423], [424], [425], [426], [427], [428], [429], [430], [431], [432], [433], [434], [435], [436], [437], [438], [439], [440], [441], [442], [443], [444], [445], [446], [447], [448], [449], [450], [451], [452], [453], [454], [455], [456], [457], [458], [459], [460], [461], [462], [463], [464], [465], [466], [467], [468], [469], [470], [471], [472], [473], [474], [475], [476], [477], [478], [479], [480], [481], [482], [483], [484], [485], [486], [487], [488], [489], [490], [491], [492], [493], [494], [495], [496], [497], [498], [499], [500], [501], [502], [503], [504], [505], [506], [507], [508], [509], [510], [511], [512], [513], [514], [515], [516], [517], [518], [519], [520], [521], [522], [523], [524], [525], [526], [527], [528], [529], [530], [531], [532], [533], [534], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30], [1, 2, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78], [2, 3, 14, 15, 16, 17, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 60, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102], [32, 43, 44, 45, 46, 80, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114], [3, 4, 5, 6, 14, 15, 18, 19, 20, 21, 33, 34, 47, 48, 61, 62, 63, 64, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141], [32, 35, 36, 37, 44, 45, 49, 50, 51, 52, 81, 82, 91, 92, 104, 105, 106, 107, 108, 109, 115, 116, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165], [5, 7, 8, 19, 20, 22, 23, 61, 62, 65, 66, 117, 118, 119, 120, 121, 122, 123, 124, 125, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181], [34, 36, 38, 48, 50, 51, 53, 82, 83, 84, 91, 93, 94, 116, 117, 126, 127, 128, 143, 144, 145, 146, 147, 148, 149, 150, 151, 167, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197], [105, 106, 110, 111, 143, 152, 153, 154, 155, 183, 198, 199, 200, 201], [83, 85, 94, 95, 117, 118, 119, 126, 127, 129, 130, 144, 156, 168, 169, 170, 184, 185, 186, 187, 188, 202, 203, 204, 205, 206, 207, 208, 209], [106, 107, 111, 112, 143, 145, 146, 153, 154, 157, 158, 184, 189, 190, 199, 200, 202, 210, 211, 212, 213], [9, 10, 24, 25, 67, 68, 69, 70, 71, 72, 73, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240], [16, 17, 26, 27, 39, 40, 54, 55, 86, 87, 88, 96, 97, 98, 99, 131, 132, 133, 214, 215, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262], [67, 68, 74, 75, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281], [6, 10, 11, 15, 17, 20, 21, 22, 25, 27, 28, 63, 69, 76, 87, 89, 96, 100, 120, 121, 132, 133, 134, 135, 136, 171, 172, 215, 216, 226, 227, 228, 229, 242, 243, 244, 245, 246, 247, 248, 249, 264, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304], [37, 40, 41, 45, 46, 51, 52, 53, 55, 56, 57, 92, 97, 101, 108, 113, 147, 148, 159, 160, 161, 162, 191, 192, 242, 250, 251, 252, 253, 283, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316], [7, 11, 12, 22, 28, 29, 61, 63, 66, 67, 69, 70, 71, 75, 77, 120, 122, 134, 137, 172, 173, 174, 175, 176, 177, 216, 217, 218, 226, 227, 230, 231, 232, 265, 266, 267, 284, 285, 286, 287, 288, 289, 290, 291, 292, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341], [38, 41, 42, 53, 57, 58, 84, 89, 90, 91, 92, 94, 95, 96, 97, 98, 99, 128, 135, 138, 147, 149, 160, 163, 185, 186, 192, 193, 194, 195, 203, 204, 242, 243, 244, 251, 252, 254, 255, 256, 284, 293, 294, 306, 307, 308, 309, 310, 311, 317, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361], [71, 72, 77, 78, 173, 174, 178, 179, 217, 219, 220, 231, 233, 265, 266, 268, 269, 318, 319, 320, 321, 322, 323, 324, 325, 326, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377], [85, 88, 90, 95, 99, 102, 119, 122, 123, 127, 128, 130, 133, 134, 135, 136, 139, 168, 175, 180, 186, 187, 193, 196, 204, 205, 206, 243, 245, 255, 257, 284, 285, 286, 293, 295, 296, 318, 327, 328, 343, 344, 345, 346, 347, 348, 349, 350, 363, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393], [107, 109, 112, 114, 146, 149, 150, 154, 155, 158, 160, 161, 162, 164, 189, 194, 197, 200, 201, 211, 212, 307, 308, 312, 313, 343, 351, 352, 379, 394, 395, 396, 397], [121, 123, 124, 136, 139, 140, 168, 169, 172, 173, 175, 176, 179, 181, 205, 207, 285, 287, 296, 297, 318, 319, 320, 327, 329, 330, 364, 365, 366, 380, 381, 382, 383, 384, 398, 399, 400, 401, 402, 403, 404, 405], [148, 150, 151, 162, 164, 165, 187, 188, 189, 190, 192, 193, 194, 195, 206, 208, 212, 213, 308, 309, 313, 314, 343, 344, 345, 351, 353, 354, 380, 385, 386, 395, 396, 398, 406, 407, 408, 409], [221, 222, 234, 235, 270, 271, 272, 273, 274, 275, 276, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428], [228, 229, 236, 237, 246, 247, 258, 259, 288, 289, 290, 298, 299, 300, 301, 331, 332, 333, 410, 411, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442], [270, 271, 277, 278, 412, 413, 414, 415, 416, 417, 418, 419, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452], [218, 222, 223, 227, 229, 231, 232, 233, 235, 237, 238, 267, 272, 279, 289, 291, 298, 302, 321, 322, 332, 333, 334, 335, 336, 367, 368, 411, 412, 420, 421, 430, 431, 432, 433, 434, 435, 444, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466], [244, 247, 248, 252, 253, 255, 256, 257, 259, 260, 261, 294, 299, 303, 310, 315, 346, 347, 355, 356, 357, 358, 387, 388, 430, 436, 437, 454, 467, 468, 469, 470, 471, 472, 473, 474], [219, 223, 224, 233, 238, 239, 265, 267, 269, 270, 272, 273, 274, 278, 280, 321, 323, 334, 337, 368, 369, 370, 371, 372, 373, 412, 413, 414, 420, 422, 423, 445, 446, 447, 455, 456, 457, 458, 459, 460, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488], [245, 248, 249, 257, 261, 262, 286, 291, 292, 293, 294, 296, 297, 298, 299, 300, 301, 328, 335, 338, 346, 348, 356, 359, 381, 382, 388, 389, 390, 391, 399, 400, 430, 431, 432, 437, 438, 439, 455, 461, 462, 468, 469, 470, 471, 475, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498], [274, 275, 280, 281, 369, 370, 374, 375, 414, 415, 416, 423, 424, 445, 446, 448, 449, 476, 477, 478, 479, 480, 499, 500, 501, 502, 503, 504, 505], [287, 290, 292, 297, 301, 304, 320, 323, 324, 327, 328, 330, 333, 334, 335, 336, 339, 364, 371, 376, 382, 383, 389, 392, 400, 401, 402, 432, 433, 439, 440, 455, 456, 457, 461, 463, 464, 476, 481, 482, 490, 491, 492, 493, 500, 506, 507, 508, 509, 510, 511, 512], [309, 311, 314, 316, 345, 348, 349, 351, 352, 354, 356, 357, 358, 360, 385, 390, 393, 396, 397, 407, 408, 469, 470, 472, 473, 490, 494, 495, 507, 513, 514], [322, 324, 325, 336, 339, 340, 364, 365, 368, 369, 371, 372, 375, 377, 401, 403, 456, 458, 464, 465, 476, 477, 481, 483, 501, 502, 508, 509, 510, 515, 516, 517, 518, 519], [347, 349, 350, 358, 360, 361, 383, 384, 385, 386, 388, 389, 390, 391, 402, 404, 408, 409, 470, 471, 473, 474, 490, 491, 495, 496, 508, 511, 514, 515, 520, 521], [417, 425, 450, 451, 522, 523, 524], [421, 426, 434, 441, 459, 466, 484, 522, 525, 526], [415, 418, 424, 427, 445, 447, 449, 450, 452, 478, 485, 503, 504, 523, 527, 528, 529], [433, 435, 440, 442, 457, 460, 461, 462, 464, 465, 466, 482, 486, 492, 497, 509, 512, 516, 526, 527, 530, 531], [479, 487, 501, 503, 505, 517, 528, 532, 533], [493, 498, 510, 511, 512, 518, 521, 531, 532, 534]]
weights = [-6.670464555550427, -8.22897757217163, -8.22897757217163, -8.516659634241968, -8.922124734934815, -8.516659634241968, -9.615271911045571, -9.615271911045571, -8.516659634241968, -9.615271911045571, -8.922124734934815, -9.615271911045571, -7.669361833177292, -7.418047452354404, -8.516659634241968, -8.516659634241968, -9.615271911045571, -6.2828182156381285, -9.615271911045571, -9.615271911045571, -9.615271911045571, -9.615271911045571, -9.615271911045571, -6.059525141073574, -8.516659634241968, -8.00583403420499, -8.516659634241968, -9.615271911045571, -8.922124734934815, -6.523911561818927, -6.619189761322515, -8.22897757217163, -8.516659634241968, -9.615271911045571, -8.516659634241968, -8.922124734934815, -8.516659634241968, -9.615271911045571, -8.516659634241968, -9.615271911045571, -8.922124734934815, -9.615271911045571, -8.516659634241968, -7.418047452354404, -8.516659634241968, -9.615271911045571, -8.516659634241968, -9.615271911045571, -6.2828182156381285, -9.615271911045571, -9.615271911045571, -9.615271911045571, -9.615271911045571, -6.059525141073574, -8.516659634241968, -8.516659634241968, -9.615271911045571, -8.922124734934815, -5.487874059780676, -8.22897757217163, -8.516659634241968, -8.516659634241968, -9.615271911045571, -9.615271911045571, -7.823512493724729, -8.22897757217163, -8.516659634241968, -8.516659634241968, -8.516659634241968, -9.615271911045571, -9.615271911045571, -9.615271911045571, -8.22897757217163, -5.607639791991502, -9.615271911045571, -7.823512493724729, -8.516659634241968, -8.516659634241968, -5.440634161696156, -8.22897757217163, -9.615271911045571, -8.516659634241968, -9.615271911045571, -8.516659634241968, -9.615271911045571, -9.615271911045571, -8.922124734934815, -9.615271911045571, -9.615271911045571, -8.922124734934815, -8.516659634241968, -9.615271911045571, -8.00583403420499, -9.615271911045571, -9.615271911045571, -8.516659634241968, -8.516659634241968, -9.615271911045571, -9.615271911045571, -5.589626868587805, -7.823512493724729, -8.922124734934815, -5.504129986189852, -8.00583403420499, -8.516659634241968, -9.615271911045571, -9.615271911045571, -8.516659634241968, -8.516659634241968, -8.516659634241968, -9.615271911045571, -9.615271911045571, -5.607639791991502, -8.516659634241968, -6.619189761322515, -8.516659634241968, -8.22897757217163, -8.00583403420499, -8.516659634241968, -8.922124734934815, -9.615271911045571, -9.615271911045571, -8.922124734934815, -9.615271911045571, -7.669361833177292, -7.535830462798716, -8.516659634241968, -9.615271911045571, -6.247735611995849, -9.615271911045571, -8.922124734934815, -9.615271911045571, -9.615271911045571, -8.516659634241968, -8.516659634241968, -9.615271911045571, -6.031365492979941, -7.823512493724729, -9.615271911045571, -8.922124734934815, -6.436926868489386, -6.319176507310315, -8.22897757217163, -8.22897757217163, -8.00583403420499, -8.516659634241968, -8.922124734934815, -9.615271911045571, -9.615271911045571, -8.922124734934815, -9.615271911045571, -8.22897757217163, -7.535830462798716, -8.516659634241968, -9.615271911045571, -8.22897757217163, -6.247735611995849, -9.615271911045571, -9.615271911045571, -8.516659634241968, -8.22897757217163, -9.615271911045571, -6.031365492979941, -9.615271911045571, -8.922124734934815, -5.4718781758180235, -8.22897757217163, -9.615271911045571, -8.516659634241968, -8.22897757217163, -8.922124734934815, -9.615271911045571, -8.516659634241968, -8.516659634241968, -8.516659634241968, -9.615271911045571, -9.615271911045571, -5.607639791991502, -9.615271911045571, -7.823512493724729, -8.516659634241968, -5.410336866963234, -8.22897757217163, -8.22897757217163, -9.615271911045571, -8.922124734934815, -9.615271911045571, -8.516659634241968, -9.615271911045571, -8.516659634241968, -8.922124734934815, -9.615271911045571, -8.516659634241968, -8.516659634241968, -9.615271911045571, -5.589626868587805, -7.823512493724729, -5.425370773510286, -7.535830462798716, -8.516659634241968, -5.607639791991502, -6.670464555550427, -8.922124734934815, -9.615271911045571, -8.516659634241968, -8.516659634241968, -6.059525141073574, -8.00583403420499, -6.670464555550427, -6.356906772709821, -8.22897757217163, -8.516659634241968, -6.059525141073574, -8.22897757217163, -8.22897757217163, -8.22897757217163, -8.922124734934815, -8.516659634241968, -9.615271911045571, -9.615271911045571, -8.516659634241968, -9.615271911045571, -8.922124734934815, -9.615271911045571, -8.22897757217163, -8.922124734934815, -8.516659634241968, -8.516659634241968, -9.615271911045571, -7.535830462798716, -9.615271911045571, -9.615271911045571, -9.615271911045571, -6.059525141073574, -8.516659634241968, -8.00583403420499, -8.516659634241968, -9.615271911045571, -8.922124734934815, -7.669361833177292, -8.00583403420499, -8.22897757217163, -8.922124734934815, -8.516659634241968, -9.615271911045571, -8.516659634241968, -9.615271911045571, -8.922124734934815, -9.615271911045571, -8.516659634241968, -8.922124734934815, -8.516659634241968, -9.615271911045571, -7.535830462798716, -9.615271911045571, -9.615271911045571, -9.615271911045571, -6.059525141073574, -8.516659634241968, -8.516659634241968, -9.615271911045571, -8.922124734934815, -7.669361833177292, -8.22897757217163, -8.516659634241968, -8.516659634241968, -9.615271911045571, -7.823512493724729, -8.22897757217163, -8.516659634241968, -8.516659634241968, -8.516659634241968, -9.615271911045571, -9.615271911045571, -9.615271911045571, -8.22897757217163, -5.607639791991502, -9.615271911045571, -7.823512493724729, -8.516659634241968, -8.516659634241968, -7.535830462798716, -8.22897757217163, -8.22897757217163, -8.922124734934815, -8.516659634241968, -9.615271911045571, -9.615271911045571, -8.922124734934815, -9.615271911045571, -9.615271911045571, -8.922124734934815, -8.516659634241968, -9.615271911045571, -7.535830462798716, -9.615271911045571, -9.615271911045571, -8.516659634241968, -8.516659634241968, -9.615271911045571, -9.615271911045571, -5.589626868587805, -7.823512493724729, -8.922124734934815, -8.00583403420499, -9.615271911045571, -8.516659634241968, -8.922124734934815, -9.615271911045571, -8.516659634241968, -8.516659634241968, -7.823512493724729, -9.615271911045571, -9.615271911045571, -5.607639791991502, -8.516659634241968, -8.22897757217163, -8.22897757217163, -8.922124734934815, -8.516659634241968, -8.922124734934815, -9.615271911045571, -9.615271911045571, -8.922124734934815, -9.615271911045571, -9.615271911045571, -8.516659634241968, -9.615271911045571, -7.535830462798716, -9.615271911045571, -8.922124734934815, -9.615271911045571, -9.615271911045571, -8.516659634241968, -8.516659634241968, -9.615271911045571, -6.031365492979941, -7.823512493724729, -9.615271911045571, -8.922124734934815, -7.535830462798716, -7.535830462798716, -8.22897757217163, -8.922124734934815, -8.516659634241968, -8.922124734934815, -9.615271911045571, -9.615271911045571, -8.922124734934815, -9.615271911045571, -8.516659634241968, -9.615271911045571, -7.535830462798716, -9.615271911045571, -9.615271911045571, -8.516659634241968, -8.22897757217163, -9.615271911045571, -6.031365492979941, -9.615271911045571, -8.922124734934815, -8.00583403420499, -8.22897757217163, -9.615271911045571, -8.516659634241968, -8.516659634241968, -8.922124734934815, -9.615271911045571, -8.516659634241968, -8.516659634241968, -8.516659634241968, -9.615271911045571, -9.615271911045571, -5.607639791991502, -9.615271911045571, -7.823512493724729, -8.516659634241968, -7.535830462798716, -8.22897757217163, -8.22897757217163, -9.615271911045571, -8.922124734934815, -9.615271911045571, -8.516659634241968, -9.615271911045571, -8.516659634241968, -8.922124734934815, -9.615271911045571, -8.516659634241968, -8.516659634241968, -9.615271911045571, -5.589626868587805, -7.823512493724729, -7.669361833177292, -8.22897757217163, -8.516659634241968, -5.607639791991502, -8.22897757217163, -8.922124734934815, -9.615271911045571, -8.516659634241968, -8.516659634241968, -6.059525141073574, -8.00583403420499, -8.00583403420499, -7.669361833177292, -8.22897757217163, -8.516659634241968, -6.059525141073574, -8.22897757217163, -8.22897757217163, -8.22897757217163, -8.516659634241968, -8.922124734934815, -9.615271911045571, -9.615271911045571, -8.22897757217163, -8.516659634241968, -8.22897757217163, -8.00583403420499, -8.22897757217163, -7.418047452354404, -9.615271911045571, -9.615271911045571, -5.977318982330488, -7.535830462798716, -8.516659634241968, -7.669361833177292, -7.535830462798716, -8.22897757217163, -8.516659634241968, -8.922124734934815, -9.615271911045571, -8.22897757217163, -8.516659634241968, -8.22897757217163, -8.00583403420499, -7.418047452354404, -9.615271911045571, -9.615271911045571, -5.977318982330488, -8.516659634241968, -5.352364459404105, -8.22897757217163, -8.516659634241968, -8.516659634241968, -9.615271911045571, -7.823512493724729, -8.22897757217163, -7.535830462798716, -7.535830462798716, -8.22897757217163, -5.338381693797391, -8.22897757217163, -8.22897757217163, -8.922124734934815, -8.516659634241968, -9.615271911045571, -8.22897757217163, -8.516659634241968, -8.516659634241968, -9.615271911045571, -7.535830462798716, -9.615271911045571, -9.615271911045571, -7.535830462798716, -5.4718781758180235, -7.669361833177292, -8.516659634241968, -8.922124734934815, -9.615271911045571, -7.823512493724729, -9.615271911045571, -9.615271911045571, -8.22897757217163, -8.22897757217163, -8.00583403420499, -8.516659634241968, -8.22897757217163, -9.615271911045571, -8.516659634241968, -9.615271911045571, -7.418047452354404, -8.22897757217163, -5.951353067711297, -7.418047452354404, -8.22897757217163, -7.535830462798716, -7.050322802738621, -8.22897757217163, -8.00583403420499, -8.516659634241968, -8.22897757217163, -9.615271911045571, -8.516659634241968, -7.418047452354404, -5.951353067711297, -8.22897757217163, -5.395525643989289, -8.22897757217163, -8.22897757217163, -8.516659634241968, -7.535830462798716, -8.22897757217163, -8.22897757217163, -5.338381693797391, -8.22897757217163, -8.22897757217163, -8.516659634241968, -8.22897757217163, -8.22897757217163, -7.535830462798716, -5.487874059780676, -7.669361833177292, -8.22897757217163, -8.516659634241968, -5.977318982330488, -7.535830462798716, -8.00583403420499, -7.217376816214771, -5.977318982330488, -6.670464555550427, -6.479473716619691, -6.479473716619691, -6.670464555550427, -6.479473716619691, -6.670464555550427, -6.479473716619691, -6.479473716619691, -6.670464555550427, -6.479473716619691, -6.670464555550427, -6.670464555550427, -6.670464555550427, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018, 8977.042613709018]
problem = HyperSpinGlass(nv, hyperedges; weights)
solution = solve(problem, SingleConfigMin())