opencobra / cobrapy

COBRApy is a package for constraint-based modeling of metabolic networks.
http://opencobra.github.io/cobrapy/
GNU General Public License v2.0
461 stars 216 forks source link

RECON3 .mat file to convert into a .sbml file #1104

Closed CBRN-git closed 2 years ago

CBRN-git commented 3 years ago

Hello everyone,

As suggested by one of the contributors by email, I am posting this question here, it might help other people.

What I am trying to do : I have downloaded the .mat file from Recon3 database (https://www.vmh.life/), I am trying to convert it as a .sbml file.

What I have tried : I have searched for any keywords related to this task, but did not succeed, even after following this link : https://github.com/opencobra/cobrapy/issues/803 .

Here is my code :

from cobra.io.mat import load_matlab_model
recon = load_matlab_model("~/Recon3D_301.mat")

from cobra.io.sbml import write_sbml_model
write_sbml_model(recon,"test_file.xml")

I get this error :

Error encountered trying to <set gpr: ( ( G_513__46__1 and G_498__46__2 and G_506__46__1 and G_509__46__2 and G_514__46__1 ) or ( G_498__46__2 and G_513__46__2 and G_514__46__2 and G_506__46__1 and G_509__46__2 ) or ( G_513__46__1 and G_509__46__1 and G_498__46__1 and G_514__46__2 and G_506__46__1 ) or ( G_498__46__2 and G_513__46__2 and G_506__46__1 and G_509__46__2 and G_514__46__1 ) or ( G_513__46__2 and G_498__46__1 and G_514__46__2 and G_506__46__1 and G_509__46__2 ) or ( G_513__46__1 and G_498__46__1 and G_506__46__1 and G_509__46__2 and G_514__46__1 ) or ( G_513__46__1 and G_498__46__2 and G_514__46__2 and G_506__46__1 and G_509__46__2 ) or ( G_513__46__1 and G_498__46__2 and G_509__46__1 and G_506__46__1 and G_514__46__1 ) or ( G_498__46__2 and G_509__46__1 and G_513__46__2 and G_506__46__1 and G_514__46__1 ) or ( G_513__46__2 and G_498__46__1 and G_506__46__1 and G_509__46__2 and G_514__46__1 ) or ( G_513__46__2 and G_514__46__2 and G_506__46__1 and G_509__46__2 and G_498__46__3 ) or ( G_513__46__2 and G_506__46__1 and G_509__46__2 and G_498__46__3 and G_514__46__1 ) or ( G_513__46__1 and G_509__46__1 and G_506__46__1 and G_498__46__3 and G_514__46__1 ) or ( G_509__46__1 and G_513__46__2 and G_514__46__2 and G_506__46__1 and G_498__46__3 ) or ( G_513__46__1 and G_498__46__2 and G_509__46__1 and G_514__46__2 and G_506__46__1 ) or ( G_513__46__1 and G_498__46__1 and G_514__46__2 and G_506__46__1 and G_509__46__2 ) or ( G_513__46__1 and G_509__46__1 and G_498__46__1 and G_506__46__1 and G_514__46__1 ) or ( G_513__46__1 and G_506__46__1 and G_509__46__2 and G_498__46__3 and G_514__46__1 ) or ( G_509__46__1 and G_513__46__2 and G_506__46__1 and G_498__46__3 and G_514__46__1 ) or ( G_513__46__1 and G_514__46__2 and G_506__46__1 and G_509__46__2 and G_498__46__3 ) or ( G_509__46__1 and G_513__46__2 and G_498__46__1 and G_506__46__1 and G_514__46__1 ) or ( G_513__46__1 and G_509__46__1 and G_514__46__2 and G_506__46__1 and G_498__46__3 ) or ( G_498__46__2 and G_509__46__1 and G_513__46__2 and G_514__46__2 and G_506__46__1 ) or ( G_509__46__1 and G_513__46__2 and G_498__46__1 and G_514__46__2 and G_506__46__1 ) ) and ( ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__5 and G_516__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__3 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__2 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__5 and G_9551__46__2 and G_518__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_515__46__2 and G_518__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__3 and G_518__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_522__46__1 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__1 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__5 and G_518__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_518__46__2 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 and G_518__46__2 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__5 and G_518__46__2 and G_9551__46__2 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_518__46__2 and G_522__46__3 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_518__46__2 and G_9551__46__2 ) or ( G_4905__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__2 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__1 and G_9551__46__2 and G_518__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__5 ) or ( G_4905__46__1 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__3 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__1 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_522__46__4 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__3 and G_10476__46__2 and G_9551__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_517__46__2 and G_515__46__2 and G_522__46__1 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__3 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__3 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_518__46__2 and G_522__46__3 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_515__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_518__46__2 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_515__46__2 and G_9551__46__2 and G_518__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__2 and G_522__46__3 ) or ( G_4905__46__1 and G_522__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__5 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__3 and G_516__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__4 and G_516__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_515__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__5 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_515__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__1 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_517__46__2 and G_515__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 and G_518__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_522__46__5 and G_9551__46__2 and G_521__46__1 and G_518__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_515__46__2 and G_516__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 and G_9551__46__2 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__2 and G_522__46__3 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__5 and G_521__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__5 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_517__46__2 and G_515__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__1 and G_516__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__5 and G_521__46__1 ) or ( G_4905__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_518__46__2 ) or ( G_518__46__3 and G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__2 and G_522__46__3 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__1 and G_516__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__5 and G_9551__46__2 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__3 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 and G_518__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__4 and G_521__46__1 and G_518__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__4 and G_516__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_517__46__2 and G_515__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__2 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 and G_522__46__4 ) or ( G_4905__46__1 and G_9551__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 ) or ( G_4905__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_518__46__2 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__5 and G_518__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__5 and G_518__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__4 and G_516__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__5 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__5 and G_9551__46__2 ) or ( G_4905__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_4905__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_518__46__2 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_522__46__2 and G_10476__46__2 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__2 and G_516__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__3 and G_10476__46__2 and G_9551__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_516__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__4 and G_518__46__2 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_518__46__2 and G_9551__46__2 and G_522__46__3 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__5 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__1 and G_9551__46__2 and G_521__46__1 and G_518__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_518__46__2 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__5 and G_518__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_9551__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__2 and G_522__46__1 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_518__46__2 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_9551__46__2 and G_518__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__1 and G_518__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_522__46__2 and G_9551__46__3 and G_10476__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 and G_522__46__3 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 and G_522__46__5 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_522__46__5 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__4 and G_516__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__4 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_517__46__2 and G_515__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__2 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_522__46__1 and G_9551__46__2 and G_521__46__1 and G_518__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_517__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_522__46__5 ) or ( G_4905__46__1 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__2 and G_522__46__3 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__3 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__5 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__2 and G_522__46__4 and G_516__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__1 and G_521__46__1 and G_518__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_522__46__4 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__5 and G_516__46__2 and G_521__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__1 and G_516__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_517__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_517__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__3 and G_521__46__1 and G_518__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_517__46__2 and G_515__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__1 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__3 and G_521__46__1 and G_518__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_518__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_515__46__2 and G_9551__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 and G_518__46__2 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_515__46__2 and G_521__46__1 and G_518__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_518__46__2 and G_9551__46__2 and G_522__46__3 ) or ( G_4905__46__1 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__4 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__2 and G_521__46__1 and G_518__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_517__46__2 and G_522__46__1 and G_9551__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__5 and G_9551__46__2 and G_521__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_518__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 and G_9551__46__2 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__5 and G_9551__46__2 and G_518__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__1 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_517__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_516__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_10476__46__2 and G_522__46__5 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 G___41__or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_517__46__2 and G_515__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_522__46__5 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_516__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__5 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 and G_522__46__3 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__2 and G_518__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_9551__46__2 and G_518__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__5 and G_9551__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__5 and G_521__46__1 and G_518__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 and G_518__46__2 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_517__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__1 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_517__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__5 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_518__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_517__46__2 and G_515__46__2 and G_9551__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__4 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_518__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_518__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 and G_10632__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_518__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__1 and G_516__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__5 and G_516__46__2 and G_521__46__1 G___41__or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__1 and G_516__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_518__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_517__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_517__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_522__46__5 and G_9551__46__2 and G_518__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_522__46__1 and G_9551__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__3 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__2 and G_522__46__3 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 G___41__or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__3 and G_10476__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__5 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__3 and G_515__46__2 and G_10476__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__5 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 and G_522__46__3 ) or ( G_4905__46__1 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__2 and G_10476__46__2 and G_9551__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__4 and G_9551__46__2 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__5 and G_9551__46__2 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__3 ) or ( G_4905__46__1 and G_9551__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__3 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 and G_518__46__2 ) or ( G_4905__46__1 and G_522__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_518__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_522__46__2 and G_515__46__2 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_517__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_10476__46__2 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__5 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_522__46__1 and G_9551__46__2 and G_516__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_9551__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_516__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 and G_518__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__1 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__3 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__1 and G_518__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_517__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_9551__46__2 and G_522__46__4 and G_521__46__1 and G_518__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__1 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_517__46__2 and G_522__46__1 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_517__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__1 and G_521__46__1 and G_518__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 and G_9551__46__2 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_516__46__2 and G_521__46__1 and G_10632__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_518__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__4 and G_521__46__1 and G_518__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_517__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__5 and G_516__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_518__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__1 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__1 and G_521__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__4 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__1 and G_521__46__1 and G_518__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__5 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__4 and G_521__46__1 and G_518__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_516__46__2 and G_521__46__1 and G_10632__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_517__46__2 and G_522__46__5 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__2 and G_9551__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_9551__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__4 ) or ( G_518__46__3 and G_4905__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__1 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__3 and G_9551__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__5 and G_9551__46__2 and G_516__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__4 and G_521__46__1 and G_518__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 ) or ( G_4905__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__3 and G_10476__46__2 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_517__46__2 and G_9551__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__5 and G_521__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_518__46__2 and G_522__46__3 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__2 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__3 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_518__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_518__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 ) or ( G_4905__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__5 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__2 and G_522__46__5 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_518__46__2 and G_9551__46__2 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 ) or ( G_4905__46__1 and G_10476__46__2 and G_522__46__1 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_522__46__1 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_10476__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_517__46__2 and G_515__46__2 and G_9551__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_518__46__1 and G_10632__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__4 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_522__46__3 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 ) or ( G_4905__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_4905__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__4 and G_516__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__3 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 and G_518__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_517__46__2 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__3 and G_515__46__2 and G_10476__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__5 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_517__46__2 and G_515__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_515__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_518__46__2 and G_522__46__3 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__1 and G_518__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 and G_518__46__2 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__3 and G_521__46__1 and G_518__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_521__46__1 and G_518__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 and G_9551__46__2 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__2 and G_518__46__2 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_518__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__1 and G_9551__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__3 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__3 and G_521__46__1 ) or ( G_4905__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_518__46__3 and G_4905__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__1 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__2 and G_518__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__1 and G_518__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_517__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__3 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__3 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_9551__46__2 and G_516__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_517__46__2 and G_515__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__1 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__5 and G_516__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__2 and G_522__46__4 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__2 and G_9551__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_522__46__3 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_522__46__5 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__5 and G_9551__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__1 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__2 and G_522__46__4 and G_516__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__3 and G_9551__46__3 and G_10476__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 and G_10632__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__2 and G_518__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__1 and G_516__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_9551__46__2 and G_522__46__3 and G_521__46__1 and G_518__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_517__46__2 and G_522__46__5 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 and G_522__46__3 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_518__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_517__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 ) or ( G_4905__46__1 and G_9551__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__2 and G_9551__46__2 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_522__46__5 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__5 and G_9551__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__2 and G_516__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__4 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_516__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__5 and G_518__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__1 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__5 and G_518__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__2 and G_518__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__1 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__5 and G_9551__46__2 and G_521__46__1 and G_518__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__3 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__3 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 and G_9551__46__2 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__5 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_517__46__2 and G_9551__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_518__46__2 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_517__46__2 and G_9551__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__3 and G_515__46__2 and G_10476__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__1 and G_521__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__3 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_9551__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__4 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__5 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__4 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_518__46__2 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_515__46__2 and G_521__46__1 and G_518__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__3 and G_521__46__1 and G_518__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__3 and G_521__46__1 and G_518__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__2 and G_522__46__5 and G_9551__46__2 and G_521__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__4 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_515__46__2 and G_516__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 and G_522__46__4 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 and G_518__46__2 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_517__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 and G_522__46__3 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_517__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_518__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_518__46__1 and G_10632__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__4 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__3 and G_10476__46__2 and G_522__46__5 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__2 and G_518__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__5 and G_9551__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__3 and G_9551__46__3 and G_10476__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_517__46__2 and G_522__46__5 and G_9551__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__2 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__1 and G_521__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_515__46__2 and G_9551__46__2 and G_521__46__1 and G_518__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_515__46__2 and G_9551__46__2 and G_516__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__2 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__3 and G_521__46__1 G___41__or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__1 and G_9551__46__2 and G_518__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_517__46__2 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__2 and G_10476__46__2 and G_9551__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__2 and G_522__46__3 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__5 and G_521__46__1 and G_515__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__5 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__2 and G_9551__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__4 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_517__46__2 and G_515__46__2 and G_9551__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_517__46__1 and G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__5 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__5 and G_521__46__1 and G_518__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_517__46__2 and G_522__46__5 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__4 and G_516__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_518__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__2 and G_522__46__4 and G_521__46__1 and G_518__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_522__46__4 and G_9551__46__2 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__5 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 and G_518__46__2 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__4 and G_9551__46__2 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_515__46__2 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__3 and G_9551__46__3 and G_10476__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_4905__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_517__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_515__46__2 and G_518__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_518__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_518__46__2 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__5 ) or ( G_4905__46__1 and G_9551__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_518__46__2 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__5 and G_9551__46__2 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__3 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__1 and G_9551__46__2 and G_516__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 and G_522__46__5 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_518__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_522__46__5 and G_9551__46__2 and G_516__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 and G_518__46__2 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_517__46__2 and G_9551__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_518__46__2 ) or ( G_517__46__1 and G_4905__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__3 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__1 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_517__46__2 and G_9551__46__2 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__2 and G_522__46__3 ) or ( G_4905__46__1 and G_9551__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 and G_518__46__2 and G_9551__46__2 ) or ( G_518__46__3 and G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__4 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 and G_9551__46__2 ) or ( G_4905__46__1 and G_9551__46__1 and G_522__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__5 and G_518__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_522__46__5 and G_9551__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__3 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_522__46__4 and G_9551__46__2 ) or ( G_4905__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_518__46__2 and G_9551__46__2 ) or ( G_517__46__1 and G_4905__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__1 and G_518__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_518__46__2 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__4 and G_518__46__2 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_516__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__2 and G_522__46__3 and G_521__46__1 and G_518__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__3 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_518__46__2 and G_9551__46__2 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_517__46__2 and G_515__46__2 and G_522__46__1 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__1 and G_9551__46__2 and G_516__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_515__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__1 and G_521__46__1 and G_518__46__1 ) or ( G_4905__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__2 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__5 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__5 and G_521__46__1 and G_518__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_516__46__2 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__3 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 ) or ( G_518__46__3 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__5 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__4 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_522__46__2 and G_9551__46__3 and G_515__46__2 and G_10476__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__2 and G_522__46__1 and G_9551__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_522__46__2 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_517__46__2 and G_515__46__2 and G_522__46__5 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__5 and G_521__46__1 and G_518__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__2 and G_522__46__1 and G_518__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__2 and G_516__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 and G_518__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__3 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_522__46__1 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__2 ) or ( G_4905__46__1 and G_10476__46__2 and G_522__46__1 and G_516__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 ) or ( G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 and G_522__46__5 ) or ( G_517__46__1 and G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 and G_522__46__3 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__3 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__3 and G_10476__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__5 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_522__46__1 and G_9551__46__2 and G_518__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_522__46__4 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_517__46__2 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_522__46__5 ) or ( G_4905__46__1 and G_9551__46__1 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_515__46__1 and G_10632__46__1 and G_522__46__3 ) or ( G_4905__46__1 and G_9551__46__1 and G_522__46__2 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_518__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__3 and G_517__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__3 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__3 and G_515__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_518__46__1 and G_10632__46__1 and G_9551__46__3 and G_522__46__4 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_517__46__2 and G_515__46__2 and G_522__46__4 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_522__46__1 and G_9551__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__5 and G_9551__46__2 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__2 and G_9551__46__2 and G_522__46__4 and G_516__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_10476__46__2 and G_522__46__1 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_517__46__1 and G_4905__46__1 and G_10476__46__2 and G_521__46__1 and G_515__46__1 and G_10632__46__1 and G_9551__46__2 and G_522__46__3 ) or ( G_517__46__1 and G_4905__46__1 and G_9551__46__1 and G_515__46__3 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__4 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_516__46__2 and G_522__46__3 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_521__46__1 ) or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_522__46__2 and G_9551__46__3 and G_515__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_515__46__2 and G_10476__46__2 and G_521__46__1 and G_10632__46__1 and G_517__46__2 and G_9551__46__3 and G_522__46__4 G___41__or ( G_518__46__3 and G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_522__46__2 and G_9551__46__2 and G_521__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_522__46__5 and G_521__46__1 and G_518__46__1 and G_515__46__1 ) or ( G_4905__46__1 and G_515__46__3 and G_522__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_9551__46__2 ) or ( G_10632__46__1 and G_4905__46__1 and G_516__46__1 and G_10476__46__1 and G_9551__46__3 and G_522__46__4 and G_521__46__1 and G_515__46__1 ) or ( G_10632__46__1 and G_4905__46__1 and G_10476__46__1 and G_9551__46__1 and G_515__46__3 and G_522__46__5 and G_516__46__2 and G_521__46__1 ) or ( G_4905__46__1 and G_9551__46__1 and G_515__46__2 and G_10476__46__2 and G_516__46__2 and G_521__46__1 and G_10632__46__1 and G_522__46__5 ) or ( G_10632__46__1 and G_517__46__1 and G_4905__46__1 and G_10476__46__1 and G_515__46__3 and G_9551__46__3 and G_522__46__3 and G_521__46__1 ) ) and ( G_539__46__1 and G_267020__46__1 and G_27109__46__1 )>.
LibSBML error code -3: The requested action could not be performed. This can occur in a variety of contexts, such as passing a null object as a parameter in a situation where it does not make sense to permit a null object.

In order to better the situation, I verified the .sbml file with http://www.sbml.org/validator/ .

Error when verifying the file :

ErrorThe value of attribute 'fbc:chemicalFormula' on the SBML <species> object must be set to a string consisting only of atomic names or user defined compounds and their occurrence. Reference: L3V1 Fbc V2 Section 3.4 Encountered ' ' when expecting a capital letter.The chemicalFormula 'C23H33O4 ' has incorrect syntax.

Line 916 Column 104:

<species id="M_cca_d3__91__c__93__" name="Calcitroic Acid (D3)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C23H33O4 "/>

Line 917 Column 104:

<species id="M_cca_d3__91__e__93__" name="Calcitroic Acid (D3)" compartment="e" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C23H33O4 "/>

Line 918 Column 104:

<species id="M_cca_d3__91__m__93__" name="Calcitroic Acid (D3)" compartment="m" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C23H33O4 "/>

Line 7332 Column 104:

<species id="M_M02421__91__c__93__" name="L-Tyrosyl-tRNA(Tyr)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C24H30N6O12PR(C5H8O6PR)n"/>

Line 7334 Column 104:

<species id="M_M02335__91__c__93__" name="L-Alanyl-tRNA(Ala)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C13H22NO11PR2(C5H8O6PR)n"/>

Line 7336 Column 104:

<species id="M_M02340__91__c__93__" name="L-Arginyl-tRNA(Arg)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C21H33N9O11PR(C5H8O6PR)n"/>

Line 7338 Column 104:

<species id="M_M02341__91__c__93__" name="L-Asparaginyl-tRNA(Asn)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C14H23N2O12PR2(C5H8O6PR)n"/>

Line 7340 Column 104:

<species id="M_M02342__91__c__93__" name="L-Aspartyl-tRNA(Asp)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C14H22NO13PR2(C5H8O6PR)n"/>

Line 7342 Column 104:

<species id="M_M02351__91__c__93__" name="L-Cysteinyl-tRNA(Cys)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C18H26N6O11PSR(C5H8O6PR)n"/>

Line 7344 Column 104:

<species id="M_M02376__91__c__93__" name="Glutaminyl-tRNA" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C20H29N7O12PR(C5H8O6PR)n"/>

Line 7346 Column 104:

<species id="M_M02377__91__c__93__" name="L-Glutamyl-tRNA(Glu)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C20H28N6O13PR(C5H8O6PR)n"/>

Line 7348 Column 104:

<species id="M_M02006__91__c__93__" name="Glycyl-tRNA(Gly)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C12H20NO11PR2(C5H8O6PR)n"/>

Line 7350 Column 104:

<species id="M_M02380__91__c__93__" name="L-Histidyl-tRNA(His)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C16H24N3O11PR2(C5H8O6PR)n"/>

Line 7352 Column 104:

<species id="M_M02401__91__c__93__" name="L-Isoleucyl-tRNA(Ile)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C21H32N6O11PR(C5H8O6PR)n"/>

Line 7354 Column 104:

<species id="M_M02404__91__c__93__" name="L-Leucyl-tRNA(Leu)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C21H32N6O11PR(C5H8O6PR)n"/>

Line 7356 Column 104:

<species id="M_M02405__91__c__93__" name="L-Lysyl-tRNA(Lys)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C16H29N2O11PR2(C5H8O6PR)n"/>

Line 7358 Column 104:

<species id="M_M02408__91__c__93__" name="L-Methionyl-tRNA(Met)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C20H30N6O11PSR(C5H8O6PR)n"/>

Line 7359 Column 104:

<species id="M_M02576__91__c__93__" name="N-Formylmethionyl-tRNA" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C21H30N6O12PSR(C5H8O6PR)n"/>

Line 7361 Column 104:

<species id="M_M02412__91__c__93__" name="L-Phenylalanyl-tRNA(Phe)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C19H26NO11PR2(C5H8O6PR)n"/>

Line 7363 Column 104:

<species id="M_M02415__91__c__93__" name="L-Prolyl-tRNA(Pro)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C15H24NO11PR2(C5H8O6PR)n"/>

Line 7365 Column 104:

<species id="M_M02416__91__c__93__" name="L-Seryl-tRNA(Ser)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C13H22NO12PR2(C5H8O6PR)n"/>

Line 7367 Column 104:

<species id="M_M02419__91__c__93__" name="L-Threonyl-tRNA(Thr)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C14H24NO12PR2(C5H8O6PR)n"/>

Line 7369 Column 104:

<species id="M_M02420__91__c__93__" name="L-Tryptophanyl-tRNA(Trp)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C26H31N7O11PR(C5H8O6PR)n"/>

Line 7371 Column 104:

<species id="M_M02423__91__c__93__" name="L-Valyl-tRNA(Val)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C20H30N6O11PR(C5H8O6PR)n"/>

Line 7591 Column 104:

<species id="M_M02847__91__c__93__" name="RNA" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C10H18O13P2R2(C5H8O6PR)n"/>

Line 7593 Column 104:

<species id="M_M02898__91__c__93__" name="S-Farnesyl Protein" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C26H39N5O6SR4(C2H2NOR)n"/>

Line 7594 Column 104:

<species id="M_M00194__91__c__93__" name="Protein C-Terminal S-Farnesyl-L-Cysteine" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C20H33N2O3SR(C2H2NOR)n"/>

Line 7595 Column 104:

<species id="M_M00195__91__c__93__" name="Protein C-Terminal S-Farnesyl-L-Cysteine Methyl Ester" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C21H35N2O3SR(C2H2NOR)n"/>

Line 7629 Column 104:

<species id="M_M02893__91__c__93__" name="Selenomethionyl-tRNA(Met)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C20H30N6O11PSeR(C5H8O6PR)n"/>

Line 7706 Column 104:

<species id="M_M01719__91__c__93__" name="Dna-Containing-6-O-Methylguanine" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C11H16N5O7P(C5H8O5PR)n(C5H8O5PR)n"/>

Line 7707 Column 104:

<species id="M_M01720__91__c__93__" name="Dna-Containing-Guanine" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C10H14N5O7P(C5H8O5PR)n(C5H8O5PR)n"/>

Line 7719 Column 104:

<species id="M_M01317__91__c__93__" name="Alpha-Tubulin" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C11H13N2O4R(C2H2NOR)n"/>

Line 7720 Column 104:

<species id="M_M01676__91__c__93__" name="Detyrosinated-Alpha-Tubulin" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C2H4NO2R(C2H2NOR)n"/>

Line 7721 Column 135:

<species id="M_M00915__91__c__93__" name="3&apos;-Phosphopolynucleotide" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C10H18O13P2R2(C5H8O6PR)n"/>

Line 7722 Column 104:

<species id="M_M02755__91__c__93__" name="Polynucleotide" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C10H17O10PR2(C5H8O6PR)n"/>

Line 7723 Column 104:

<species id="M_M01129__91__c__93__" name="5-Phosphopolynucleotide" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C10H16O13P2R2(C5H8O6PR)n"/>

Line 7724 Column 125:

<species id="M_M00096__91__c__93__" name="(5&apos;)Pppur-Mrna" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C10H19O16P3R2(C5H8O6PR)n"/>

Line 7725 Column 124:

<species id="M_M01864__91__c__93__" name="G(5&apos;)Pppr-Rna" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C20H31N5O23P4R2(C5H8O6PR)n"/>

Line 7726 Column 126:

<species id="M_M02438__91__c__93__" name="M7G(5&apos;)Pppr-Rna" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C21H34N5O23P4R2(C5H8O6PR)n"/>

Line 7727 Column 174:

<species id="M_M02437__91__c__93__" name="M7G(5&apos;)Ppprm-Rna (Mrna Containing A 2&apos;-O-Methylpurine Cap)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C22H36N5O23P4R2(C5H8O6PR)n"/>

Line 7728 Column 181:

<species id="M_M02436__91__c__93__" name="M7G(5&apos;)Pppm6Am (Mrna Containing An N6,2&apos;-O-Dimethyladenosine Cap)" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C28H42N10O23P4R(C5H8O6PR)n"/>

Line 7729 Column 123:

<species id="M_M02435__91__c__93__" name="M7G(5&apos;)Pppam" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C27H40N10O23P4R(C5H8O6PR)n"/>

Line 7730 Column 104:

<species id="M_M02627__91__c__93__" name="N-Tetradecanoylglycylpeptide" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C16H31NO3(C2H2NOR)n"/>

Line 7731 Column 104:

<species id="M_M02005__91__c__93__" name="Glycylpeptide" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C2H5NO2(C2H2NOR)n"/>

Line 7739 Column 104:

<species id="M_M03086__91__c__93__" name="TRNA-Queuine" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C17H24N5O10P(C5H8O6PR)n(C5H8O6PR)n"/>

Line 7741 Column 104:

<species id="M_M03084__91__c__93__" name="TRNA-Guanine" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C10H14N5O8P(C5H8O6PR)n(C5H8O6PR)n"/>

Line 7742 Column 104:

<species id="M_M03061__91__c__93__" name="TRNA-Containing-N2-Methylguanine" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C11H16N5O8P(C5H8O6PR)n(C5H8O6PR)n"/>

Line 7743 Column 104:

<species id="M_M03062__91__c__93__" name="TRNA-Containing-N7-Methylguanine" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C11H16N5O8P(C5H8O6PR)n(C5H8O6PR)n"/>

Line 7744 Column 104:

<species id="M_M03059__91__c__93__" name="TRNA-Containing-5-Methylaminomethyl-2-Thiouridylate" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C11H18N3O8PS(C5H8O6PR)n(C5H8O6PR)n"/>

Line 7745 Column 104:

<species id="M_M03058__91__c__93__" name="TRNA-Containing 5-Aminomethyl-2-Thiouridine" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C10H16N3O8PS(C5H8O6PR)n(C5H8O6PR)n"/>

Line 7746 Column 104:

<species id="M_M02626__91__c__93__" name="N-Substituted-Aminoacyl-tRNA" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C13H18NO12PR4(C5H8O6PR)n"/>

Line 7748 Column 104:

<species id="M_M03083__91__c__93__" name="TRNA" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C10H17O10PR2(C5H8O6PR)n"/>

Line 7749 Column 104:

<species id="M_M03060__91__c__93__" name="TRNA-Containing-6-Isopentenyladenosine" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C15H22N5O7P(C5H8O6PR)n(C5H8O6PR)n"/>

Line 7750 Column 104:

<species id="M_M03085__91__c__93__" name="TRNA-Pseudouridine" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C9H13N2O9P(C5H8O6PR)n(C5H8O6PR)n"/>

Line 7751 Column 104:

<species id="M_M03087__91__c__93__" name="TRNA-Uridine" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C9H13N2O9P(C5H8O6PR)n(C5H8O6PR)n"/>

Line 7772 Column 104:

<species id="M_M02339__91__c__93__" name="L-Arginyl-Protein" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C8H16N5O3R(C2H2NOR)n"/>

Line 7773 Column 104:

<species id="M_M00196__91__c__93__" name="Protein" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C2H4NO2R(C2H2NOR)n"/>

Line 7774 Column 104:

<species id="M_M02706__91__c__93__" name="Peptidylamidoglycolate" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C4H7N2O4R(C2H2NOR)n"/>

Line 7775 Column 104:

<species id="M_M02707__91__c__93__" name="Peptidylglycine" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C4H7N2O3R(C2H2NOR)n"/>

Line 7776 Column 104:

<species id="M_M02375__91__c__93__" name="L-Glutaminyl-Peptide" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C7H12N3O4R(C2H2NOR)n"/>

Line 7777 Column 104:

<species id="M_M01128__91__c__93__" name="5-Oxoprolyl-Peptide" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C7H9N2O4R(C2H2NOR)n"/>

Line 7780 Column 104:

<species id="M_M02708__91__c__93__" name="Peptidyl-L-Lysyl-Peptide" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C12H20N5O5R3(C2H2NOR)n(C2H2NOR)n"/>

Line 7781 Column 104:

<species id="M_M02705__91__c__93__" name="Peptidyl-Allysyl-Peptide" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C12H17N4O6R3(C2H2NOR)n(C2H2NOR)n"/>

Line 7782 Column 104:

<species id="M_M02849__91__c__93__" name="Rna-Terminal-2,3-Cyclic-Phosphate" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C10H16O12P2R2(C5H8O6PR)n"/>

Line 7783 Column 104:

<species id="M_M02848__91__c__93__" name="Rna-3-Terminal-Phosphate" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C10H18O13P2R2(C5H8O6PR)n"/>

Line 7790 Column 104:

<species id="M_M00188__91__c__93__" name="Methionine Synthase-Cob(Ii)Alamin" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C62H89CoN13O14P.C7H8N4O2R2"/>

Line 7791 Column 104:

<species id="M_M00189__91__c__93__" name="Methionine Synthase-Methylcob(I)Alamin" compartment="c" hasOnlySubstanceUnits="false" boundaryCondition="false" constant="false" fbc:chemicalFormula="C63H92CoN13O14P.C7H8N4O2R2"/

I am using: Python 3.7.1 - Cobra '0.22.1' .

(I know there are already some .sbml files available on different databases, but I would like to learn how to do it by myself, and now more than never understand the origin of these errors).

Suggestion 1 - I might try, if someone confirms it is a good idea: is it a good idea to change the chemicalFormulas within the .Matlab that are problematic, or after loading the Recon Object? But I guess, sometimes I am not sure how to correctly correct these names and keep being "chemistrally/biologically" correct.

Thank you so much to everyone helping me with this issue.

cdiener commented 3 years ago

Yeah this is a bit odd. Just to give some more info here:

Maybe the one from VMH had a typo in the GPR that was fixed in BIGG? I suspect the error is because the GPR references a gene libSBML can't find...

CBRN-git commented 3 years ago

Thank you @cdiener for your answer, and the provided details.

What is my best option to correct the .mat file by myself?

1-Should I load the mat lab object (with Cobrapy / R.matlab) and correct the different chemicalFormulas strings ? Or errors from the SBML validator are just consequences of previous issues?

2-How can I find typo swithin the GPR that was fixed by BiGG ? Just by comparing the two .mat files ? or the .sbml files ?

Thank you for your help, and sorry for my potential non-relevant questions, I am confused with what is going on here.

matthiaskoenig commented 3 years ago

Yes, I also suspect there is an incorrect gene identifier: You can find the typos by parsing the genes via a regex from the complete string. I.e. something along the line of ^G[_0-9]*$. Then you check which of the matches is not in the model.genes.

You could fix the formulas in cobrapy by updating the species.formula before export.

CBRN-git commented 3 years ago

Thank you @matthiaskoenig.

I will give this a try today and will update you with what I found.

racng commented 3 years ago

I am running into the same problem when trying to convert Recon3D into xml file. @matthiaskoenig I am trying to look for where the GPR is stored. When I look at the gene_reaction_rule of each cobra.core.reaction.Reaction object in the model, the rule is in ####.# format. Every id attribute of cobra.core.gene.Gene object in the model is also in ####.# format. I checked that the set of genes from these GRPs and the set of model.genes are equal using the following code:

import cobra
import re

model = cobra.io.load_matlab_model("Recon3D_301.mat")

parsed_gid = set()
for rxn in model.reactions:
    gene_reaction_rule = rxn.gene_reaction_rule
    if gene_reaction_rule =='':
        continue
    gene_ids = re.findall(r'[.\d]+',gene_reaction_rule)
    parsed_gid.update(gene_ids)
gid = {x.id for x in model.genes}

parsed_gid == gid

Where are genes in the G_XXXX__46__# format stored?

using cobrapy 0.22.1 and python 3.8.10

cdiener commented 2 years ago

So the GPR is correct as can be checked with.

from cobra.core.gene import eval_gpr, parse_gpr

tree, _ = parse_gpr(model.reactions.ATPS4mi.gene_reaction_rule)
active = eval_gpr(tree, {g.id for g in model.reactions.ATPS4mi.genes})

Everything checks out. Took me a while to figure out what was going on but the problem is some missing spaces in the GPR which libSBML can not deal with. It can be fixed with the following:

model.reactions.ATPS4mi.gene_reaction_rule = model.reactions.ATPS4mi.gene_reaction_rule.replace(")or", ") or")

After that you will be able to write the model with write_to_sbml. Just note that the current matlab reader in cobrapy will not read annotations, so you will loose a lot of information this way. The SBML from BIGG is thus recommended.

cdiener commented 2 years ago

Looking at this I noticed that the SBML writer does not use the standard methods for converting GPRs such as ast2str. I'll send in a PR that fixes this. That will also allow converting Recon3 without adding the space into the GPR.

Ilhem36 commented 2 years ago

Hello ; I'm trying to convert the WBM model also to sbml file but I'm getting this error : code:

Import models:

cobra.Configuration().upper_bound = 100000 human_model= cobra.io.load_matlab_model('Harvetta4.mat',inf= 100000) from cobra.io.sbml import write_sbml_model write_sbml_model(human_model,"test_file.xml") error: image Do you have please any ideas to solve this errors please? Thank you;