lpsolve download | SourceForge.net

35 Reviews

Downloads: 543 This Week

Last Update: 2021-01-06

Get an email when there's a new version of lpsolve

Linux Windows Mac BSD ChromeOS

Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS

Features

Linear and Integer programming solver
Sensitivity analysis
Very strong API with many programming language examples
IDE
Open source
Pure C code
Windows, Unix, Linux, Mac OSX
32 and 64 bit
Also precompiled binaries provided

Project Samples

IDE screenshot

Project Activity

See All Activity >

{{ this.obj.activity_extras.summary }}

{{/each}}

Categories

Algorithms, Mathematics

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow lpsolve

lpsolve Web Site

You Might Also Like

Turn speech into text using Google AI Icon

Turn speech into text using Google AI

Accurately convert voice to text in over 125 languages and variants by applying powerful machine learning models with an easy-to-use API.

New customers get $300 in free credits to spend on Speech-to-Text. All customers get 60 minutes for transcribing and analyzing audio free per month, not charged against your credits.

Try for free

Rate This Project

Login To Rate This Project

User Ratings

4.8 out of 5 stars

★★★★★

★★★★

★★★

★★

★

33

0

0

0

2

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 4 / 5

User Reviews

Filter Reviews:

All

jacksieber Posted 2018-05-10

The Lesser General Public License allows for closed source software to use open source libraries, such as lpsolve.
gun4as Posted 2015-03-19

Pretty much the BEST open-source LP library and environment. Easy to use, very flexible and fast as well. Integrates very well with Qt 5.4 Thanks for the awesome work
roadrunner_0 Posted 2014-05-02

Excellent costless alternative for Mixed Integer Linear Programming solver. Highly configurable extensions to integrate different file formats.
zaguia Edited 2017-12-23

/!\ Warning /!\ did miss solve a binary problem. e_7_27 is put explicitly to 1 but in the solution it is 0. min : 2 e_2_0 - 5 r_5_0_0 - 5 r_5_1_0 - 5 r_5_2_0 - 5 r_5_3_0 - 1 r_1_0_0 - 1 r_1_1_0 - 1 r_1_2_0 - 1 r_1_3_0 - 1 r_1_4_0 - 1 r_1_5_0 - 1 r_1_6_0 - 1 r_1_7_0 - 1 r_1_8_0 - 1 r_1_9_0 - 1 r_1_10_0 - 1 r_1_11_0 - 1 r_1_12_0 - 1 r_1_13_0 - 1 r_1_14_0 - 1 r_1_15_0 - 1 r_1_16_0 - 1 r_1_17_0 - 1 r_1_18_0 - 1 r_1_19_0 - 3 r_3_0_0 - 3 r_3_1_0 - 3 r_3_2_0 - 3 r_3_3_0 - 3 r_3_4_0 - 3 r_3_5_0 - 2 r_2_0_0 - 2 r_2_1_0 - 2 r_2_2_0 - 2 r_2_3_0 - 2 r_2_4_0 - 2 r_2_5_0 - 2 r_2_6_0 - 2 r_2_7_0 - 2 r_2_8_0 - 2 r_2_9_0 + 2 e_2_1 - 5 r_5_0_1 - 5 r_5_1_1 - 5 r_5_2_1 - 5 r_5_3_1 - 1 r_1_0_1 - 1 r_1_1_1 - 1 r_1_2_1 - 1 r_1_3_1 - 1 r_1_4_1 - 1 r_1_5_1 - 1 r_1_6_1 - 1 r_1_7_1 - 1 r_1_8_1 - 1 r_1_9_1 - 1 r_1_10_1 - 1 r_1_11_1 - 1 r_1_12_1 - 1 r_1_13_1 - 1 r_1_14_1 - 1 r_1_15_1 - 1 r_1_16_1 - 1 r_1_17_1 - 1 r_1_18_1 - 1 r_1_19_1 - 3 r_3_0_1 - 3 r_3_1_1 - 3 r_3_2_1 - 3 r_3_3_1 - 3 r_3_4_1 - 3 r_3_5_1 - 2 r_2_0_1 - 2 r_2_1_1 - 2 r_2_2_1 - 2 r_2_3_1 - 2 r_2_4_1 - 2 r_2_5_1 - 2 r_2_6_1 - 2 r_2_7_1 - 2 r_2_8_1 - 2 r_2_9_1 + 2 e_2_2 - 5 r_5_0_2 - 5 r_5_1_2 - 5 r_5_2_2 - 5 r_5_3_2 - 1 r_1_0_2 - 1 r_1_1_2 - 1 r_1_2_2 - 1 r_1_3_2 - 1 r_1_4_2 - 1 r_1_5_2 - 1 r_1_6_2 - 1 r_1_7_2 - 1 r_1_8_2 - 1 r_1_9_2 - 1 r_1_10_2 - 1 r_1_11_2 - 1 r_1_12_2 - 1 r_1_13_2 - 1 r_1_14_2 - 1 r_1_15_2 - 1 r_1_16_2 - 1 r_1_17_2 - 1 r_1_18_2 - 1 r_1_19_2 - 3 r_3_0_2 - 3 r_3_1_2 - 3 r_3_2_2 - 3 r_3_3_2 - 3 r_3_4_2 - 3 r_3_5_2 - 2 r_2_0_2 - 2 r_2_1_2 - 2 r_2_2_2 - 2 r_2_3_2 - 2 r_2_4_2 - 2 r_2_5_2 - 2 r_2_6_2 - 2 r_2_7_2 - 2 r_2_8_2 - 2 r_2_9_2 + 1 e_1_3 - 5 r_5_0_3 - 5 r_5_1_3 - 5 r_5_2_3 - 5 r_5_3_3 - 1 r_1_0_3 - 1 r_1_1_3 - 1 r_1_2_3 - 1 r_1_3_3 - 1 r_1_4_3 - 1 r_1_5_3 - 1 r_1_6_3 - 1 r_1_7_3 - 1 r_1_8_3 - 1 r_1_9_3 - 1 r_1_10_3 - 1 r_1_11_3 - 1 r_1_12_3 - 1 r_1_13_3 - 1 r_1_14_3 - 1 r_1_15_3 - 1 r_1_16_3 - 1 r_1_17_3 - 1 r_1_18_3 - 1 r_1_19_3 - 3 r_3_0_3 - 3 r_3_1_3 - 3 r_3_2_3 - 3 r_3_3_3 - 3 r_3_4_3 - 3 r_3_5_3 - 2 r_2_0_3 - 2 r_2_1_3 - 2 r_2_2_3 - 2 r_2_3_3 - 2 r_2_4_3 - 2 r_2_5_3 - 2 r_2_6_3 - 2 r_2_7_3 - 2 r_2_8_3 - 2 r_2_9_3 + 4 e_4_4 - 5 r_5_0_4 - 5 r_5_1_4 - 5 r_5_2_4 - 5 r_5_3_4 - 1 r_1_0_4 - 1 r_1_1_4 - 1 r_1_2_4 - 1 r_1_3_4 - 1 r_1_4_4 - 1 r_1_5_4 - 1 r_1_6_4 - 1 r_1_7_4 - 1 r_1_8_4 - 1 r_1_9_4 - 1 r_1_10_4 - 1 r_1_11_4 - 1 r_1_12_4 - 1 r_1_13_4 - 1 r_1_14_4 - 1 r_1_15_4 - 1 r_1_16_4 - 1 r_1_17_4 - 1 r_1_18_4 - 1 r_1_19_4 - 3 r_3_0_4 - 3 r_3_1_4 - 3 r_3_2_4 - 3 r_3_3_4 - 3 r_3_4_4 - 3 r_3_5_4 - 2 r_2_0_4 - 2 r_2_1_4 - 2 r_2_2_4 - 2 r_2_3_4 - 2 r_2_4_4 - 2 r_2_5_4 - 2 r_2_6_4 - 2 r_2_7_4 - 2 r_2_8_4 - 2 r_2_9_4 + 4 e_4_5 - 5 r_5_0_5 - 5 r_5_1_5 - 5 r_5_2_5 - 5 r_5_3_5 - 1 r_1_0_5 - 1 r_1_1_5 - 1 r_1_2_5 - 1 r_1_3_5 - 1 r_1_4_5 - 1 r_1_5_5 - 1 r_1_6_5 - 1 r_1_7_5 - 1 r_1_8_5 - 1 r_1_9_5 - 1 r_1_10_5 - 1 r_1_11_5 - 1 r_1_12_5 - 1 r_1_13_5 - 1 r_1_14_5 - 1 r_1_15_5 - 1 r_1_16_5 - 1 r_1_17_5 - 1 r_1_18_5 - 1 r_1_19_5 - 3 r_3_0_5 - 3 r_3_1_5 - 3 r_3_2_5 - 3 r_3_3_5 - 3 r_3_4_5 - 3 r_3_5_5 - 2 r_2_0_5 - 2 r_2_1_5 - 2 r_2_2_5 - 2 r_2_3_5 - 2 r_2_4_5 - 2 r_2_5_5 - 2 r_2_6_5 - 2 r_2_7_5 - 2 r_2_8_5 - 2 r_2_9_5 + 4 e_4_6 - 5 r_5_0_6 - 5 r_5_1_6 - 5 r_5_2_6 - 5 r_5_3_6 - 1 r_1_0_6 - 1 r_1_1_6 - 1 r_1_2_6 - 1 r_1_3_6 - 1 r_1_4_6 - 1 r_1_5_6 - 1 r_1_6_6 - 1 r_1_7_6 - 1 r_1_8_6 - 1 r_1_9_6 - 1 r_1_10_6 - 1 r_1_11_6 - 1 r_1_12_6 - 1 r_1_13_6 - 1 r_1_14_6 - 1 r_1_15_6 - 1 r_1_16_6 - 1 r_1_17_6 - 1 r_1_18_6 - 1 r_1_19_6 - 3 r_3_0_6 - 3 r_3_1_6 - 3 r_3_2_6 - 3 r_3_3_6 - 3 r_3_4_6 - 3 r_3_5_6 - 2 r_2_0_6 - 2 r_2_1_6 - 2 r_2_2_6 - 2 r_2_3_6 - 2 r_2_4_6 - 2 r_2_5_6 - 2 r_2_6_6 - 2 r_2_7_6 - 2 r_2_8_6 - 2 r_2_9_6 + 4 e_4_7 - 5 r_5_0_7 - 5 r_5_1_7 - 5 r_5_2_7 - 5 r_5_3_7 - 1 r_1_0_7 - 1 r_1_1_7 - 1 r_1_2_7 - 1 r_1_3_7 - 1 r_1_4_7 - 1 r_1_5_7 - 1 r_1_6_7 - 1 r_1_7_7 - 1 r_1_8_7 - 1 r_1_9_7 - 1 r_1_10_7 - 1 r_1_11_7 - 1 r_1_12_7 - 1 r_1_13_7 - 1 r_1_14_7 - 1 r_1_15_7 - 1 r_1_16_7 - 1 r_1_17_7 - 1 r_1_18_7 - 1 r_1_19_7 - 3 r_3_0_7 - 3 r_3_1_7 - 3 r_3_2_7 - 3 r_3_3_7 - 3 r_3_4_7 - 3 r_3_5_7 - 2 r_2_0_7 - 2 r_2_1_7 - 2 r_2_2_7 - 2 r_2_3_7 - 2 r_2_4_7 - 2 r_2_5_7 - 2 r_2_6_7 - 2 r_2_7_7 - 2 r_2_8_7 - 2 r_2_9_7 + 4 e_4_8 - 5 r_5_0_8 - 5 r_5_1_8 - 5 r_5_2_8 - 5 r_5_3_8 - 1 r_1_0_8 - 1 r_1_1_8 - 1 r_1_2_8 - 1 r_1_3_8 - 1 r_1_4_8 - 1 r_1_5_8 - 1 r_1_6_8 - 1 r_1_7_8 - 1 r_1_8_8 - 1 r_1_9_8 - 1 r_1_10_8 - 1 r_1_11_8 - 1 r_1_12_8 - 1 r_1_13_8 - 1 r_1_14_8 - 1 r_1_15_8 - 1 r_1_16_8 - 1 r_1_17_8 - 1 r_1_18_8 - 1 r_1_19_8 - 3 r_3_0_8 - 3 r_3_1_8 - 3 r_3_2_8 - 3 r_3_3_8 - 3 r_3_4_8 - 3 r_3_5_8 - 2 r_2_0_8 - 2 r_2_1_8 - 2 r_2_2_8 - 2 r_2_3_8 - 2 r_2_4_8 - 2 r_2_5_8 - 2 r_2_6_8 - 2 r_2_7_8 - 2 r_2_8_8 - 2 r_2_9_8 + 4 e_4_9 - 5 r_5_0_9 - 5 r_5_1_9 - 5 r_5_2_9 - 5 r_5_3_9 - 1 r_1_0_9 - 1 r_1_1_9 - 1 r_1_2_9 - 1 r_1_3_9 - 1 r_1_4_9 - 1 r_1_5_9 - 1 r_1_6_9 - 1 r_1_7_9 - 1 r_1_8_9 - 1 r_1_9_9 - 1 r_1_10_9 - 1 r_1_11_9 - 1 r_1_12_9 - 1 r_1_13_9 - 1 r_1_14_9 - 1 r_1_15_9 - 1 r_1_16_9 - 1 r_1_17_9 - 1 r_1_18_9 - 1 r_1_19_9 - 3 r_3_0_9 - 3 r_3_1_9 - 3 r_3_2_9 - 3 r_3_3_9 - 3 r_3_4_9 - 3 r_3_5_9 - 2 r_2_0_9 - 2 r_2_1_9 - 2 r_2_2_9 - 2 r_2_3_9 - 2 r_2_4_9 - 2 r_2_5_9 - 2 r_2_6_9 - 2 r_2_7_9 - 2 r_2_8_9 - 2 r_2_9_9 + 4 e_4_10 - 5 r_5_0_10 - 5 r_5_1_10 - 5 r_5_2_10 - 5 r_5_3_10 - 1 r_1_0_10 - 1 r_1_1_10 - 1 r_1_2_10 - 1 r_1_3_10 - 1 r_1_4_10 - 1 r_1_5_10 - 1 r_1_6_10 - 1 r_1_7_10 - 1 r_1_8_10 - 1 r_1_9_10 - 1 r_1_10_10 - 1 r_1_11_10 - 1 r_1_12_10 - 1 r_1_13_10 - 1 r_1_14_10 - 1 r_1_15_10 - 1 r_1_16_10 - 1 r_1_17_10 - 1 r_1_18_10 - 1 r_1_19_10 - 3 r_3_0_10 - 3 r_3_1_10 - 3 r_3_2_10 - 3 r_3_3_10 - 3 r_3_4_10 - 3 r_3_5_10 - 2 r_2_0_10 - 2 r_2_1_10 - 2 r_2_2_10 - 2 r_2_3_10 - 2 r_2_4_10 - 2 r_2_5_10 - 2 r_2_6_10 - 2 r_2_7_10 - 2 r_2_8_10 - 2 r_2_9_10 + 4 e_4_11 - 5 r_5_0_11 - 5 r_5_1_11 - 5 r_5_2_11 - 5 r_5_3_11 - 1 r_1_0_11 - 1 r_1_1_11 - 1 r_1_2_11 - 1 r_1_3_11 - 1 r_1_4_11 - 1 r_1_5_11 - 1 r_1_6_11 - 1 r_1_7_11 - 1 r_1_8_11 - 1 r_1_9_11 - 1 r_1_10_11 - 1 r_1_11_11 - 1 r_1_12_11 - 1 r_1_13_11 - 1 r_1_14_11 - 1 r_1_15_11 - 1 r_1_16_11 - 1 r_1_17_11 - 1 r_1_18_11 - 1 r_1_19_11 - 3 r_3_0_11 - 3 r_3_1_11 - 3 r_3_2_11 - 3 r_3_3_11 - 3 r_3_4_11 - 3 r_3_5_11 - 2 r_2_0_11 - 2 r_2_1_11 - 2 r_2_2_11 - 2 r_2_3_11 - 2 r_2_4_11 - 2 r_2_5_11 - 2 r_2_6_11 - 2 r_2_7_11 - 2 r_2_8_11 - 2 r_2_9_11 + 4 e_4_12 - 5 r_5_0_12 - 5 r_5_1_12 - 5 r_5_2_12 - 5 r_5_3_12 - 1 r_1_0_12 - 1 r_1_1_12 - 1 r_1_2_12 - 1 r_1_3_12 - 1 r_1_4_12 - 1 r_1_5_12 - 1 r_1_6_12 - 1 r_1_7_12 - 1 r_1_8_12 - 1 r_1_9_12 - 1 r_1_10_12 - 1 r_1_11_12 - 1 r_1_12_12 - 1 r_1_13_12 - 1 r_1_14_12 - 1 r_1_15_12 - 1 r_1_16_12 - 1 r_1_17_12 - 1 r_1_18_12 - 1 r_1_19_12 - 3 r_3_0_12 - 3 r_3_1_12 - 3 r_3_2_12 - 3 r_3_3_12 - 3 r_3_4_12 - 3 r_3_5_12 - 2 r_2_0_12 - 2 r_2_1_12 - 2 r_2_2_12 - 2 r_2_3_12 - 2 r_2_4_12 - 2 r_2_5_12 - 2 r_2_6_12 - 2 r_2_7_12 - 2 r_2_8_12 - 2 r_2_9_12 + 4 e_4_13 - 5 r_5_0_13 - 5 r_5_1_13 - 5 r_5_2_13 - 5 r_5_3_13 - 1 r_1_0_13 - 1 r_1_1_13 - 1 r_1_2_13 - 1 r_1_3_13 - 1 r_1_4_13 - 1 r_1_5_13 - 1 r_1_6_13 - 1 r_1_7_13 - 1 r_1_8_13 - 1 r_1_9_13 - 1 r_1_10_13 - 1 r_1_11_13 - 1 r_1_12_13 - 1 r_1_13_13 - 1 r_1_14_13 - 1 r_1_15_13 - 1 r_1_16_13 - 1 r_1_17_13 - 1 r_1_18_13 - 1 r_1_19_13 - 3 r_3_0_13 - 3 r_3_1_13 - 3 r_3_2_13 - 3 r_3_3_13 - 3 r_3_4_13 - 3 r_3_5_13 - 2 r_2_0_13 - 2 r_2_1_13 - 2 r_2_2_13 - 2 r_2_3_13 - 2 r_2_4_13 - 2 r_2_5_13 - 2 r_2_6_13 - 2 r_2_7_13 - 2 r_2_8_13 - 2 r_2_9_13 + 4 e_4_14 - 5 r_5_0_14 - 5 r_5_1_14 - 5 r_5_2_14 - 5 r_5_3_14 - 1 r_1_0_14 - 1 r_1_1_14 - 1 r_1_2_14 - 1 r_1_3_14 - 1 r_1_4_14 - 1 r_1_5_14 - 1 r_1_6_14 - 1 r_1_7_14 - 1 r_1_8_14 - 1 r_1_9_14 - 1 r_1_10_14 - 1 r_1_11_14 - 1 r_1_12_14 - 1 r_1_13_14 - 1 r_1_14_14 - 1 r_1_15_14 - 1 r_1_16_14 - 1 r_1_17_14 - 1 r_1_18_14 - 1 r_1_19_14 - 3 r_3_0_14 - 3 r_3_1_14 - 3 r_3_2_14 - 3 r_3_3_14 - 3 r_3_4_14 - 3 r_3_5_14 - 2 r_2_0_14 - 2 r_2_1_14 - 2 r_2_2_14 - 2 r_2_3_14 - 2 r_2_4_14 - 2 r_2_5_14 - 2 r_2_6_14 - 2 r_2_7_14 - 2 r_2_8_14 - 2 r_2_9_14 + 4 e_4_15 - 5 r_5_0_15 - 5 r_5_1_15 - 5 r_5_2_15 - 5 r_5_3_15 - 1 r_1_0_15 - 1 r_1_1_15 - 1 r_1_2_15 - 1 r_1_3_15 - 1 r_1_4_15 - 1 r_1_5_15 - 1 r_1_6_15 - 1 r_1_7_15 - 1 r_1_8_15 - 1 r_1_9_15 - 1 r_1_10_15 - 1 r_1_11_15 - 1 r_1_12_15 - 1 r_1_13_15 - 1 r_1_14_15 - 1 r_1_15_15 - 1 r_1_16_15 - 1 r_1_17_15 - 1 r_1_18_15 - 1 r_1_19_15 - 3 r_3_0_15 - 3 r_3_1_15 - 3 r_3_2_15 - 3 r_3_3_15 - 3 r_3_4_15 - 3 r_3_5_15 - 2 r_2_0_15 - 2 r_2_1_15 - 2 r_2_2_15 - 2 r_2_3_15 - 2 r_2_4_15 - 2 r_2_5_15 - 2 r_2_6_15 - 2 r_2_7_15 - 2 r_2_8_15 - 2 r_2_9_15 + 8 e_8_16 - 5 r_5_0_16 - 5 r_5_1_16 - 5 r_5_2_16 - 5 r_5_3_16 - 1 r_1_0_16 - 1 r_1_1_16 - 1 r_1_2_16 - 1 r_1_3_16 - 1 r_1_4_16 - 1 r_1_5_16 - 1 r_1_6_16 - 1 r_1_7_16 - 1 r_1_8_16 - 1 r_1_9_16 - 1 r_1_10_16 - 1 r_1_11_16 - 1 r_1_12_16 - 1 r_1_13_16 - 1 r_1_14_16 - 1 r_1_15_16 - 1 r_1_16_16 - 1 r_1_17_16 - 1 r_1_18_16 - 1 r_1_19_16 - 3 r_3_0_16 - 3 r_3_1_16 - 3 r_3_2_16 - 3 r_3_3_16 - 3 r_3_4_16 - 3 r_3_5_16 - 2 r_2_0_16 - 2 r_2_1_16 - 2 r_2_2_16 - 2 r_2_3_16 - 2 r_2_4_16 - 2 r_2_5_16 - 2 r_2_6_16 - 2 r_2_7_16 - 2 r_2_8_16 - 2 r_2_9_16 + 8 e_8_17 - 5 r_5_0_17 - 5 r_5_1_17 - 5 r_5_2_17 - 5 r_5_3_17 - 1 r_1_0_17 - 1 r_1_1_17 - 1 r_1_2_17 - 1 r_1_3_17 - 1 r_1_4_17 - 1 r_1_5_17 - 1 r_1_6_17 - 1 r_1_7_17 - 1 r_1_8_17 - 1 r_1_9_17 - 1 r_1_10_17 - 1 r_1_11_17 - 1 r_1_12_17 - 1 r_1_13_17 - 1 r_1_14_17 - 1 r_1_15_17 - 1 r_1_16_17 - 1 r_1_17_17 - 1 r_1_18_17 - 1 r_1_19_17 - 3 r_3_0_17 - 3 r_3_1_17 - 3 r_3_2_17 - 3 r_3_3_17 - 3 r_3_4_17 - 3 r_3_5_17 - 2 r_2_0_17 - 2 r_2_1_17 - 2 r_2_2_17 - 2 r_2_3_17 - 2 r_2_4_17 - 2 r_2_5_17 - 2 r_2_6_17 - 2 r_2_7_17 - 2 r_2_8_17 - 2 r_2_9_17 + 8 e_8_18 - 5 r_5_0_18 - 5 r_5_1_18 - 5 r_5_2_18 - 5 r_5_3_18 - 1 r_1_0_18 - 1 r_1_1_18 - 1 r_1_2_18 - 1 r_1_3_18 - 1 r_1_4_18 - 1 r_1_5_18 - 1 r_1_6_18 - 1 r_1_7_18 - 1 r_1_8_18 - 1 r_1_9_18 - 1 r_1_10_18 - 1 r_1_11_18 - 1 r_1_12_18 - 1 r_1_13_18 - 1 r_1_14_18 - 1 r_1_15_18 - 1 r_1_16_18 - 1 r_1_17_18 - 1 r_1_18_18 - 1 r_1_19_18 - 3 r_3_0_18 - 3 r_3_1_18 - 3 r_3_2_18 - 3 r_3_3_18 - 3 r_3_4_18 - 3 r_3_5_18 - 2 r_2_0_18 - 2 r_2_1_18 - 2 r_2_2_18 - 2 r_2_3_18 - 2 r_2_4_18 - 2 r_2_5_18 - 2 r_2_6_18 - 2 r_2_7_18 - 2 r_2_8_18 - 2 r_2_9_18 + 8 e_8_19 - 5 r_5_0_19 - 5 r_5_1_19 - 5 r_5_2_19 - 5 r_5_3_19 - 1 r_1_0_19 - 1 r_1_1_19 - 1 r_1_2_19 - 1 r_1_3_19 - 1 r_1_4_19 - 1 r_1_5_19 - 1 r_1_6_19 - 1 r_1_7_19 - 1 r_1_8_19 - 1 r_1_9_19 - 1 r_1_10_19 - 1 r_1_11_19 - 1 r_1_12_19 - 1 r_1_13_19 - 1 r_1_14_19 - 1 r_1_15_19 - 1 r_1_16_19 - 1 r_1_17_19 - 1 r_1_18_19 - 1 r_1_19_19 - 3 r_3_0_19 - 3 r_3_1_19 - 3 r_3_2_19 - 3 r_3_3_19 - 3 r_3_4_19 - 3 r_3_5_19 - 2 r_2_0_19 - 2 r_2_1_19 - 2 r_2_2_19 - 2 r_2_3_19 - 2 r_2_4_19 - 2 r_2_5_19 - 2 r_2_6_19 - 2 r_2_7_19 - 2 r_2_8_19 - 2 r_2_9_19 + 8 e_8_20 - 5 r_5_0_20 - 5 r_5_1_20 - 5 r_5_2_20 - 5 r_5_3_20 - 1 r_1_0_20 - 1 r_1_1_20 - 1 r_1_2_20 - 1 r_1_3_20 - 1 r_1_4_20 - 1 r_1_5_20 - 1 r_1_6_20 - 1 r_1_7_20 - 1 r_1_8_20 - 1 r_1_9_20 - 1 r_1_10_20 - 1 r_1_11_20 - 1 r_1_12_20 - 1 r_1_13_20 - 1 r_1_14_20 - 1 r_1_15_20 - 1 r_1_16_20 - 1 r_1_17_20 - 1 r_1_18_20 - 1 r_1_19_20 - 3 r_3_0_20 - 3 r_3_1_20 - 3 r_3_2_20 - 3 r_3_3_20 - 3 r_3_4_20 - 3 r_3_5_20 - 2 r_2_0_20 - 2 r_2_1_20 - 2 r_2_2_20 - 2 r_2_3_20 - 2 r_2_4_20 - 2 r_2_5_20 - 2 r_2_6_20 - 2 r_2_7_20 - 2 r_2_8_20 - 2 r_2_9_20 + 8 e_8_21 - 5 r_5_0_21 - 5 r_5_1_21 - 5 r_5_2_21 - 5 r_5_3_21 - 1 r_1_0_21 - 1 r_1_1_21 - 1 r_1_2_21 - 1 r_1_3_21 - 1 r_1_4_21 - 1 r_1_5_21 - 1 r_1_6_21 - 1 r_1_7_21 - 1 r_1_8_21 - 1 r_1_9_21 - 1 r_1_10_21 - 1 r_1_11_21 - 1 r_1_12_21 - 1 r_1_13_21 - 1 r_1_14_21 - 1 r_1_15_21 - 1 r_1_16_21 - 1 r_1_17_21 - 1 r_1_18_21 - 1 r_1_19_21 - 3 r_3_0_21 - 3 r_3_1_21 - 3 r_3_2_21 - 3 r_3_3_21 - 3 r_3_4_21 - 3 r_3_5_21 - 2 r_2_0_21 - 2 r_2_1_21 - 2 r_2_2_21 - 2 r_2_3_21 - 2 r_2_4_21 - 2 r_2_5_21 - 2 r_2_6_21 - 2 r_2_7_21 - 2 r_2_8_21 - 2 r_2_9_21 + 8 e_8_22 - 5 r_5_0_22 - 5 r_5_1_22 - 5 r_5_2_22 - 5 r_5_3_22 - 1 r_1_0_22 - 1 r_1_1_22 - 1 r_1_2_22 - 1 r_1_3_22 - 1 r_1_4_22 - 1 r_1_5_22 - 1 r_1_6_22 - 1 r_1_7_22 - 1 r_1_8_22 - 1 r_1_9_22 - 1 r_1_10_22 - 1 r_1_11_22 - 1 r_1_12_22 - 1 r_1_13_22 - 1 r_1_14_22 - 1 r_1_15_22 - 1 r_1_16_22 - 1 r_1_17_22 - 1 r_1_18_22 - 1 r_1_19_22 - 3 r_3_0_22 - 3 r_3_1_22 - 3 r_3_2_22 - 3 r_3_3_22 - 3 r_3_4_22 - 3 r_3_5_22 - 2 r_2_0_22 - 2 r_2_1_22 - 2 r_2_2_22 - 2 r_2_3_22 - 2 r_2_4_22 - 2 r_2_5_22 - 2 r_2_6_22 - 2 r_2_7_22 - 2 r_2_8_22 - 2 r_2_9_22 + 8 e_8_23 - 5 r_5_0_23 - 5 r_5_1_23 - 5 r_5_2_23 - 5 r_5_3_23 - 1 r_1_0_23 - 1 r_1_1_23 - 1 r_1_2_23 - 1 r_1_3_23 - 1 r_1_4_23 - 1 r_1_5_23 - 1 r_1_6_23 - 1 r_1_7_23 - 1 r_1_8_23 - 1 r_1_9_23 - 1 r_1_10_23 - 1 r_1_11_23 - 1 r_1_12_23 - 1 r_1_13_23 - 1 r_1_14_23 - 1 r_1_15_23 - 1 r_1_16_23 - 1 r_1_17_23 - 1 r_1_18_23 - 1 r_1_19_23 - 3 r_3_0_23 - 3 r_3_1_23 - 3 r_3_2_23 - 3 r_3_3_23 - 3 r_3_4_23 - 3 r_3_5_23 - 2 r_2_0_23 - 2 r_2_1_23 - 2 r_2_2_23 - 2 r_2_3_23 - 2 r_2_4_23 - 2 r_2_5_23 - 2 r_2_6_23 - 2 r_2_7_23 - 2 r_2_8_23 - 2 r_2_9_23 + 8 e_8_24 - 5 r_5_0_24 - 5 r_5_1_24 - 5 r_5_2_24 - 5 r_5_3_24 - 1 r_1_0_24 - 1 r_1_1_24 - 1 r_1_2_24 - 1 r_1_3_24 - 1 r_1_4_24 - 1 r_1_5_24 - 1 r_1_6_24 - 1 r_1_7_24 - 1 r_1_8_24 - 1 r_1_9_24 - 1 r_1_10_24 - 1 r_1_11_24 - 1 r_1_12_24 - 1 r_1_13_24 - 1 r_1_14_24 - 1 r_1_15_24 - 1 r_1_16_24 - 1 r_1_17_24 - 1 r_1_18_24 - 1 r_1_19_24 - 3 r_3_0_24 - 3 r_3_1_24 - 3 r_3_2_24 - 3 r_3_3_24 - 3 r_3_4_24 - 3 r_3_5_24 - 2 r_2_0_24 - 2 r_2_1_24 - 2 r_2_2_24 - 2 r_2_3_24 - 2 r_2_4_24 - 2 r_2_5_24 - 2 r_2_6_24 - 2 r_2_7_24 - 2 r_2_8_24 - 2 r_2_9_24 + 7 e_7_25 - 5 r_5_0_25 - 5 r_5_1_25 - 5 r_5_2_25 - 5 r_5_3_25 - 1 r_1_0_25 - 1 r_1_1_25 - 1 r_1_2_25 - 1 r_1_3_25 - 1 r_1_4_25 - 1 r_1_5_25 - 1 r_1_6_25 - 1 r_1_7_25 - 1 r_1_8_25 - 1 r_1_9_25 - 1 r_1_10_25 - 1 r_1_11_25 - 1 r_1_12_25 - 1 r_1_13_25 - 1 r_1_14_25 - 1 r_1_15_25 - 1 r_1_16_25 - 1 r_1_17_25 - 1 r_1_18_25 - 1 r_1_19_25 - 3 r_3_0_25 - 3 r_3_1_25 - 3 r_3_2_25 - 3 r_3_3_25 - 3 r_3_4_25 - 3 r_3_5_25 - 2 r_2_0_25 - 2 r_2_1_25 - 2 r_2_2_25 - 2 r_2_3_25 - 2 r_2_4_25 - 2 r_2_5_25 - 2 r_2_6_25 - 2 r_2_7_25 - 2 r_2_8_25 - 2 r_2_9_25 + 7 e_7_26 - 5 r_5_0_26 - 5 r_5_1_26 - 5 r_5_2_26 - 5 r_5_3_26 - 1 r_1_0_26 - 1 r_1_1_26 - 1 r_1_2_26 - 1 r_1_3_26 - 1 r_1_4_26 - 1 r_1_5_26 - 1 r_1_6_26 - 1 r_1_7_26 - 1 r_1_8_26 - 1 r_1_9_26 - 1 r_1_10_26 - 1 r_1_11_26 - 1 r_1_12_26 - 1 r_1_13_26 - 1 r_1_14_26 - 1 r_1_15_26 - 1 r_1_16_26 - 1 r_1_17_26 - 1 r_1_18_26 - 1 r_1_19_26 - 3 r_3_0_26 - 3 r_3_1_26 - 3 r_3_2_26 - 3 r_3_3_26 - 3 r_3_4_26 - 3 r_3_5_26 - 2 r_2_0_26 - 2 r_2_1_26 - 2 r_2_2_26 - 2 r_2_3_26 - 2 r_2_4_26 - 2 r_2_5_26 - 2 r_2_6_26 - 2 r_2_7_26 - 2 r_2_8_26 - 2 r_2_9_26 + 7 e_7_27 - 5 r_5_0_27 - 5 r_5_1_27 - 5 r_5_2_27 - 5 r_5_3_27 - 1 r_1_0_27 - 1 r_1_1_27 - 1 r_1_2_27 - 1 r_1_3_27 - 1 r_1_4_27 - 1 r_1_5_27 - 1 r_1_6_27 - 1 r_1_7_27 - 1 r_1_8_27 - 1 r_1_9_27 - 1 r_1_10_27 - 1 r_1_11_27 - 1 r_1_12_27 - 1 r_1_13_27 - 1 r_1_14_27 - 1 r_1_15_27 - 1 r_1_16_27 - 1 r_1_17_27 - 1 r_1_18_27 - 1 r_1_19_27 - 3 r_3_0_27 - 3 r_3_1_27 - 3 r_3_2_27 - 3 r_3_3_27 - 3 r_3_4_27 - 3 r_3_5_27 - 2 r_2_0_27 - 2 r_2_1_27 - 2 r_2_2_27 - 2 r_2_3_27 - 2 r_2_4_27 - 2 r_2_5_27 - 2 r_2_6_27 - 2 r_2_7_27 - 2 r_2_8_27 - 2 r_2_9_27 + 20 e_20_28 - 5 r_5_0_28 - 5 r_5_1_28 - 5 r_5_2_28 - 5 r_5_3_28 - 1 r_1_0_28 - 1 r_1_1_28 - 1 r_1_2_28 - 1 r_1_3_28 - 1 r_1_4_28 - 1 r_1_5_28 - 1 r_1_6_28 - 1 r_1_7_28 - 1 r_1_8_28 - 1 r_1_9_28 - 1 r_1_10_28 - 1 r_1_11_28 - 1 r_1_12_28 - 1 r_1_13_28 - 1 r_1_14_28 - 1 r_1_15_28 - 1 r_1_16_28 - 1 r_1_17_28 - 1 r_1_18_28 - 1 r_1_19_28 - 3 r_3_0_28 - 3 r_3_1_28 - 3 r_3_2_28 - 3 r_3_3_28 - 3 r_3_4_28 - 3 r_3_5_28 - 2 r_2_0_28 - 2 r_2_1_28 - 2 r_2_2_28 - 2 r_2_3_28 - 2 r_2_4_28 - 2 r_2_5_28 - 2 r_2_6_28 - 2 r_2_7_28 - 2 r_2_8_28 - 2 r_2_9_28 + 20 e_20_29 - 5 r_5_0_29 - 5 r_5_1_29 - 5 r_5_2_29 - 5 r_5_3_29 - 1 r_1_0_29 - 1 r_1_1_29 - 1 r_1_2_29 - 1 r_1_3_29 - 1 r_1_4_29 - 1 r_1_5_29 - 1 r_1_6_29 - 1 r_1_7_29 - 1 r_1_8_29 - 1 r_1_9_29 - 1 r_1_10_29 - 1 r_1_11_29 - 1 r_1_12_29 - 1 r_1_13_29 - 1 r_1_14_29 - 1 r_1_15_29 - 1 r_1_16_29 - 1 r_1_17_29 - 1 r_1_18_29 - 1 r_1_19_29 - 3 r_3_0_29 - 3 r_3_1_29 - 3 r_3_2_29 - 3 r_3_3_29 - 3 r_3_4_29 - 3 r_3_5_29 - 2 r_2_0_29 - 2 r_2_1_29 - 2 r_2_2_29 - 2 r_2_3_29 - 2 r_2_4_29 - 2 r_2_5_29 - 2 r_2_6_29 - 2 r_2_7_29 - 2 r_2_8_29 - 2 r_2_9_29 + 20 e_20_30 - 5 r_5_0_30 - 5 r_5_1_30 - 5 r_5_2_30 - 5 r_5_3_30 - 1 r_1_0_30 - 1 r_1_1_30 - 1 r_1_2_30 - 1 r_1_3_30 - 1 r_1_4_30 - 1 r_1_5_30 - 1 r_1_6_30 - 1 r_1_7_30 - 1 r_1_8_30 - 1 r_1_9_30 - 1 r_1_10_30 - 1 r_1_11_30 - 1 r_1_12_30 - 1 r_1_13_30 - 1 r_1_14_30 - 1 r_1_15_30 - 1 r_1_16_30 - 1 r_1_17_30 - 1 r_1_18_30 - 1 r_1_19_30 - 3 r_3_0_30 - 3 r_3_1_30 - 3 r_3_2_30 - 3 r_3_3_30 - 3 r_3_4_30 - 3 r_3_5_30 - 2 r_2_0_30 - 2 r_2_1_30 - 2 r_2_2_30 - 2 r_2_3_30 - 2 r_2_4_30 - 2 r_2_5_30 - 2 r_2_6_30 - 2 r_2_7_30 - 2 r_2_8_30 - 2 r_2_9_30 ; 2 e_2_0 - 5 r_5_0_0 - 5 r_5_1_0 - 5 r_5_2_0 - 5 r_5_3_0 - 1 r_1_0_0 - 1 r_1_1_0 - 1 r_1_2_0 - 1 r_1_3_0 - 1 r_1_4_0 - 1 r_1_5_0 - 1 r_1_6_0 - 1 r_1_7_0 - 1 r_1_8_0 - 1 r_1_9_0 - 1 r_1_10_0 - 1 r_1_11_0 - 1 r_1_12_0 - 1 r_1_13_0 - 1 r_1_14_0 - 1 r_1_15_0 - 1 r_1_16_0 - 1 r_1_17_0 - 1 r_1_18_0 - 1 r_1_19_0 - 3 r_3_0_0 - 3 r_3_1_0 - 3 r_3_2_0 - 3 r_3_3_0 - 3 r_3_4_0 - 3 r_3_5_0 - 2 r_2_0_0 - 2 r_2_1_0 - 2 r_2_2_0 - 2 r_2_3_0 - 2 r_2_4_0 - 2 r_2_5_0 - 2 r_2_6_0 - 2 r_2_7_0 - 2 r_2_8_0 - 2 r_2_9_0>0; 2 e_2_1 - 5 r_5_0_1 - 5 r_5_1_1 - 5 r_5_2_1 - 5 r_5_3_1 - 1 r_1_0_1 - 1 r_1_1_1 - 1 r_1_2_1 - 1 r_1_3_1 - 1 r_1_4_1 - 1 r_1_5_1 - 1 r_1_6_1 - 1 r_1_7_1 - 1 r_1_8_1 - 1 r_1_9_1 - 1 r_1_10_1 - 1 r_1_11_1 - 1 r_1_12_1 - 1 r_1_13_1 - 1 r_1_14_1 - 1 r_1_15_1 - 1 r_1_16_1 - 1 r_1_17_1 - 1 r_1_18_1 - 1 r_1_19_1 - 3 r_3_0_1 - 3 r_3_1_1 - 3 r_3_2_1 - 3 r_3_3_1 - 3 r_3_4_1 - 3 r_3_5_1 - 2 r_2_0_1 - 2 r_2_1_1 - 2 r_2_2_1 - 2 r_2_3_1 - 2 r_2_4_1 - 2 r_2_5_1 - 2 r_2_6_1 - 2 r_2_7_1 - 2 r_2_8_1 - 2 r_2_9_1>0; 2 e_2_2 - 5 r_5_0_2 - 5 r_5_1_2 - 5 r_5_2_2 - 5 r_5_3_2 - 1 r_1_0_2 - 1 r_1_1_2 - 1 r_1_2_2 - 1 r_1_3_2 - 1 r_1_4_2 - 1 r_1_5_2 - 1 r_1_6_2 - 1 r_1_7_2 - 1 r_1_8_2 - 1 r_1_9_2 - 1 r_1_10_2 - 1 r_1_11_2 - 1 r_1_12_2 - 1 r_1_13_2 - 1 r_1_14_2 - 1 r_1_15_2 - 1 r_1_16_2 - 1 r_1_17_2 - 1 r_1_18_2 - 1 r_1_19_2 - 3 r_3_0_2 - 3 r_3_1_2 - 3 r_3_2_2 - 3 r_3_3_2 - 3 r_3_4_2 - 3 r_3_5_2 - 2 r_2_0_2 - 2 r_2_1_2 - 2 r_2_2_2 - 2 r_2_3_2 - 2 r_2_4_2 - 2 r_2_5_2 - 2 r_2_6_2 - 2 r_2_7_2 - 2 r_2_8_2 - 2 r_2_9_2>0; 1 e_1_3 - 5 r_5_0_3 - 5 r_5_1_3 - 5 r_5_2_3 - 5 r_5_3_3 - 1 r_1_0_3 - 1 r_1_1_3 - 1 r_1_2_3 - 1 r_1_3_3 - 1 r_1_4_3 - 1 r_1_5_3 - 1 r_1_6_3 - 1 r_1_7_3 - 1 r_1_8_3 - 1 r_1_9_3 - 1 r_1_10_3 - 1 r_1_11_3 - 1 r_1_12_3 - 1 r_1_13_3 - 1 r_1_14_3 - 1 r_1_15_3 - 1 r_1_16_3 - 1 r_1_17_3 - 1 r_1_18_3 - 1 r_1_19_3 - 3 r_3_0_3 - 3 r_3_1_3 - 3 r_3_2_3 - 3 r_3_3_3 - 3 r_3_4_3 - 3 r_3_5_3 - 2 r_2_0_3 - 2 r_2_1_3 - 2 r_2_2_3 - 2 r_2_3_3 - 2 r_2_4_3 - 2 r_2_5_3 - 2 r_2_6_3 - 2 r_2_7_3 - 2 r_2_8_3 - 2 r_2_9_3>0; 4 e_4_4 - 5 r_5_0_4 - 5 r_5_1_4 - 5 r_5_2_4 - 5 r_5_3_4 - 1 r_1_0_4 - 1 r_1_1_4 - 1 r_1_2_4 - 1 r_1_3_4 - 1 r_1_4_4 - 1 r_1_5_4 - 1 r_1_6_4 - 1 r_1_7_4 - 1 r_1_8_4 - 1 r_1_9_4 - 1 r_1_10_4 - 1 r_1_11_4 - 1 r_1_12_4 - 1 r_1_13_4 - 1 r_1_14_4 - 1 r_1_15_4 - 1 r_1_16_4 - 1 r_1_17_4 - 1 r_1_18_4 - 1 r_1_19_4 - 3 r_3_0_4 - 3 r_3_1_4 - 3 r_3_2_4 - 3 r_3_3_4 - 3 r_3_4_4 - 3 r_3_5_4 - 2 r_2_0_4 - 2 r_2_1_4 - 2 r_2_2_4 - 2 r_2_3_4 - 2 r_2_4_4 - 2 r_2_5_4 - 2 r_2_6_4 - 2 r_2_7_4 - 2 r_2_8_4 - 2 r_2_9_4>0; 4 e_4_5 - 5 r_5_0_5 - 5 r_5_1_5 - 5 r_5_2_5 - 5 r_5_3_5 - 1 r_1_0_5 - 1 r_1_1_5 - 1 r_1_2_5 - 1 r_1_3_5 - 1 r_1_4_5 - 1 r_1_5_5 - 1 r_1_6_5 - 1 r_1_7_5 - 1 r_1_8_5 - 1 r_1_9_5 - 1 r_1_10_5 - 1 r_1_11_5 - 1 r_1_12_5 - 1 r_1_13_5 - 1 r_1_14_5 - 1 r_1_15_5 - 1 r_1_16_5 - 1 r_1_17_5 - 1 r_1_18_5 - 1 r_1_19_5 - 3 r_3_0_5 - 3 r_3_1_5 - 3 r_3_2_5 - 3 r_3_3_5 - 3 r_3_4_5 - 3 r_3_5_5 - 2 r_2_0_5 - 2 r_2_1_5 - 2 r_2_2_5 - 2 r_2_3_5 - 2 r_2_4_5 - 2 r_2_5_5 - 2 r_2_6_5 - 2 r_2_7_5 - 2 r_2_8_5 - 2 r_2_9_5>0; 4 e_4_6 - 5 r_5_0_6 - 5 r_5_1_6 - 5 r_5_2_6 - 5 r_5_3_6 - 1 r_1_0_6 - 1 r_1_1_6 - 1 r_1_2_6 - 1 r_1_3_6 - 1 r_1_4_6 - 1 r_1_5_6 - 1 r_1_6_6 - 1 r_1_7_6 - 1 r_1_8_6 - 1 r_1_9_6 - 1 r_1_10_6 - 1 r_1_11_6 - 1 r_1_12_6 - 1 r_1_13_6 - 1 r_1_14_6 - 1 r_1_15_6 - 1 r_1_16_6 - 1 r_1_17_6 - 1 r_1_18_6 - 1 r_1_19_6 - 3 r_3_0_6 - 3 r_3_1_6 - 3 r_3_2_6 - 3 r_3_3_6 - 3 r_3_4_6 - 3 r_3_5_6 - 2 r_2_0_6 - 2 r_2_1_6 - 2 r_2_2_6 - 2 r_2_3_6 - 2 r_2_4_6 - 2 r_2_5_6 - 2 r_2_6_6 - 2 r_2_7_6 - 2 r_2_8_6 - 2 r_2_9_6>0; 4 e_4_7 - 5 r_5_0_7 - 5 r_5_1_7 - 5 r_5_2_7 - 5 r_5_3_7 - 1 r_1_0_7 - 1 r_1_1_7 - 1 r_1_2_7 - 1 r_1_3_7 - 1 r_1_4_7 - 1 r_1_5_7 - 1 r_1_6_7 - 1 r_1_7_7 - 1 r_1_8_7 - 1 r_1_9_7 - 1 r_1_10_7 - 1 r_1_11_7 - 1 r_1_12_7 - 1 r_1_13_7 - 1 r_1_14_7 - 1 r_1_15_7 - 1 r_1_16_7 - 1 r_1_17_7 - 1 r_1_18_7 - 1 r_1_19_7 - 3 r_3_0_7 - 3 r_3_1_7 - 3 r_3_2_7 - 3 r_3_3_7 - 3 r_3_4_7 - 3 r_3_5_7 - 2 r_2_0_7 - 2 r_2_1_7 - 2 r_2_2_7 - 2 r_2_3_7 - 2 r_2_4_7 - 2 r_2_5_7 - 2 r_2_6_7 - 2 r_2_7_7 - 2 r_2_8_7 - 2 r_2_9_7>0; 4 e_4_8 - 5 r_5_0_8 - 5 r_5_1_8 - 5 r_5_2_8 - 5 r_5_3_8 - 1 r_1_0_8 - 1 r_1_1_8 - 1 r_1_2_8 - 1 r_1_3_8 - 1 r_1_4_8 - 1 r_1_5_8 - 1 r_1_6_8 - 1 r_1_7_8 - 1 r_1_8_8 - 1 r_1_9_8 - 1 r_1_10_8 - 1 r_1_11_8 - 1 r_1_12_8 - 1 r_1_13_8 - 1 r_1_14_8 - 1 r_1_15_8 - 1 r_1_16_8 - 1 r_1_17_8 - 1 r_1_18_8 - 1 r_1_19_8 - 3 r_3_0_8 - 3 r_3_1_8 - 3 r_3_2_8 - 3 r_3_3_8 - 3 r_3_4_8 - 3 r_3_5_8 - 2 r_2_0_8 - 2 r_2_1_8 - 2 r_2_2_8 - 2 r_2_3_8 - 2 r_2_4_8 - 2 r_2_5_8 - 2 r_2_6_8 - 2 r_2_7_8 - 2 r_2_8_8 - 2 r_2_9_8>0; 4 e_4_9 - 5 r_5_0_9 - 5 r_5_1_9 - 5 r_5_2_9 - 5 r_5_3_9 - 1 r_1_0_9 - 1 r_1_1_9 - 1 r_1_2_9 - 1 r_1_3_9 - 1 r_1_4_9 - 1 r_1_5_9 - 1 r_1_6_9 - 1 r_1_7_9 - 1 r_1_8_9 - 1 r_1_9_9 - 1 r_1_10_9 - 1 r_1_11_9 - 1 r_1_12_9 - 1 r_1_13_9 - 1 r_1_14_9 - 1 r_1_15_9 - 1 r_1_16_9 - 1 r_1_17_9 - 1 r_1_18_9 - 1 r_1_19_9 - 3 r_3_0_9 - 3 r_3_1_9 - 3 r_3_2_9 - 3 r_3_3_9 - 3 r_3_4_9 - 3 r_3_5_9 - 2 r_2_0_9 - 2 r_2_1_9 - 2 r_2_2_9 - 2 r_2_3_9 - 2 r_2_4_9 - 2 r_2_5_9 - 2 r_2_6_9 - 2 r_2_7_9 - 2 r_2_8_9 - 2 r_2_9_9>0; 4 e_4_10 - 5 r_5_0_10 - 5 r_5_1_10 - 5 r_5_2_10 - 5 r_5_3_10 - 1 r_1_0_10 - 1 r_1_1_10 - 1 r_1_2_10 - 1 r_1_3_10 - 1 r_1_4_10 - 1 r_1_5_10 - 1 r_1_6_10 - 1 r_1_7_10 - 1 r_1_8_10 - 1 r_1_9_10 - 1 r_1_10_10 - 1 r_1_11_10 - 1 r_1_12_10 - 1 r_1_13_10 - 1 r_1_14_10 - 1 r_1_15_10 - 1 r_1_16_10 - 1 r_1_17_10 - 1 r_1_18_10 - 1 r_1_19_10 - 3 r_3_0_10 - 3 r_3_1_10 - 3 r_3_2_10 - 3 r_3_3_10 - 3 r_3_4_10 - 3 r_3_5_10 - 2 r_2_0_10 - 2 r_2_1_10 - 2 r_2_2_10 - 2 r_2_3_10 - 2 r_2_4_10 - 2 r_2_5_10 - 2 r_2_6_10 - 2 r_2_7_10 - 2 r_2_8_10 - 2 r_2_9_10>0; 4 e_4_11 - 5 r_5_0_11 - 5 r_5_1_11 - 5 r_5_2_11 - 5 r_5_3_11 - 1 r_1_0_11 - 1 r_1_1_11 - 1 r_1_2_11 - 1 r_1_3_11 - 1 r_1_4_11 - 1 r_1_5_11 - 1 r_1_6_11 - 1 r_1_7_11 - 1 r_1_8_11 - 1 r_1_9_11 - 1 r_1_10_11 - 1 r_1_11_11 - 1 r_1_12_11 - 1 r_1_13_11 - 1 r_1_14_11 - 1 r_1_15_11 - 1 r_1_16_11 - 1 r_1_17_11 - 1 r_1_18_11 - 1 r_1_19_11 - 3 r_3_0_11 - 3 r_3_1_11 - 3 r_3_2_11 - 3 r_3_3_11 - 3 r_3_4_11 - 3 r_3_5_11 - 2 r_2_0_11 - 2 r_2_1_11 - 2 r_2_2_11 - 2 r_2_3_11 - 2 r_2_4_11 - 2 r_2_5_11 - 2 r_2_6_11 - 2 r_2_7_11 - 2 r_2_8_11 - 2 r_2_9_11>0; 4 e_4_12 - 5 r_5_0_12 - 5 r_5_1_12 - 5 r_5_2_12 - 5 r_5_3_12 - 1 r_1_0_12 - 1 r_1_1_12 - 1 r_1_2_12 - 1 r_1_3_12 - 1 r_1_4_12 - 1 r_1_5_12 - 1 r_1_6_12 - 1 r_1_7_12 - 1 r_1_8_12 - 1 r_1_9_12 - 1 r_1_10_12 - 1 r_1_11_12 - 1 r_1_12_12 - 1 r_1_13_12 - 1 r_1_14_12 - 1 r_1_15_12 - 1 r_1_16_12 - 1 r_1_17_12 - 1 r_1_18_12 - 1 r_1_19_12 - 3 r_3_0_12 - 3 r_3_1_12 - 3 r_3_2_12 - 3 r_3_3_12 - 3 r_3_4_12 - 3 r_3_5_12 - 2 r_2_0_12 - 2 r_2_1_12 - 2 r_2_2_12 - 2 r_2_3_12 - 2 r_2_4_12 - 2 r_2_5_12 - 2 r_2_6_12 - 2 r_2_7_12 - 2 r_2_8_12 - 2 r_2_9_12>0; 4 e_4_13 - 5 r_5_0_13 - 5 r_5_1_13 - 5 r_5_2_13 - 5 r_5_3_13 - 1 r_1_0_13 - 1 r_1_1_13 - 1 r_1_2_13 - 1 r_1_3_13 - 1 r_1_4_13 - 1 r_1_5_13 - 1 r_1_6_13 - 1 r_1_7_13 - 1 r_1_8_13 - 1 r_1_9_13 - 1 r_1_10_13 - 1 r_1_11_13 - 1 r_1_12_13 - 1 r_1_13_13 - 1 r_1_14_13 - 1 r_1_15_13 - 1 r_1_16_13 - 1 r_1_17_13 - 1 r_1_18_13 - 1 r_1_19_13 - 3 r_3_0_13 - 3 r_3_1_13 - 3 r_3_2_13 - 3 r_3_3_13 - 3 r_3_4_13 - 3 r_3_5_13 - 2 r_2_0_13 - 2 r_2_1_13 - 2 r_2_2_13 - 2 r_2_3_13 - 2 r_2_4_13 - 2 r_2_5_13 - 2 r_2_6_13 - 2 r_2_7_13 - 2 r_2_8_13 - 2 r_2_9_13>0; 4 e_4_14 - 5 r_5_0_14 - 5 r_5_1_14 - 5 r_5_2_14 - 5 r_5_3_14 - 1 r_1_0_14 - 1 r_1_1_14 - 1 r_1_2_14 - 1 r_1_3_14 - 1 r_1_4_14 - 1 r_1_5_14 - 1 r_1_6_14 - 1 r_1_7_14 - 1 r_1_8_14 - 1 r_1_9_14 - 1 r_1_10_14 - 1 r_1_11_14 - 1 r_1_12_14 - 1 r_1_13_14 - 1 r_1_14_14 - 1 r_1_15_14 - 1 r_1_16_14 - 1 r_1_17_14 - 1 r_1_18_14 - 1 r_1_19_14 - 3 r_3_0_14 - 3 r_3_1_14 - 3 r_3_2_14 - 3 r_3_3_14 - 3 r_3_4_14 - 3 r_3_5_14 - 2 r_2_0_14 - 2 r_2_1_14 - 2 r_2_2_14 - 2 r_2_3_14 - 2 r_2_4_14 - 2 r_2_5_14 - 2 r_2_6_14 - 2 r_2_7_14 - 2 r_2_8_14 - 2 r_2_9_14>0; 4 e_4_15 - 5 r_5_0_15 - 5 r_5_1_15 - 5 r_5_2_15 - 5 r_5_3_15 - 1 r_1_0_15 - 1 r_1_1_15 - 1 r_1_2_15 - 1 r_1_3_15 - 1 r_1_4_15 - 1 r_1_5_15 - 1 r_1_6_15 - 1 r_1_7_15 - 1 r_1_8_15 - 1 r_1_9_15 - 1 r_1_10_15 - 1 r_1_11_15 - 1 r_1_12_15 - 1 r_1_13_15 - 1 r_1_14_15 - 1 r_1_15_15 - 1 r_1_16_15 - 1 r_1_17_15 - 1 r_1_18_15 - 1 r_1_19_15 - 3 r_3_0_15 - 3 r_3_1_15 - 3 r_3_2_15 - 3 r_3_3_15 - 3 r_3_4_15 - 3 r_3_5_15 - 2 r_2_0_15 - 2 r_2_1_15 - 2 r_2_2_15 - 2 r_2_3_15 - 2 r_2_4_15 - 2 r_2_5_15 - 2 r_2_6_15 - 2 r_2_7_15 - 2 r_2_8_15 - 2 r_2_9_15>0; 8 e_8_16 - 5 r_5_0_16 - 5 r_5_1_16 - 5 r_5_2_16 - 5 r_5_3_16 - 1 r_1_0_16 - 1 r_1_1_16 - 1 r_1_2_16 - 1 r_1_3_16 - 1 r_1_4_16 - 1 r_1_5_16 - 1 r_1_6_16 - 1 r_1_7_16 - 1 r_1_8_16 - 1 r_1_9_16 - 1 r_1_10_16 - 1 r_1_11_16 - 1 r_1_12_16 - 1 r_1_13_16 - 1 r_1_14_16 - 1 r_1_15_16 - 1 r_1_16_16 - 1 r_1_17_16 - 1 r_1_18_16 - 1 r_1_19_16 - 3 r_3_0_16 - 3 r_3_1_16 - 3 r_3_2_16 - 3 r_3_3_16 - 3 r_3_4_16 - 3 r_3_5_16 - 2 r_2_0_16 - 2 r_2_1_16 - 2 r_2_2_16 - 2 r_2_3_16 - 2 r_2_4_16 - 2 r_2_5_16 - 2 r_2_6_16 - 2 r_2_7_16 - 2 r_2_8_16 - 2 r_2_9_16>0; 8 e_8_17 - 5 r_5_0_17 - 5 r_5_1_17 - 5 r_5_2_17 - 5 r_5_3_17 - 1 r_1_0_17 - 1 r_1_1_17 - 1 r_1_2_17 - 1 r_1_3_17 - 1 r_1_4_17 - 1 r_1_5_17 - 1 r_1_6_17 - 1 r_1_7_17 - 1 r_1_8_17 - 1 r_1_9_17 - 1 r_1_10_17 - 1 r_1_11_17 - 1 r_1_12_17 - 1 r_1_13_17 - 1 r_1_14_17 - 1 r_1_15_17 - 1 r_1_16_17 - 1 r_1_17_17 - 1 r_1_18_17 - 1 r_1_19_17 - 3 r_3_0_17 - 3 r_3_1_17 - 3 r_3_2_17 - 3 r_3_3_17 - 3 r_3_4_17 - 3 r_3_5_17 - 2 r_2_0_17 - 2 r_2_1_17 - 2 r_2_2_17 - 2 r_2_3_17 - 2 r_2_4_17 - 2 r_2_5_17 - 2 r_2_6_17 - 2 r_2_7_17 - 2 r_2_8_17 - 2 r_2_9_17>0; 8 e_8_18 - 5 r_5_0_18 - 5 r_5_1_18 - 5 r_5_2_18 - 5 r_5_3_18 - 1 r_1_0_18 - 1 r_1_1_18 - 1 r_1_2_18 - 1 r_1_3_18 - 1 r_1_4_18 - 1 r_1_5_18 - 1 r_1_6_18 - 1 r_1_7_18 - 1 r_1_8_18 - 1 r_1_9_18 - 1 r_1_10_18 - 1 r_1_11_18 - 1 r_1_12_18 - 1 r_1_13_18 - 1 r_1_14_18 - 1 r_1_15_18 - 1 r_1_16_18 - 1 r_1_17_18 - 1 r_1_18_18 - 1 r_1_19_18 - 3 r_3_0_18 - 3 r_3_1_18 - 3 r_3_2_18 - 3 r_3_3_18 - 3 r_3_4_18 - 3 r_3_5_18 - 2 r_2_0_18 - 2 r_2_1_18 - 2 r_2_2_18 - 2 r_2_3_18 - 2 r_2_4_18 - 2 r_2_5_18 - 2 r_2_6_18 - 2 r_2_7_18 - 2 r_2_8_18 - 2 r_2_9_18>0; 8 e_8_19 - 5 r_5_0_19 - 5 r_5_1_19 - 5 r_5_2_19 - 5 r_5_3_19 - 1 r_1_0_19 - 1 r_1_1_19 - 1 r_1_2_19 - 1 r_1_3_19 - 1 r_1_4_19 - 1 r_1_5_19 - 1 r_1_6_19 - 1 r_1_7_19 - 1 r_1_8_19 - 1 r_1_9_19 - 1 r_1_10_19 - 1 r_1_11_19 - 1 r_1_12_19 - 1 r_1_13_19 - 1 r_1_14_19 - 1 r_1_15_19 - 1 r_1_16_19 - 1 r_1_17_19 - 1 r_1_18_19 - 1 r_1_19_19 - 3 r_3_0_19 - 3 r_3_1_19 - 3 r_3_2_19 - 3 r_3_3_19 - 3 r_3_4_19 - 3 r_3_5_19 - 2 r_2_0_19 - 2 r_2_1_19 - 2 r_2_2_19 - 2 r_2_3_19 - 2 r_2_4_19 - 2 r_2_5_19 - 2 r_2_6_19 - 2 r_2_7_19 - 2 r_2_8_19 - 2 r_2_9_19>0; 8 e_8_20 - 5 r_5_0_20 - 5 r_5_1_20 - 5 r_5_2_20 - 5 r_5_3_20 - 1 r_1_0_20 - 1 r_1_1_20 - 1 r_1_2_20 - 1 r_1_3_20 - 1 r_1_4_20 - 1 r_1_5_20 - 1 r_1_6_20 - 1 r_1_7_20 - 1 r_1_8_20 - 1 r_1_9_20 - 1 r_1_10_20 - 1 r_1_11_20 - 1 r_1_12_20 - 1 r_1_13_20 - 1 r_1_14_20 - 1 r_1_15_20 - 1 r_1_16_20 - 1 r_1_17_20 - 1 r_1_18_20 - 1 r_1_19_20 - 3 r_3_0_20 - 3 r_3_1_20 - 3 r_3_2_20 - 3 r_3_3_20 - 3 r_3_4_20 - 3 r_3_5_20 - 2 r_2_0_20 - 2 r_2_1_20 - 2 r_2_2_20 - 2 r_2_3_20 - 2 r_2_4_20 - 2 r_2_5_20 - 2 r_2_6_20 - 2 r_2_7_20 - 2 r_2_8_20 - 2 r_2_9_20>0; 8 e_8_21 - 5 r_5_0_21 - 5 r_5_1_21 - 5 r_5_2_21 - 5 r_5_3_21 - 1 r_1_0_21 - 1 r_1_1_21 - 1 r_1_2_21 - 1 r_1_3_21 - 1 r_1_4_21 - 1 r_1_5_21 - 1 r_1_6_21 - 1 r_1_7_21 - 1 r_1_8_21 - 1 r_1_9_21 - 1 r_1_10_21 - 1 r_1_11_21 - 1 r_1_12_21 - 1 r_1_13_21 - 1 r_1_14_21 - 1 r_1_15_21 - 1 r_1_16_21 - 1 r_1_17_21 - 1 r_1_18_21 - 1 r_1_19_21 - 3 r_3_0_21 - 3 r_3_1_21 - 3 r_3_2_21 - 3 r_3_3_21 - 3 r_3_4_21 - 3 r_3_5_21 - 2 r_2_0_21 - 2 r_2_1_21 - 2 r_2_2_21 - 2 r_2_3_21 - 2 r_2_4_21 - 2 r_2_5_21 - 2 r_2_6_21 - 2 r_2_7_21 - 2 r_2_8_21 - 2 r_2_9_21>0; 8 e_8_22 - 5 r_5_0_22 - 5 r_5_1_22 - 5 r_5_2_22 - 5 r_5_3_22 - 1 r_1_0_22 - 1 r_1_1_22 - 1 r_1_2_22 - 1 r_1_3_22 - 1 r_1_4_22 - 1 r_1_5_22 - 1 r_1_6_22 - 1 r_1_7_22 - 1 r_1_8_22 - 1 r_1_9_22 - 1 r_1_10_22 - 1 r_1_11_22 - 1 r_1_12_22 - 1 r_1_13_22 - 1 r_1_14_22 - 1 r_1_15_22 - 1 r_1_16_22 - 1 r_1_17_22 - 1 r_1_18_22 - 1 r_1_19_22 - 3 r_3_0_22 - 3 r_3_1_22 - 3 r_3_2_22 - 3 r_3_3_22 - 3 r_3_4_22 - 3 r_3_5_22 - 2 r_2_0_22 - 2 r_2_1_22 - 2 r_2_2_22 - 2 r_2_3_22 - 2 r_2_4_22 - 2 r_2_5_22 - 2 r_2_6_22 - 2 r_2_7_22 - 2 r_2_8_22 - 2 r_2_9_22>0; 8 e_8_23 - 5 r_5_0_23 - 5 r_5_1_23 - 5 r_5_2_23 - 5 r_5_3_23 - 1 r_1_0_23 - 1 r_1_1_23 - 1 r_1_2_23 - 1 r_1_3_23 - 1 r_1_4_23 - 1 r_1_5_23 - 1 r_1_6_23 - 1 r_1_7_23 - 1 r_1_8_23 - 1 r_1_9_23 - 1 r_1_10_23 - 1 r_1_11_23 - 1 r_1_12_23 - 1 r_1_13_23 - 1 r_1_14_23 - 1 r_1_15_23 - 1 r_1_16_23 - 1 r_1_17_23 - 1 r_1_18_23 - 1 r_1_19_23 - 3 r_3_0_23 - 3 r_3_1_23 - 3 r_3_2_23 - 3 r_3_3_23 - 3 r_3_4_23 - 3 r_3_5_23 - 2 r_2_0_23 - 2 r_2_1_23 - 2 r_2_2_23 - 2 r_2_3_23 - 2 r_2_4_23 - 2 r_2_5_23 - 2 r_2_6_23 - 2 r_2_7_23 - 2 r_2_8_23 - 2 r_2_9_23>0; 8 e_8_24 - 5 r_5_0_24 - 5 r_5_1_24 - 5 r_5_2_24 - 5 r_5_3_24 - 1 r_1_0_24 - 1 r_1_1_24 - 1 r_1_2_24 - 1 r_1_3_24 - 1 r_1_4_24 - 1 r_1_5_24 - 1 r_1_6_24 - 1 r_1_7_24 - 1 r_1_8_24 - 1 r_1_9_24 - 1 r_1_10_24 - 1 r_1_11_24 - 1 r_1_12_24 - 1 r_1_13_24 - 1 r_1_14_24 - 1 r_1_15_24 - 1 r_1_16_24 - 1 r_1_17_24 - 1 r_1_18_24 - 1 r_1_19_24 - 3 r_3_0_24 - 3 r_3_1_24 - 3 r_3_2_24 - 3 r_3_3_24 - 3 r_3_4_24 - 3 r_3_5_24 - 2 r_2_0_24 - 2 r_2_1_24 - 2 r_2_2_24 - 2 r_2_3_24 - 2 r_2_4_24 - 2 r_2_5_24 - 2 r_2_6_24 - 2 r_2_7_24 - 2 r_2_8_24 - 2 r_2_9_24>0; 7 e_7_25 - 5 r_5_0_25 - 5 r_5_1_25 - 5 r_5_2_25 - 5 r_5_3_25 - 1 r_1_0_25 - 1 r_1_1_25 - 1 r_1_2_25 - 1 r_1_3_25 - 1 r_1_4_25 - 1 r_1_5_25 - 1 r_1_6_25 - 1 r_1_7_25 - 1 r_1_8_25 - 1 r_1_9_25 - 1 r_1_10_25 - 1 r_1_11_25 - 1 r_1_12_25 - 1 r_1_13_25 - 1 r_1_14_25 - 1 r_1_15_25 - 1 r_1_16_25 - 1 r_1_17_25 - 1 r_1_18_25 - 1 r_1_19_25 - 3 r_3_0_25 - 3 r_3_1_25 - 3 r_3_2_25 - 3 r_3_3_25 - 3 r_3_4_25 - 3 r_3_5_25 - 2 r_2_0_25 - 2 r_2_1_25 - 2 r_2_2_25 - 2 r_2_3_25 - 2 r_2_4_25 - 2 r_2_5_25 - 2 r_2_6_25 - 2 r_2_7_25 - 2 r_2_8_25 - 2 r_2_9_25>0; 7 e_7_26 - 5 r_5_0_26 - 5 r_5_1_26 - 5 r_5_2_26 - 5 r_5_3_26 - 1 r_1_0_26 - 1 r_1_1_26 - 1 r_1_2_26 - 1 r_1_3_26 - 1 r_1_4_26 - 1 r_1_5_26 - 1 r_1_6_26 - 1 r_1_7_26 - 1 r_1_8_26 - 1 r_1_9_26 - 1 r_1_10_26 - 1 r_1_11_26 - 1 r_1_12_26 - 1 r_1_13_26 - 1 r_1_14_26 - 1 r_1_15_26 - 1 r_1_16_26 - 1 r_1_17_26 - 1 r_1_18_26 - 1 r_1_19_26 - 3 r_3_0_26 - 3 r_3_1_26 - 3 r_3_2_26 - 3 r_3_3_26 - 3 r_3_4_26 - 3 r_3_5_26 - 2 r_2_0_26 - 2 r_2_1_26 - 2 r_2_2_26 - 2 r_2_3_26 - 2 r_2_4_26 - 2 r_2_5_26 - 2 r_2_6_26 - 2 r_2_7_26 - 2 r_2_8_26 - 2 r_2_9_26>0; 7 e_7_27 - 5 r_5_0_27 - 5 r_5_1_27 - 5 r_5_2_27 - 5 r_5_3_27 - 1 r_1_0_27 - 1 r_1_1_27 - 1 r_1_2_27 - 1 r_1_3_27 - 1 r_1_4_27 - 1 r_1_5_27 - 1 r_1_6_27 - 1 r_1_7_27 - 1 r_1_8_27 - 1 r_1_9_27 - 1 r_1_10_27 - 1 r_1_11_27 - 1 r_1_12_27 - 1 r_1_13_27 - 1 r_1_14_27 - 1 r_1_15_27 - 1 r_1_16_27 - 1 r_1_17_27 - 1 r_1_18_27 - 1 r_1_19_27 - 3 r_3_0_27 - 3 r_3_1_27 - 3 r_3_2_27 - 3 r_3_3_27 - 3 r_3_4_27 - 3 r_3_5_27 - 2 r_2_0_27 - 2 r_2_1_27 - 2 r_2_2_27 - 2 r_2_3_27 - 2 r_2_4_27 - 2 r_2_5_27 - 2 r_2_6_27 - 2 r_2_7_27 - 2 r_2_8_27 - 2 r_2_9_27>0; 20 e_20_28 - 5 r_5_0_28 - 5 r_5_1_28 - 5 r_5_2_28 - 5 r_5_3_28 - 1 r_1_0_28 - 1 r_1_1_28 - 1 r_1_2_28 - 1 r_1_3_28 - 1 r_1_4_28 - 1 r_1_5_28 - 1 r_1_6_28 - 1 r_1_7_28 - 1 r_1_8_28 - 1 r_1_9_28 - 1 r_1_10_28 - 1 r_1_11_28 - 1 r_1_12_28 - 1 r_1_13_28 - 1 r_1_14_28 - 1 r_1_15_28 - 1 r_1_16_28 - 1 r_1_17_28 - 1 r_1_18_28 - 1 r_1_19_28 - 3 r_3_0_28 - 3 r_3_1_28 - 3 r_3_2_28 - 3 r_3_3_28 - 3 r_3_4_28 - 3 r_3_5_28 - 2 r_2_0_28 - 2 r_2_1_28 - 2 r_2_2_28 - 2 r_2_3_28 - 2 r_2_4_28 - 2 r_2_5_28 - 2 r_2_6_28 - 2 r_2_7_28 - 2 r_2_8_28 - 2 r_2_9_28>0; 20 e_20_29 - 5 r_5_0_29 - 5 r_5_1_29 - 5 r_5_2_29 - 5 r_5_3_29 - 1 r_1_0_29 - 1 r_1_1_29 - 1 r_1_2_29 - 1 r_1_3_29 - 1 r_1_4_29 - 1 r_1_5_29 - 1 r_1_6_29 - 1 r_1_7_29 - 1 r_1_8_29 - 1 r_1_9_29 - 1 r_1_10_29 - 1 r_1_11_29 - 1 r_1_12_29 - 1 r_1_13_29 - 1 r_1_14_29 - 1 r_1_15_29 - 1 r_1_16_29 - 1 r_1_17_29 - 1 r_1_18_29 - 1 r_1_19_29 - 3 r_3_0_29 - 3 r_3_1_29 - 3 r_3_2_29 - 3 r_3_3_29 - 3 r_3_4_29 - 3 r_3_5_29 - 2 r_2_0_29 - 2 r_2_1_29 - 2 r_2_2_29 - 2 r_2_3_29 - 2 r_2_4_29 - 2 r_2_5_29 - 2 r_2_6_29 - 2 r_2_7_29 - 2 r_2_8_29 - 2 r_2_9_29>0; 20 e_20_30 - 5 r_5_0_30 - 5 r_5_1_30 - 5 r_5_2_30 - 5 r_5_3_30 - 1 r_1_0_30 - 1 r_1_1_30 - 1 r_1_2_30 - 1 r_1_3_30 - 1 r_1_4_30 - 1 r_1_5_30 - 1 r_1_6_30 - 1 r_1_7_30 - 1 r_1_8_30 - 1 r_1_9_30 - 1 r_1_10_30 - 1 r_1_11_30 - 1 r_1_12_30 - 1 r_1_13_30 - 1 r_1_14_30 - 1 r_1_15_30 - 1 r_1_16_30 - 1 r_1_17_30 - 1 r_1_18_30 - 1 r_1_19_30 - 3 r_3_0_30 - 3 r_3_1_30 - 3 r_3_2_30 - 3 r_3_3_30 - 3 r_3_4_30 - 3 r_3_5_30 - 2 r_2_0_30 - 2 r_2_1_30 - 2 r_2_2_30 - 2 r_2_3_30 - 2 r_2_4_30 - 2 r_2_5_30 - 2 r_2_6_30 - 2 r_2_7_30 - 2 r_2_8_30 - 2 r_2_9_30>0; r_5_0_0 + r_5_1_0 + r_5_2_0 + r_5_3_0 + r_5_0_1 + r_5_1_1 + r_5_2_1 + r_5_3_1 + r_5_0_2 + r_5_1_2 + r_5_2_2 + r_5_3_2 + r_5_0_3 + r_5_1_3 + r_5_2_3 + r_5_3_3 + r_5_0_4 + r_5_1_4 + r_5_2_4 + r_5_3_4 + r_5_0_5 + r_5_1_5 + r_5_2_5 + r_5_3_5 + r_5_0_6 + r_5_1_6 + r_5_2_6 + r_5_3_6 + r_5_0_7 + r_5_1_7 + r_5_2_7 + r_5_3_7 + r_5_0_8 + r_5_1_8 + r_5_2_8 + r_5_3_8 + r_5_0_9 + r_5_1_9 + r_5_2_9 + r_5_3_9 + r_5_0_10 + r_5_1_10 + r_5_2_10 + r_5_3_10 + r_5_0_11 + r_5_1_11 + r_5_2_11 + r_5_3_11 + r_5_0_12 + r_5_1_12 + r_5_2_12 + r_5_3_12 + r_5_0_13 + r_5_1_13 + r_5_2_13 + r_5_3_13 + r_5_0_14 + r_5_1_14 + r_5_2_14 + r_5_3_14 + r_5_0_15 + r_5_1_15 + r_5_2_15 + r_5_3_15 + r_5_0_16 + r_5_1_16 + r_5_2_16 + r_5_3_16 + r_5_0_17 + r_5_1_17 + r_5_2_17 + r_5_3_17 + r_5_0_18 + r_5_1_18 + r_5_2_18 + r_5_3_18 + r_5_0_19 + r_5_1_19 + r_5_2_19 + r_5_3_19 + r_5_0_20 + r_5_1_20 + r_5_2_20 + r_5_3_20 + r_5_0_21 + r_5_1_21 + r_5_2_21 + r_5_3_21 + r_5_0_22 + r_5_1_22 + r_5_2_22 + r_5_3_22 + r_5_0_23 + r_5_1_23 + r_5_2_23 + r_5_3_23 + r_5_0_24 + r_5_1_24 + r_5_2_24 + r_5_3_24 + r_5_0_25 + r_5_1_25 + r_5_2_25 + r_5_3_25 + r_5_0_26 + r_5_1_26 + r_5_2_26 + r_5_3_26 + r_5_0_27 + r_5_1_27 + r_5_2_27 + r_5_3_27 + r_5_0_28 + r_5_1_28 + r_5_2_28 + r_5_3_28 + r_5_0_29 + r_5_1_29 + r_5_2_29 + r_5_3_29 + r_5_0_30 + r_5_1_30 + r_5_2_30 + r_5_3_30 <= 25; r_1_0_0 + r_1_1_0 + r_1_2_0 + r_1_3_0 + r_1_4_0 + r_1_5_0 + r_1_6_0 + r_1_7_0 + r_1_8_0 + r_1_9_0 + r_1_10_0 + r_1_11_0 + r_1_12_0 + r_1_13_0 + r_1_14_0 + r_1_15_0 + r_1_16_0 + r_1_17_0 + r_1_18_0 + r_1_19_0 + r_1_0_1 + r_1_1_1 + r_1_2_1 + r_1_3_1 + r_1_4_1 + r_1_5_1 + r_1_6_1 + r_1_7_1 + r_1_8_1 + r_1_9_1 + r_1_10_1 + r_1_11_1 + r_1_12_1 + r_1_13_1 + r_1_14_1 + r_1_15_1 + r_1_16_1 + r_1_17_1 + r_1_18_1 + r_1_19_1 + r_1_0_2 + r_1_1_2 + r_1_2_2 + r_1_3_2 + r_1_4_2 + r_1_5_2 + r_1_6_2 + r_1_7_2 + r_1_8_2 + r_1_9_2 + r_1_10_2 + r_1_11_2 + r_1_12_2 + r_1_13_2 + r_1_14_2 + r_1_15_2 + r_1_16_2 + r_1_17_2 + r_1_18_2 + r_1_19_2 + r_1_0_3 + r_1_1_3 + r_1_2_3 + r_1_3_3 + r_1_4_3 + r_1_5_3 + r_1_6_3 + r_1_7_3 + r_1_8_3 + r_1_9_3 + r_1_10_3 + r_1_11_3 + r_1_12_3 + r_1_13_3 + r_1_14_3 + r_1_15_3 + r_1_16_3 + r_1_17_3 + r_1_18_3 + r_1_19_3 + r_1_0_4 + r_1_1_4 + r_1_2_4 + r_1_3_4 + r_1_4_4 + r_1_5_4 + r_1_6_4 + r_1_7_4 + r_1_8_4 + r_1_9_4 + r_1_10_4 + r_1_11_4 + r_1_12_4 + r_1_13_4 + r_1_14_4 + r_1_15_4 + r_1_16_4 + r_1_17_4 + r_1_18_4 + r_1_19_4 + r_1_0_5 + r_1_1_5 + r_1_2_5 + r_1_3_5 + r_1_4_5 + r_1_5_5 + r_1_6_5 + r_1_7_5 + r_1_8_5 + r_1_9_5 + r_1_10_5 + r_1_11_5 + r_1_12_5 + r_1_13_5 + r_1_14_5 + r_1_15_5 + r_1_16_5 + r_1_17_5 + r_1_18_5 + r_1_19_5 + r_1_0_6 + r_1_1_6 + r_1_2_6 + r_1_3_6 + r_1_4_6 + r_1_5_6 + r_1_6_6 + r_1_7_6 + r_1_8_6 + r_1_9_6 + r_1_10_6 + r_1_11_6 + r_1_12_6 + r_1_13_6 + r_1_14_6 + r_1_15_6 + r_1_16_6 + r_1_17_6 + r_1_18_6 + r_1_19_6 + r_1_0_7 + r_1_1_7 + r_1_2_7 + r_1_3_7 + r_1_4_7 + r_1_5_7 + r_1_6_7 + r_1_7_7 + r_1_8_7 + r_1_9_7 + r_1_10_7 + r_1_11_7 + r_1_12_7 + r_1_13_7 + r_1_14_7 + r_1_15_7 + r_1_16_7 + r_1_17_7 + r_1_18_7 + r_1_19_7 + r_1_0_8 + r_1_1_8 + r_1_2_8 + r_1_3_8 + r_1_4_8 + r_1_5_8 + r_1_6_8 + r_1_7_8 + r_1_8_8 + r_1_9_8 + r_1_10_8 + r_1_11_8 + r_1_12_8 + r_1_13_8 + r_1_14_8 + r_1_15_8 + r_1_16_8 + r_1_17_8 + r_1_18_8 + r_1_19_8 + r_1_0_9 + r_1_1_9 + r_1_2_9 + r_1_3_9 + r_1_4_9 + r_1_5_9 + r_1_6_9 + r_1_7_9 + r_1_8_9 + r_1_9_9 + r_1_10_9 + r_1_11_9 + r_1_12_9 + r_1_13_9 + r_1_14_9 + r_1_15_9 + r_1_16_9 + r_1_17_9 + r_1_18_9 + r_1_19_9 + r_1_0_10 + r_1_1_10 + r_1_2_10 + r_1_3_10 + r_1_4_10 + r_1_5_10 + r_1_6_10 + r_1_7_10 + r_1_8_10 + r_1_9_10 + r_1_10_10 + r_1_11_10 + r_1_12_10 + r_1_13_10 + r_1_14_10 + r_1_15_10 + r_1_16_10 + r_1_17_10 + r_1_18_10 + r_1_19_10 + r_1_0_11 + r_1_1_11 + r_1_2_11 + r_1_3_11 + r_1_4_11 + r_1_5_11 + r_1_6_11 + r_1_7_11 + r_1_8_11 + r_1_9_11 + r_1_10_11 + r_1_11_11 + r_1_12_11 + r_1_13_11 + r_1_14_11 + r_1_15_11 + r_1_16_11 + r_1_17_11 + r_1_18_11 + r_1_19_11 + r_1_0_12 + r_1_1_12 + r_1_2_12 + r_1_3_12 + r_1_4_12 + r_1_5_12 + r_1_6_12 + r_1_7_12 + r_1_8_12 + r_1_9_12 + r_1_10_12 + r_1_11_12 + r_1_12_12 + r_1_13_12 + r_1_14_12 + r_1_15_12 + r_1_16_12 + r_1_17_12 + r_1_18_12 + r_1_19_12 + r_1_0_13 + r_1_1_13 + r_1_2_13 + r_1_3_13 + r_1_4_13 + r_1_5_13 + r_1_6_13 + r_1_7_13 + r_1_8_13 + r_1_9_13 + r_1_10_13 + r_1_11_13 + r_1_12_13 + r_1_13_13 + r_1_14_13 + r_1_15_13 + r_1_16_13 + r_1_17_13 + r_1_18_13 + r_1_19_13 + r_1_0_14 + r_1_1_14 + r_1_2_14 + r_1_3_14 + r_1_4_14 + r_1_5_14 + r_1_6_14 + r_1_7_14 + r_1_8_14 + r_1_9_14 + r_1_10_14 + r_1_11_14 + r_1_12_14 + r_1_13_14 + r_1_14_14 + r_1_15_14 + r_1_16_14 + r_1_17_14 + r_1_18_14 + r_1_19_14 + r_1_0_15 + r_1_1_15 + r_1_2_15 + r_1_3_15 + r_1_4_15 + r_1_5_15 + r_1_6_15 + r_1_7_15 + r_1_8_15 + r_1_9_15 + r_1_10_15 + r_1_11_15 + r_1_12_15 + r_1_13_15 + r_1_14_15 + r_1_15_15 + r_1_16_15 + r_1_17_15 + r_1_18_15 + r_1_19_15 + r_1_0_16 + r_1_1_16 + r_1_2_16 + r_1_3_16 + r_1_4_16 + r_1_5_16 + r_1_6_16 + r_1_7_16 + r_1_8_16 + r_1_9_16 + r_1_10_16 + r_1_11_16 + r_1_12_16 + r_1_13_16 + r_1_14_16 + r_1_15_16 + r_1_16_16 + r_1_17_16 + r_1_18_16 + r_1_19_16 + r_1_0_17 + r_1_1_17 + r_1_2_17 + r_1_3_17 + r_1_4_17 + r_1_5_17 + r_1_6_17 + r_1_7_17 + r_1_8_17 + r_1_9_17 + r_1_10_17 + r_1_11_17 + r_1_12_17 + r_1_13_17 + r_1_14_17 + r_1_15_17 + r_1_16_17 + r_1_17_17 + r_1_18_17 + r_1_19_17 + r_1_0_18 + r_1_1_18 + r_1_2_18 + r_1_3_18 + r_1_4_18 + r_1_5_18 + r_1_6_18 + r_1_7_18 + r_1_8_18 + r_1_9_18 + r_1_10_18 + r_1_11_18 + r_1_12_18 + r_1_13_18 + r_1_14_18 + r_1_15_18 + r_1_16_18 + r_1_17_18 + r_1_18_18 + r_1_19_18 + r_1_0_19 + r_1_1_19 + r_1_2_19 + r_1_3_19 + r_1_4_19 + r_1_5_19 + r_1_6_19 + r_1_7_19 + r_1_8_19 + r_1_9_19 + r_1_10_19 + r_1_11_19 + r_1_12_19 + r_1_13_19 + r_1_14_19 + r_1_15_19 + r_1_16_19 + r_1_17_19 + r_1_18_19 + r_1_19_19 + r_1_0_20 + r_1_1_20 + r_1_2_20 + r_1_3_20 + r_1_4_20 + r_1_5_20 + r_1_6_20 + r_1_7_20 + r_1_8_20 + r_1_9_20 + r_1_10_20 + r_1_11_20 + r_1_12_20 + r_1_13_20 + r_1_14_20 + r_1_15_20 + r_1_16_20 + r_1_17_20 + r_1_18_20 + r_1_19_20 + r_1_0_21 + r_1_1_21 + r_1_2_21 + r_1_3_21 + r_1_4_21 + r_1_5_21 + r_1_6_21 + r_1_7_21 + r_1_8_21 + r_1_9_21 + r_1_10_21 + r_1_11_21 + r_1_12_21 + r_1_13_21 + r_1_14_21 + r_1_15_21 + r_1_16_21 + r_1_17_21 + r_1_18_21 + r_1_19_21 + r_1_0_22 + r_1_1_22 + r_1_2_22 + r_1_3_22 + r_1_4_22 + r_1_5_22 + r_1_6_22 + r_1_7_22 + r_1_8_22 + r_1_9_22 + r_1_10_22 + r_1_11_22 + r_1_12_22 + r_1_13_22 + r_1_14_22 + r_1_15_22 + r_1_16_22 + r_1_17_22 + r_1_18_22 + r_1_19_22 + r_1_0_23 + r_1_1_23 + r_1_2_23 + r_1_3_23 + r_1_4_23 + r_1_5_23 + r_1_6_23 + r_1_7_23 + r_1_8_23 + r_1_9_23 + r_1_10_23 + r_1_11_23 + r_1_12_23 + r_1_13_23 + r_1_14_23 + r_1_15_23 + r_1_16_23 + r_1_17_23 + r_1_18_23 + r_1_19_23 + r_1_0_24 + r_1_1_24 + r_1_2_24 + r_1_3_24 + r_1_4_24 + r_1_5_24 + r_1_6_24 + r_1_7_24 + r_1_8_24 + r_1_9_24 + r_1_10_24 + r_1_11_24 + r_1_12_24 + r_1_13_24 + r_1_14_24 + r_1_15_24 + r_1_16_24 + r_1_17_24 + r_1_18_24 + r_1_19_24 + r_1_0_25 + r_1_1_25 + r_1_2_25 + r_1_3_25 + r_1_4_25 + r_1_5_25 + r_1_6_25 + r_1_7_25 + r_1_8_25 + r_1_9_25 + r_1_10_25 + r_1_11_25 + r_1_12_25 + r_1_13_25 + r_1_14_25 + r_1_15_25 + r_1_16_25 + r_1_17_25 + r_1_18_25 + r_1_19_25 + r_1_0_26 + r_1_1_26 + r_1_2_26 + r_1_3_26 + r_1_4_26 + r_1_5_26 + r_1_6_26 + r_1_7_26 + r_1_8_26 + r_1_9_26 + r_1_10_26 + r_1_11_26 + r_1_12_26 + r_1_13_26 + r_1_14_26 + r_1_15_26 + r_1_16_26 + r_1_17_26 + r_1_18_26 + r_1_19_26 + r_1_0_27 + r_1_1_27 + r_1_2_27 + r_1_3_27 + r_1_4_27 + r_1_5_27 + r_1_6_27 + r_1_7_27 + r_1_8_27 + r_1_9_27 + r_1_10_27 + r_1_11_27 + r_1_12_27 + r_1_13_27 + r_1_14_27 + r_1_15_27 + r_1_16_27 + r_1_17_27 + r_1_18_27 + r_1_19_27 + r_1_0_28 + r_1_1_28 + r_1_2_28 + r_1_3_28 + r_1_4_28 + r_1_5_28 + r_1_6_28 + r_1_7_28 + r_1_8_28 + r_1_9_28 + r_1_10_28 + r_1_11_28 + r_1_12_28 + r_1_13_28 + r_1_14_28 + r_1_15_28 + r_1_16_28 + r_1_17_28 + r_1_18_28 + r_1_19_28 + r_1_0_29 + r_1_1_29 + r_1_2_29 + r_1_3_29 + r_1_4_29 + r_1_5_29 + r_1_6_29 + r_1_7_29 + r_1_8_29 + r_1_9_29 + r_1_10_29 + r_1_11_29 + r_1_12_29 + r_1_13_29 + r_1_14_29 + r_1_15_29 + r_1_16_29 + r_1_17_29 + r_1_18_29 + r_1_19_29 + r_1_0_30 + r_1_1_30 + r_1_2_30 + r_1_3_30 + r_1_4_30 + r_1_5_30 + r_1_6_30 + r_1_7_30 + r_1_8_30 + r_1_9_30 + r_1_10_30 + r_1_11_30 + r_1_12_30 + r_1_13_30 + r_1_14_30 + r_1_15_30 + r_1_16_30 + r_1_17_30 + r_1_18_30 + r_1_19_30 <= 2; r_3_0_0 + r_3_1_0 + r_3_2_0 + r_3_3_0 + r_3_4_0 + r_3_5_0 + r_3_0_1 + r_3_1_1 + r_3_2_1 + r_3_3_1 + r_3_4_1 + r_3_5_1 + r_3_0_2 + r_3_1_2 + r_3_2_2 + r_3_3_2 + r_3_4_2 + r_3_5_2 + r_3_0_3 + r_3_1_3 + r_3_2_3 + r_3_3_3 + r_3_4_3 + r_3_5_3 + r_3_0_4 + r_3_1_4 + r_3_2_4 + r_3_3_4 + r_3_4_4 + r_3_5_4 + r_3_0_5 + r_3_1_5 + r_3_2_5 + r_3_3_5 + r_3_4_5 + r_3_5_5 + r_3_0_6 + r_3_1_6 + r_3_2_6 + r_3_3_6 + r_3_4_6 + r_3_5_6 + r_3_0_7 + r_3_1_7 + r_3_2_7 + r_3_3_7 + r_3_4_7 + r_3_5_7 + r_3_0_8 + r_3_1_8 + r_3_2_8 + r_3_3_8 + r_3_4_8 + r_3_5_8 + r_3_0_9 + r_3_1_9 + r_3_2_9 + r_3_3_9 + r_3_4_9 + r_3_5_9 + r_3_0_10 + r_3_1_10 + r_3_2_10 + r_3_3_10 + r_3_4_10 + r_3_5_10 + r_3_0_11 + r_3_1_11 + r_3_2_11 + r_3_3_11 + r_3_4_11 + r_3_5_11 + r_3_0_12 + r_3_1_12 + r_3_2_12 + r_3_3_12 + r_3_4_12 + r_3_5_12 + r_3_0_13 + r_3_1_13 + r_3_2_13 + r_3_3_13 + r_3_4_13 + r_3_5_13 + r_3_0_14 + r_3_1_14 + r_3_2_14 + r_3_3_14 + r_3_4_14 + r_3_5_14 + r_3_0_15 + r_3_1_15 + r_3_2_15 + r_3_3_15 + r_3_4_15 + r_3_5_15 + r_3_0_16 + r_3_1_16 + r_3_2_16 + r_3_3_16 + r_3_4_16 + r_3_5_16 + r_3_0_17 + r_3_1_17 + r_3_2_17 + r_3_3_17 + r_3_4_17 + r_3_5_17 + r_3_0_18 + r_3_1_18 + r_3_2_18 + r_3_3_18 + r_3_4_18 + r_3_5_18 + r_3_0_19 + r_3_1_19 + r_3_2_19 + r_3_3_19 + r_3_4_19 + r_3_5_19 + r_3_0_20 + r_3_1_20 + r_3_2_20 + r_3_3_20 + r_3_4_20 + r_3_5_20 + r_3_0_21 + r_3_1_21 + r_3_2_21 + r_3_3_21 + r_3_4_21 + r_3_5_21 + r_3_0_22 + r_3_1_22 + r_3_2_22 + r_3_3_22 + r_3_4_22 + r_3_5_22 + r_3_0_23 + r_3_1_23 + r_3_2_23 + r_3_3_23 + r_3_4_23 + r_3_5_23 + r_3_0_24 + r_3_1_24 + r_3_2_24 + r_3_3_24 + r_3_4_24 + r_3_5_24 + r_3_0_25 + r_3_1_25 + r_3_2_25 + r_3_3_25 + r_3_4_25 + r_3_5_25 + r_3_0_26 + r_3_1_26 + r_3_2_26 + r_3_3_26 + r_3_4_26 + r_3_5_26 + r_3_0_27 + r_3_1_27 + r_3_2_27 + r_3_3_27 + r_3_4_27 + r_3_5_27 + r_3_0_28 + r_3_1_28 + r_3_2_28 + r_3_3_28 + r_3_4_28 + r_3_5_28 + r_3_0_29 + r_3_1_29 + r_3_2_29 + r_3_3_29 + r_3_4_29 + r_3_5_29 + r_3_0_30 + r_3_1_30 + r_3_2_30 + r_3_3_30 + r_3_4_30 + r_3_5_30 <= 2; r_2_0_0 + r_2_1_0 + r_2_2_0 + r_2_3_0 + r_2_4_0 + r_2_5_0 + r_2_6_0 + r_2_7_0 + r_2_8_0 + r_2_9_0 + r_2_0_1 + r_2_1_1 + r_2_2_1 + r_2_3_1 + r_2_4_1 + r_2_5_1 + r_2_6_1 + r_2_7_1 + r_2_8_1 + r_2_9_1 + r_2_0_2 + r_2_1_2 + r_2_2_2 + r_2_3_2 + r_2_4_2 + r_2_5_2 + r_2_6_2 + r_2_7_2 + r_2_8_2 + r_2_9_2 + r_2_0_3 + r_2_1_3 + r_2_2_3 + r_2_3_3 + r_2_4_3 + r_2_5_3 + r_2_6_3 + r_2_7_3 + r_2_8_3 + r_2_9_3 + r_2_0_4 + r_2_1_4 + r_2_2_4 + r_2_3_4 + r_2_4_4 + r_2_5_4 + r_2_6_4 + r_2_7_4 + r_2_8_4 + r_2_9_4 + r_2_0_5 + r_2_1_5 + r_2_2_5 + r_2_3_5 + r_2_4_5 + r_2_5_5 + r_2_6_5 + r_2_7_5 + r_2_8_5 + r_2_9_5 + r_2_0_6 + r_2_1_6 + r_2_2_6 + r_2_3_6 + r_2_4_6 + r_2_5_6 + r_2_6_6 + r_2_7_6 + r_2_8_6 + r_2_9_6 + r_2_0_7 + r_2_1_7 + r_2_2_7 + r_2_3_7 + r_2_4_7 + r_2_5_7 + r_2_6_7 + r_2_7_7 + r_2_8_7 + r_2_9_7 + r_2_0_8 + r_2_1_8 + r_2_2_8 + r_2_3_8 + r_2_4_8 + r_2_5_8 + r_2_6_8 + r_2_7_8 + r_2_8_8 + r_2_9_8 + r_2_0_9 + r_2_1_9 + r_2_2_9 + r_2_3_9 + r_2_4_9 + r_2_5_9 + r_2_6_9 + r_2_7_9 + r_2_8_9 + r_2_9_9 + r_2_0_10 + r_2_1_10 + r_2_2_10 + r_2_3_10 + r_2_4_10 + r_2_5_10 + r_2_6_10 + r_2_7_10 + r_2_8_10 + r_2_9_10 + r_2_0_11 + r_2_1_11 + r_2_2_11 + r_2_3_11 + r_2_4_11 + r_2_5_11 + r_2_6_11 + r_2_7_11 + r_2_8_11 + r_2_9_11 + r_2_0_12 + r_2_1_12 + r_2_2_12 + r_2_3_12 + r_2_4_12 + r_2_5_12 + r_2_6_12 + r_2_7_12 + r_2_8_12 + r_2_9_12 + r_2_0_13 + r_2_1_13 + r_2_2_13 + r_2_3_13 + r_2_4_13 + r_2_5_13 + r_2_6_13 + r_2_7_13 + r_2_8_13 + r_2_9_13 + r_2_0_14 + r_2_1_14 + r_2_2_14 + r_2_3_14 + r_2_4_14 + r_2_5_14 + r_2_6_14 + r_2_7_14 + r_2_8_14 + r_2_9_14 + r_2_0_15 + r_2_1_15 + r_2_2_15 + r_2_3_15 + r_2_4_15 + r_2_5_15 + r_2_6_15 + r_2_7_15 + r_2_8_15 + r_2_9_15 + r_2_0_16 + r_2_1_16 + r_2_2_16 + r_2_3_16 + r_2_4_16 + r_2_5_16 + r_2_6_16 + r_2_7_16 + r_2_8_16 + r_2_9_16 + r_2_0_17 + r_2_1_17 + r_2_2_17 + r_2_3_17 + r_2_4_17 + r_2_5_17 + r_2_6_17 + r_2_7_17 + r_2_8_17 + r_2_9_17 + r_2_0_18 + r_2_1_18 + r_2_2_18 + r_2_3_18 + r_2_4_18 + r_2_5_18 + r_2_6_18 + r_2_7_18 + r_2_8_18 + r_2_9_18 + r_2_0_19 + r_2_1_19 + r_2_2_19 + r_2_3_19 + r_2_4_19 + r_2_5_19 + r_2_6_19 + r_2_7_19 + r_2_8_19 + r_2_9_19 + r_2_0_20 + r_2_1_20 + r_2_2_20 + r_2_3_20 + r_2_4_20 + r_2_5_20 + r_2_6_20 + r_2_7_20 + r_2_8_20 + r_2_9_20 + r_2_0_21 + r_2_1_21 + r_2_2_21 + r_2_3_21 + r_2_4_21 + r_2_5_21 + r_2_6_21 + r_2_7_21 + r_2_8_21 + r_2_9_21 + r_2_0_22 + r_2_1_22 + r_2_2_22 + r_2_3_22 + r_2_4_22 + r_2_5_22 + r_2_6_22 + r_2_7_22 + r_2_8_22 + r_2_9_22 + r_2_0_23 + r_2_1_23 + r_2_2_23 + r_2_3_23 + r_2_4_23 + r_2_5_23 + r_2_6_23 + r_2_7_23 + r_2_8_23 + r_2_9_23 + r_2_0_24 + r_2_1_24 + r_2_2_24 + r_2_3_24 + r_2_4_24 + r_2_5_24 + r_2_6_24 + r_2_7_24 + r_2_8_24 + r_2_9_24 + r_2_0_25 + r_2_1_25 + r_2_2_25 + r_2_3_25 + r_2_4_25 + r_2_5_25 + r_2_6_25 + r_2_7_25 + r_2_8_25 + r_2_9_25 + r_2_0_26 + r_2_1_26 + r_2_2_26 + r_2_3_26 + r_2_4_26 + r_2_5_26 + r_2_6_26 + r_2_7_26 + r_2_8_26 + r_2_9_26 + r_2_0_27 + r_2_1_27 + r_2_2_27 + r_2_3_27 + r_2_4_27 + r_2_5_27 + r_2_6_27 + r_2_7_27 + r_2_8_27 + r_2_9_27 + r_2_0_28 + r_2_1_28 + r_2_2_28 + r_2_3_28 + r_2_4_28 + r_2_5_28 + r_2_6_28 + r_2_7_28 + r_2_8_28 + r_2_9_28 + r_2_0_29 + r_2_1_29 + r_2_2_29 + r_2_3_29 + r_2_4_29 + r_2_5_29 + r_2_6_29 + r_2_7_29 + r_2_8_29 + r_2_9_29 + r_2_0_30 + r_2_1_30 + r_2_2_30 + r_2_3_30 + r_2_4_30 + r_2_5_30 + r_2_6_30 + r_2_7_30 + r_2_8_30 + r_2_9_30 <= 3; e_2_0=1; e_2_1=1; e_2_2=1; e_1_3=1; e_4_4=1; e_4_5=1; e_4_6=1; e_4_7=1; e_4_8=1; e_4_9=1; e_4_10=1; e_4_11=1; e_4_12=1; e_4_13=1; e_4_14=1; e_4_15=1; e_8_16=1; e_8_17=1; e_8_18=1; e_8_19=1; e_8_20=1; e_8_21=1; e_8_22=1; e_8_23=1; e_8_24=1; e_7_25=1; e_7_26=1; e_7_27=1; e_20_28=1; e_20_29=1; e_20_30=1; bin e_2_0, r_5_0_0, r_5_1_0, r_5_2_0, r_5_3_0, r_1_0_0, r_1_1_0, r_1_2_0, r_1_3_0, r_1_4_0, r_1_5_0, r_1_6_0, r_1_7_0, r_1_8_0, r_1_9_0, r_1_10_0, r_1_11_0, r_1_12_0, r_1_13_0, r_1_14_0, r_1_15_0, r_1_16_0, r_1_17_0, r_1_18_0, r_1_19_0, r_3_0_0, r_3_1_0, r_3_2_0, r_3_3_0, r_3_4_0, r_3_5_0, r_2_0_0, r_2_1_0, r_2_2_0, r_2_3_0, r_2_4_0, r_2_5_0, r_2_6_0, r_2_7_0, r_2_8_0, r_2_9_0, e_2_1, r_5_0_1, r_5_1_1, r_5_2_1, r_5_3_1, r_1_0_1, r_1_1_1, r_1_2_1, r_1_3_1, r_1_4_1, r_1_5_1, r_1_6_1, r_1_7_1, r_1_8_1, r_1_9_1, r_1_10_1, r_1_11_1, r_1_12_1, r_1_13_1, r_1_14_1, r_1_15_1, r_1_16_1, r_1_17_1, r_1_18_1, r_1_19_1, r_3_0_1, r_3_1_1, r_3_2_1, r_3_3_1, r_3_4_1, r_3_5_1, r_2_0_1, r_2_1_1, r_2_2_1, r_2_3_1, r_2_4_1, r_2_5_1, r_2_6_1, r_2_7_1, r_2_8_1, r_2_9_1, e_2_2, r_5_0_2, r_5_1_2, r_5_2_2, r_5_3_2, r_1_0_2, r_1_1_2, r_1_2_2, r_1_3_2, r_1_4_2, r_1_5_2, r_1_6_2, r_1_7_2, r_1_8_2, r_1_9_2, r_1_10_2, r_1_11_2, r_1_12_2, r_1_13_2, r_1_14_2, r_1_15_2, r_1_16_2, r_1_17_2, r_1_18_2, r_1_19_2, r_3_0_2, r_3_1_2, r_3_2_2, r_3_3_2, r_3_4_2, r_3_5_2, r_2_0_2, r_2_1_2, r_2_2_2, r_2_3_2, r_2_4_2, r_2_5_2, r_2_6_2, r_2_7_2, r_2_8_2, r_2_9_2, e_1_3, r_5_0_3, r_5_1_3, r_5_2_3, r_5_3_3, r_1_0_3, r_1_1_3, r_1_2_3, r_1_3_3, r_1_4_3, r_1_5_3, r_1_6_3, r_1_7_3, r_1_8_3, r_1_9_3, r_1_10_3, r_1_11_3, r_1_12_3, r_1_13_3, r_1_14_3, r_1_15_3, r_1_16_3, r_1_17_3, r_1_18_3, r_1_19_3, r_3_0_3, r_3_1_3, r_3_2_3, r_3_3_3, r_3_4_3, r_3_5_3, r_2_0_3, r_2_1_3, r_2_2_3, r_2_3_3, r_2_4_3, r_2_5_3, r_2_6_3, r_2_7_3, r_2_8_3, r_2_9_3, e_4_4, r_5_0_4, r_5_1_4, r_5_2_4, r_5_3_4, r_1_0_4, r_1_1_4, r_1_2_4, r_1_3_4, r_1_4_4, r_1_5_4, r_1_6_4, r_1_7_4, r_1_8_4, r_1_9_4, r_1_10_4, r_1_11_4, r_1_12_4, r_1_13_4, r_1_14_4, r_1_15_4, r_1_16_4, r_1_17_4, r_1_18_4, r_1_19_4, r_3_0_4, r_3_1_4, r_3_2_4, r_3_3_4, r_3_4_4, r_3_5_4, r_2_0_4, r_2_1_4, r_2_2_4, r_2_3_4, r_2_4_4, r_2_5_4, r_2_6_4, r_2_7_4, r_2_8_4, r_2_9_4, e_4_5, r_5_0_5, r_5_1_5, r_5_2_5, r_5_3_5, r_1_0_5, r_1_1_5, r_1_2_5, r_1_3_5, r_1_4_5, r_1_5_5, r_1_6_5, r_1_7_5, r_1_8_5, r_1_9_5, r_1_10_5, r_1_11_5, r_1_12_5, r_1_13_5, r_1_14_5, r_1_15_5, r_1_16_5, r_1_17_5, r_1_18_5, r_1_19_5, r_3_0_5, r_3_1_5, r_3_2_5, r_3_3_5, r_3_4_5, r_3_5_5, r_2_0_5, r_2_1_5, r_2_2_5, r_2_3_5, r_2_4_5, r_2_5_5, r_2_6_5, r_2_7_5, r_2_8_5, r_2_9_5, e_4_6, r_5_0_6, r_5_1_6, r_5_2_6, r_5_3_6, r_1_0_6, r_1_1_6, r_1_2_6, r_1_3_6, r_1_4_6, r_1_5_6, r_1_6_6, r_1_7_6, r_1_8_6, r_1_9_6, r_1_10_6, r_1_11_6, r_1_12_6, r_1_13_6, r_1_14_6, r_1_15_6, r_1_16_6, r_1_17_6, r_1_18_6, r_1_19_6, r_3_0_6, r_3_1_6, r_3_2_6, r_3_3_6, r_3_4_6, r_3_5_6, r_2_0_6, r_2_1_6, r_2_2_6, r_2_3_6, r_2_4_6, r_2_5_6, r_2_6_6, r_2_7_6, r_2_8_6, r_2_9_6, e_4_7, r_5_0_7, r_5_1_7, r_5_2_7, r_5_3_7, r_1_0_7, r_1_1_7, r_1_2_7, r_1_3_7, r_1_4_7, r_1_5_7, r_1_6_7, r_1_7_7, r_1_8_7, r_1_9_7, r_1_10_7, r_1_11_7, r_1_12_7, r_1_13_7, r_1_14_7, r_1_15_7, r_1_16_7, r_1_17_7, r_1_18_7, r_1_19_7, r_3_0_7, r_3_1_7, r_3_2_7, r_3_3_7, r_3_4_7, r_3_5_7, r_2_0_7, r_2_1_7, r_2_2_7, r_2_3_7, r_2_4_7, r_2_5_7, r_2_6_7, r_2_7_7, r_2_8_7, r_2_9_7, e_4_8, r_5_0_8, r_5_1_8, r_5_2_8, r_5_3_8, r_1_0_8, r_1_1_8, r_1_2_8, r_1_3_8, r_1_4_8, r_1_5_8, r_1_6_8, r_1_7_8, r_1_8_8, r_1_9_8, r_1_10_8, r_1_11_8, r_1_12_8, r_1_13_8, r_1_14_8, r_1_15_8, r_1_16_8, r_1_17_8, r_1_18_8, r_1_19_8, r_3_0_8, r_3_1_8, r_3_2_8, r_3_3_8, r_3_4_8, r_3_5_8, r_2_0_8, r_2_1_8, r_2_2_8, r_2_3_8, r_2_4_8, r_2_5_8, r_2_6_8, r_2_7_8, r_2_8_8, r_2_9_8, e_4_9, r_5_0_9, r_5_1_9, r_5_2_9, r_5_3_9, r_1_0_9, r_1_1_9, r_1_2_9, r_1_3_9, r_1_4_9, r_1_5_9, r_1_6_9, r_1_7_9, r_1_8_9, r_1_9_9, r_1_10_9, r_1_11_9, r_1_12_9, r_1_13_9, r_1_14_9, r_1_15_9, r_1_16_9, r_1_17_9, r_1_18_9, r_1_19_9, r_3_0_9, r_3_1_9, r_3_2_9, r_3_3_9, r_3_4_9, r_3_5_9, r_2_0_9, r_2_1_9, r_2_2_9, r_2_3_9, r_2_4_9, r_2_5_9, r_2_6_9, r_2_7_9, r_2_8_9, r_2_9_9, e_4_10, r_5_0_10, r_5_1_10, r_5_2_10, r_5_3_10, r_1_0_10, r_1_1_10, r_1_2_10, r_1_3_10, r_1_4_10, r_1_5_10, r_1_6_10, r_1_7_10, r_1_8_10, r_1_9_10, r_1_10_10, r_1_11_10, r_1_12_10, r_1_13_10, r_1_14_10, r_1_15_10, r_1_16_10, r_1_17_10, r_1_18_10, r_1_19_10, r_3_0_10, r_3_1_10, r_3_2_10, r_3_3_10, r_3_4_10, r_3_5_10, r_2_0_10, r_2_1_10, r_2_2_10, r_2_3_10, r_2_4_10, r_2_5_10, r_2_6_10, r_2_7_10, r_2_8_10, r_2_9_10, e_4_11, r_5_0_11, r_5_1_11, r_5_2_11, r_5_3_11, r_1_0_11, r_1_1_11, r_1_2_11, r_1_3_11, r_1_4_11, r_1_5_11, r_1_6_11, r_1_7_11, r_1_8_11, r_1_9_11, r_1_10_11, r_1_11_11, r_1_12_11, r_1_13_11, r_1_14_11, r_1_15_11, r_1_16_11, r_1_17_11, r_1_18_11, r_1_19_11, r_3_0_11, r_3_1_11, r_3_2_11, r_3_3_11, r_3_4_11, r_3_5_11, r_2_0_11, r_2_1_11, r_2_2_11, r_2_3_11, r_2_4_11, r_2_5_11, r_2_6_11, r_2_7_11, r_2_8_11, r_2_9_11, e_4_12, r_5_0_12, r_5_1_12, r_5_2_12, r_5_3_12, r_1_0_12, r_1_1_12, r_1_2_12, r_1_3_12, r_1_4_12, r_1_5_12, r_1_6_12, r_1_7_12, r_1_8_12, r_1_9_12, r_1_10_12, r_1_11_12, r_1_12_12, r_1_13_12, r_1_14_12, r_1_15_12, r_1_16_12, r_1_17_12, r_1_18_12, r_1_19_12, r_3_0_12, r_3_1_12, r_3_2_12, r_3_3_12, r_3_4_12, r_3_5_12, r_2_0_12, r_2_1_12, r_2_2_12, r_2_3_12, r_2_4_12, r_2_5_12, r_2_6_12, r_2_7_12, r_2_8_12, r_2_9_12, e_4_13, r_5_0_13, r_5_1_13, r_5_2_13, r_5_3_13, r_1_0_13, r_1_1_13, r_1_2_13, r_1_3_13, r_1_4_13, r_1_5_13, r_1_6_13, r_1_7_13, r_1_8_13, r_1_9_13, r_1_10_13, r_1_11_13, r_1_12_13, r_1_13_13, r_1_14_13, r_1_15_13, r_1_16_13, r_1_17_13, r_1_18_13, r_1_19_13, r_3_0_13, r_3_1_13, r_3_2_13, r_3_3_13, r_3_4_13, r_3_5_13, r_2_0_13, r_2_1_13, r_2_2_13, r_2_3_13, r_2_4_13, r_2_5_13, r_2_6_13, r_2_7_13, r_2_8_13, r_2_9_13, e_4_14, r_5_0_14, r_5_1_14, r_5_2_14, r_5_3_14, r_1_0_14, r_1_1_14, r_1_2_14, r_1_3_14, r_1_4_14, r_1_5_14, r_1_6_14, r_1_7_14, r_1_8_14, r_1_9_14, r_1_10_14, r_1_11_14, r_1_12_14, r_1_13_14, r_1_14_14, r_1_15_14, r_1_16_14, r_1_17_14, r_1_18_14, r_1_19_14, r_3_0_14, r_3_1_14, r_3_2_14, r_3_3_14, r_3_4_14, r_3_5_14, r_2_0_14, r_2_1_14, r_2_2_14, r_2_3_14, r_2_4_14, r_2_5_14, r_2_6_14, r_2_7_14, r_2_8_14, r_2_9_14, e_4_15, r_5_0_15, r_5_1_15, r_5_2_15, r_5_3_15, r_1_0_15, r_1_1_15, r_1_2_15, r_1_3_15, r_1_4_15, r_1_5_15, r_1_6_15, r_1_7_15, r_1_8_15, r_1_9_15, r_1_10_15, r_1_11_15, r_1_12_15, r_1_13_15, r_1_14_15, r_1_15_15, r_1_16_15, r_1_17_15, r_1_18_15, r_1_19_15, r_3_0_15, r_3_1_15, r_3_2_15, r_3_3_15, r_3_4_15, r_3_5_15, r_2_0_15, r_2_1_15, r_2_2_15, r_2_3_15, r_2_4_15, r_2_5_15, r_2_6_15, r_2_7_15, r_2_8_15, r_2_9_15, e_8_16, r_5_0_16, r_5_1_16, r_5_2_16, r_5_3_16, r_1_0_16, r_1_1_16, r_1_2_16, r_1_3_16, r_1_4_16, r_1_5_16, r_1_6_16, r_1_7_16, r_1_8_16, r_1_9_16, r_1_10_16, r_1_11_16, r_1_12_16, r_1_13_16, r_1_14_16, r_1_15_16, r_1_16_16, r_1_17_16, r_1_18_16, r_1_19_16, r_3_0_16, r_3_1_16, r_3_2_16, r_3_3_16, r_3_4_16, r_3_5_16, r_2_0_16, r_2_1_16, r_2_2_16, r_2_3_16, r_2_4_16, r_2_5_16, r_2_6_16, r_2_7_16, r_2_8_16, r_2_9_16, e_8_17, r_5_0_17, r_5_1_17, r_5_2_17, r_5_3_17, r_1_0_17, r_1_1_17, r_1_2_17, r_1_3_17, r_1_4_17, r_1_5_17, r_1_6_17, r_1_7_17, r_1_8_17, r_1_9_17, r_1_10_17, r_1_11_17, r_1_12_17, r_1_13_17, r_1_14_17, r_1_15_17, r_1_16_17, r_1_17_17, r_1_18_17, r_1_19_17, r_3_0_17, r_3_1_17, r_3_2_17, r_3_3_17, r_3_4_17, r_3_5_17, r_2_0_17, r_2_1_17, r_2_2_17, r_2_3_17, r_2_4_17, r_2_5_17, r_2_6_17, r_2_7_17, r_2_8_17, r_2_9_17, e_8_18, r_5_0_18, r_5_1_18, r_5_2_18, r_5_3_18, r_1_0_18, r_1_1_18, r_1_2_18, r_1_3_18, r_1_4_18, r_1_5_18, r_1_6_18, r_1_7_18, r_1_8_18, r_1_9_18, r_1_10_18, r_1_11_18, r_1_12_18, r_1_13_18, r_1_14_18, r_1_15_18, r_1_16_18, r_1_17_18, r_1_18_18, r_1_19_18, r_3_0_18, r_3_1_18, r_3_2_18, r_3_3_18, r_3_4_18, r_3_5_18, r_2_0_18, r_2_1_18, r_2_2_18, r_2_3_18, r_2_4_18, r_2_5_18, r_2_6_18, r_2_7_18, r_2_8_18, r_2_9_18, e_8_19, r_5_0_19, r_5_1_19, r_5_2_19, r_5_3_19, r_1_0_19, r_1_1_19, r_1_2_19, r_1_3_19, r_1_4_19, r_1_5_19, r_1_6_19, r_1_7_19, r_1_8_19, r_1_9_19, r_1_10_19, r_1_11_19, r_1_12_19, r_1_13_19, r_1_14_19, r_1_15_19, r_1_16_19, r_1_17_19, r_1_18_19, r_1_19_19, r_3_0_19, r_3_1_19, r_3_2_19, r_3_3_19, r_3_4_19, r_3_5_19, r_2_0_19, r_2_1_19, r_2_2_19, r_2_3_19, r_2_4_19, r_2_5_19, r_2_6_19, r_2_7_19, r_2_8_19, r_2_9_19, e_8_20, r_5_0_20, r_5_1_20, r_5_2_20, r_5_3_20, r_1_0_20, r_1_1_20, r_1_2_20, r_1_3_20, r_1_4_20, r_1_5_20, r_1_6_20, r_1_7_20, r_1_8_20, r_1_9_20, r_1_10_20, r_1_11_20, r_1_12_20, r_1_13_20, r_1_14_20, r_1_15_20, r_1_16_20, r_1_17_20, r_1_18_20, r_1_19_20, r_3_0_20, r_3_1_20, r_3_2_20, r_3_3_20, r_3_4_20, r_3_5_20, r_2_0_20, r_2_1_20, r_2_2_20, r_2_3_20, r_2_4_20, r_2_5_20, r_2_6_20, r_2_7_20, r_2_8_20, r_2_9_20, e_8_21, r_5_0_21, r_5_1_21, r_5_2_21, r_5_3_21, r_1_0_21, r_1_1_21, r_1_2_21, r_1_3_21, r_1_4_21, r_1_5_21, r_1_6_21, r_1_7_21, r_1_8_21, r_1_9_21, r_1_10_21, r_1_11_21, r_1_12_21, r_1_13_21, r_1_14_21, r_1_15_21, r_1_16_21, r_1_17_21, r_1_18_21, r_1_19_21, r_3_0_21, r_3_1_21, r_3_2_21, r_3_3_21, r_3_4_21, r_3_5_21, r_2_0_21, r_2_1_21, r_2_2_21, r_2_3_21, r_2_4_21, r_2_5_21, r_2_6_21, r_2_7_21, r_2_8_21, r_2_9_21, e_8_22, r_5_0_22, r_5_1_22, r_5_2_22, r_5_3_22, r_1_0_22, r_1_1_22, r_1_2_22, r_1_3_22, r_1_4_22, r_1_5_22, r_1_6_22, r_1_7_22, r_1_8_22, r_1_9_22, r_1_10_22, r_1_11_22, r_1_12_22, r_1_13_22, r_1_14_22, r_1_15_22, r_1_16_22, r_1_17_22, r_1_18_22, r_1_19_22, r_3_0_22, r_3_1_22, r_3_2_22, r_3_3_22, r_3_4_22, r_3_5_22, r_2_0_22, r_2_1_22, r_2_2_22, r_2_3_22, r_2_4_22, r_2_5_22, r_2_6_22, r_2_7_22, r_2_8_22, r_2_9_22, e_8_23, r_5_0_23, r_5_1_23, r_5_2_23, r_5_3_23, r_1_0_23, r_1_1_23, r_1_2_23, r_1_3_23, r_1_4_23, r_1_5_23, r_1_6_23, r_1_7_23, r_1_8_23, r_1_9_23, r_1_10_23, r_1_11_23, r_1_12_23, r_1_13_23, r_1_14_23, r_1_15_23, r_1_16_23, r_1_17_23, r_1_18_23, r_1_19_23, r_3_0_23, r_3_1_23, r_3_2_23, r_3_3_23, r_3_4_23, r_3_5_23, r_2_0_23, r_2_1_23, r_2_2_23, r_2_3_23, r_2_4_23, r_2_5_23, r_2_6_23, r_2_7_23, r_2_8_23, r_2_9_23, e_8_24, r_5_0_24, r_5_1_24, r_5_2_24, r_5_3_24, r_1_0_24, r_1_1_24, r_1_2_24, r_1_3_24, r_1_4_24, r_1_5_24, r_1_6_24, r_1_7_24, r_1_8_24, r_1_9_24, r_1_10_24, r_1_11_24, r_1_12_24, r_1_13_24, r_1_14_24, r_1_15_24, r_1_16_24, r_1_17_24, r_1_18_24, r_1_19_24, r_3_0_24, r_3_1_24, r_3_2_24, r_3_3_24, r_3_4_24, r_3_5_24, r_2_0_24, r_2_1_24, r_2_2_24, r_2_3_24, r_2_4_24, r_2_5_24, r_2_6_24, r_2_7_24, r_2_8_24, r_2_9_24, e_7_25, r_5_0_25, r_5_1_25, r_5_2_25, r_5_3_25, r_1_0_25, r_1_1_25, r_1_2_25, r_1_3_25, r_1_4_25, r_1_5_25, r_1_6_25, r_1_7_25, r_1_8_25, r_1_9_25, r_1_10_25, r_1_11_25, r_1_12_25, r_1_13_25, r_1_14_25, r_1_15_25, r_1_16_25, r_1_17_25, r_1_18_25, r_1_19_25, r_3_0_25, r_3_1_25, r_3_2_25, r_3_3_25, r_3_4_25, r_3_5_25, r_2_0_25, r_2_1_25, r_2_2_25, r_2_3_25, r_2_4_25, r_2_5_25, r_2_6_25, r_2_7_25, r_2_8_25, r_2_9_25, e_7_26, r_5_0_26, r_5_1_26, r_5_2_26, r_5_3_26, r_1_0_26, r_1_1_26, r_1_2_26, r_1_3_26, r_1_4_26, r_1_5_26, r_1_6_26, r_1_7_26, r_1_8_26, r_1_9_26, r_1_10_26, r_1_11_26, r_1_12_26, r_1_13_26, r_1_14_26, r_1_15_26, r_1_16_26, r_1_17_26, r_1_18_26, r_1_19_26, r_3_0_26, r_3_1_26, r_3_2_26, r_3_3_26, r_3_4_26, r_3_5_26, r_2_0_26, r_2_1_26, r_2_2_26, r_2_3_26, r_2_4_26, r_2_5_26, r_2_6_26, r_2_7_26, r_2_8_26, r_2_9_26, e_7_27, r_5_0_27, r_5_1_27, r_5_2_27, r_5_3_27, r_1_0_27, r_1_1_27, r_1_2_27, r_1_3_27, r_1_4_27, r_1_5_27, r_1_6_27, r_1_7_27, r_1_8_27, r_1_9_27, r_1_10_27, r_1_11_27, r_1_12_27, r_1_13_27, r_1_14_27, r_1_15_27, r_1_16_27, r_1_17_27, r_1_18_27, r_1_19_27, r_3_0_27, r_3_1_27, r_3_2_27, r_3_3_27, r_3_4_27, r_3_5_27, r_2_0_27, r_2_1_27, r_2_2_27, r_2_3_27, r_2_4_27, r_2_5_27, r_2_6_27, r_2_7_27, r_2_8_27, r_2_9_27, e_20_28, r_5_0_28, r_5_1_28, r_5_2_28, r_5_3_28, r_1_0_28, r_1_1_28, r_1_2_28, r_1_3_28, r_1_4_28, r_1_5_28, r_1_6_28, r_1_7_28, r_1_8_28, r_1_9_28, r_1_10_28, r_1_11_28, r_1_12_28, r_1_13_28, r_1_14_28, r_1_15_28, r_1_16_28, r_1_17_28, r_1_18_28, r_1_19_28, r_3_0_28, r_3_1_28, r_3_2_28, r_3_3_28, r_3_4_28, r_3_5_28, r_2_0_28, r_2_1_28, r_2_2_28, r_2_3_28, r_2_4_28, r_2_5_28, r_2_6_28, r_2_7_28, r_2_8_28, r_2_9_28, e_20_29, r_5_0_29, r_5_1_29, r_5_2_29, r_5_3_29, r_1_0_29, r_1_1_29, r_1_2_29, r_1_3_29, r_1_4_29, r_1_5_29, r_1_6_29, r_1_7_29, r_1_8_29, r_1_9_29, r_1_10_29, r_1_11_29, r_1_12_29, r_1_13_29, r_1_14_29, r_1_15_29, r_1_16_29, r_1_17_29, r_1_18_29, r_1_19_29, r_3_0_29, r_3_1_29, r_3_2_29, r_3_3_29, r_3_4_29, r_3_5_29, r_2_0_29, r_2_1_29, r_2_2_29, r_2_3_29, r_2_4_29, r_2_5_29, r_2_6_29, r_2_7_29, r_2_8_29, r_2_9_29, e_20_30, r_5_0_30, r_5_1_30, r_5_2_30, r_5_3_30, r_1_0_30, r_1_1_30, r_1_2_30, r_1_3_30, r_1_4_30, r_1_5_30, r_1_6_30, r_1_7_30, r_1_8_30, r_1_9_30, r_1_10_30, r_1_11_30, r_1_12_30, r_1_13_30, r_1_14_30, r_1_15_30, r_1_16_30, r_1_17_30, r_1_18_30, r_1_19_30, r_3_0_30, r_3_1_30, r_3_2_30, r_3_3_30, r_3_4_30, r_3_5_30, r_2_0_30, r_2_1_30, r_2_2_30, r_2_3_30, r_2_4_30, r_2_5_30, r_2_6_30, r_2_7_30, r_2_8_30, r_2_9_30;
josearmstrong Posted 2013-06-22

Thank you for your work.

1 user found this review helpful.

Read more reviews >

Additional Project Details

Operating Systems

Linux, BSD, Windows

Languages

English

Intended Audience

Science/Research, Advanced End Users, Developers

Programming Language

Related Categories

C Algorithms, C Mathematics Software

Registered

2005-08-02

Similar Business Software

AMPL

AMPL is a powerful and intuitive modeling language designed to represent and solve complex optimization problems. It enables users to formulate mathematical models in a syntax that closely mirrors algebraic notation, facilitating a clear and concise representation of variables, objectives, and...

See Software
Solver SDK

Use optimization and simulation models in your desktop, Web or mobile application. Use the same high-level objects (like Problem, Solver, Variable and Function), collections, properties and methods across different programming languages. The same object-oriented API is exposed "over the wire"...

See Software
Model Predictive Control Toolbox

Model Predictive Control Toolbox™ provides functions, an app, Simulink® blocks, and reference examples for developing model predictive control (MPC). For linear problems, the toolbox supports the design of implicit, explicit, adaptive, and gain-scheduled MPC. For nonlinear problems, you can...

See Software

Report inappropriate content

Recommended Projects

Java ILP
Java ILP is a simple java interface to (mixed) integer linear programming solvers such as lp_solve, Glpk, Gurobi, SAT4J (0-1 ILP), MiniSat+(0-1 ILP), CPLEX, or Mosek. (documentation at http://javailp.sourceforge.net/)
Linear Program Solver
Solve linear programming problems
GLPK for Windows
Windows binaries for the GNU Linear Programming Kit (GLPK)
Anime4K
Anime4K is an open-source, high-quality anime upscaling algorithm