MCC'2021- Execution of r026-tajo-162038143400089\nExecution of r026-tajo-162038143400089\n16241.144 3600000.00 3520517.00 88246.70 ?F???????????TF? normal\nFormatting '/mnt/tpsp/fkordon/mcc2021-input.r026-tajo-162038143400089.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off\nRun identifier is r026-tajo-162038143400089\n[2021-05-11 16:40:00] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 668 ms\n[2021-05-11 16:40:00] [INFO ] Imported 15 HL places and 11 HL transitions for a total of 128 PT places and 114798.0 transition bindings in 19 ms.\nSuccessfully produced net in file /tmp/petri1000_11049836191638844406.dot\nIncomplete random walk after 100000 steps, including 2 resets, run finished after 755 ms. (steps per millisecond=132 ) properties (out of 75) seen :30\n[2021-05-11 16:40:01] [INFO ] Computed 4 place invariants in 7 ms\n[2021-05-11 16:40:01] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat\n[2021-05-11 16:40:01] [INFO ] [Real]Absence check using state equation in 25 ms returned unsat :7 sat :13 real:25\n[2021-05-11 16:40:01] [INFO ] SMT Verify possible in real domain returnedunsat :7 sat :13 real:25\n[2021-05-11 16:40:01] [INFO ] [Nat]Absence check using state equation in 44 ms returned unsat :5 sat :40\n[2021-05-11 16:40:01] [INFO ] SMT Verify possible in nat domain returned unsat :5 sat :40\nSuccessfully simplified 12 atomic propositions for a total of 16 simplifications.\n[2021-05-11 16:40:01] [INFO ] Flatten gal took : 24 ms\n[2021-05-11 16:40:01] [INFO ] Initial state reduction rules for CTL removed 1 formulas.\n[2021-05-11 16:40:01] [INFO ] Flatten gal took : 4 ms\n[2021-05-11 16:40:01] [INFO ] Unfolded HLPN to a Petri net with 128 places and 1328 transitions in 28 ms.\nSuccessfully produced net in file /tmp/petri1001_4216237522043198278.dot\nApplied a total of 0 rules in 24 ms. Remains 128 /128 variables (removed 0) and now considering 1328/1328 (removed 0) transitions.\n[2021-05-11 16:40:01] [INFO ] Flow matrix only has 250 transitions (discarded 1078 similar events)\n[2021-05-11 16:40:01] [INFO ] Computed 7 place invariants in 17 ms\n[2021-05-11 16:40:02] [INFO ] Dead Transitions using invariants and state equation in 498 ms returned \n[2021-05-11 16:40:02] [INFO ] Computed 7 place invariants in 7 ms\n[2021-05-11 16:40:02] [INFO ] Implicit Places using invariants in 33 ms returned \n[2021-05-11 16:40:02] [INFO ] Computed 7 place invariants in 4 ms\n[2021-05-11 16:40:02] [INFO ] State equation strengthened by 22 read => feed constraints.\n[2021-05-11 16:40:02] [INFO ] Implicit Places using invariants and state equation in 110 ms returned \n[2021-05-11 16:40:02] [INFO ] Computed 7 place invariants in 5 ms\n[2021-05-11 16:40:03] [INFO ] Dead Transitions using invariants and state equation in 463 ms returned \n[2021-05-11 16:40:03] [INFO ] Flatten gal took : 86 ms\n[2021-05-11 16:40:03] [INFO ] Flatten gal took : 82 ms\n[2021-05-11 16:40:03] [INFO ] Input system was already deterministic with 1328 transitions.\nIncomplete random walk after 100000 steps, including 227 resets, run finished after 3466 ms. (steps per millisecond=28 ) properties (out of 62) seen :25\n[2021-05-11 16:40:06] [INFO ] Flow matrix only has 250 transitions (discarded 1078 similar events)\n[2021-05-11 16:40:07] [INFO ] Computed 7 place invariants in 10 ms\n[2021-05-11 16:40:07] [INFO ] SMT Verify possible in real domain returnedunsat :6 sat :0 real:31\n[2021-05-11 16:40:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 2 ms returned sat\n[2021-05-11 16:40:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.\n[2021-05-11 16:40:07] [INFO ] [Nat]Absence check using state equation in 314 ms returned unsat :3 sat :34\n[2021-05-11 16:40:07] [INFO ] State equation strengthened by 22 read => feed constraints.\n[2021-05-11 16:40:07] [INFO ] [Nat]Added 22 Read/Feed constraints in 10 ms returned sat\nMinimization took 494 ms.\n[2021-05-11 16:40:09] [INFO ] SMT Verify possible in nat domain returned unsat :3 sat :34\nSuccessfully simplified 9 atomic propositions for a total of 13 simplifications.\nApplied a total of 1 rules in 55 ms. Remains 126 /128 variables (removed 2) and now considering 1328/1328 (removed 0) transitions.\n[2021-05-11 16:40:09] [INFO ] Flatten gal took : 63 ms\n[2021-05-11 16:40:09] [INFO ] Flatten gal took : 82 ms\n[2021-05-11 16:40:09] [INFO ] Input system was already deterministic with 1328 transitions.\n[2021-05-11 16:40:09] [INFO ] Flatten gal took : 58 ms\n[2021-05-11 16:40:09] [INFO ] Flatten gal took : 47 ms\n[2021-05-11 16:40:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality8310647520801372013.gal : 14 ms\n[2021-05-11 16:40:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality3709502495509001382.ctl : 1 ms\nInvoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality8310647520801372013.gal, -t, CGAL, -ctl, /tmp/CTLCardinality3709502495509001382.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]\n/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality8310647520801372013.gal -t CGAL -ctl /tmp/CTLCardinality3709502495509001382.ctl --gen-order FOLLOW\n[2021-05-11 16:40:40] [INFO ] Flatten gal took : 78 ms\n[2021-05-11 16:40:40] [INFO ] Applying decomposition\n[2021-05-11 16:40:40] [INFO ] Flatten gal took : 61 ms\nConverted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph5906991527329757706.txt, -o, /tmp/graph5906991527329757706.bin, -w, /tmp/graph5906991527329757706.weights], workingDir=null]\nBuilt communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph5906991527329757706.bin, -l, -1, -v, -w, /tmp/graph5906991527329757706.weights, -q, 0, -e, 0.001], workingDir=null]\n[2021-05-11 16:40:40] [INFO ] Decomposing Gal with order\n[2021-05-11 16:40:40] [INFO ] Rewriting arrays to variables to allow decomposition.\n[2021-05-11 16:40:41] [INFO ] Removed a total of 1737 redundant transitions.\n[2021-05-11 16:40:41] [INFO ] Flatten gal took : 1199 ms\n[2021-05-11 16:40:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 764 labels/synchronizations in 54 ms.\n[2021-05-11 16:40:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality18096679197449130649.gal : 5 ms\n[2021-05-11 16:40:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality14731210882406332818.ctl : 0 ms\nInvoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality18096679197449130649.gal, -t, CGAL, -ctl, /tmp/CTLCardinality14731210882406332818.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]\n/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality18096679197449130649.gal -t CGAL -ctl /tmp/CTLCardinality14731210882406332818.ctl --gen-order FOLLOW\nApplied a total of 0 rules in 21 ms. Remains 128 /128 variables (removed 0) and now considering 1328/1328 (removed 0) transitions.\n[2021-05-11 16:41:12] [INFO ] Flatten gal took : 36 ms\n[2021-05-11 16:41:12] [INFO ] Flatten gal took : 41 ms\n[2021-05-11 16:41:12] [INFO ] Input system was already deterministic with 1328 transitions.\n[2021-05-11 16:41:12] [INFO ] Flatten gal took : 56 ms\n[2021-05-11 16:41:12] [INFO ] Flatten gal took : 55 ms\n[2021-05-11 16:41:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality8630665619793447875.gal : 9 ms\n[2021-05-11 16:41:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality380491045812965899.ctl : 1 ms\nInvoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality8630665619793447875.gal, -t, CGAL, -ctl, /tmp/CTLCardinality380491045812965899.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]\n/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality8630665619793447875.gal -t CGAL -ctl /tmp/CTLCardinality380491045812965899.ctl --gen-order FOLLOW\n[2021-05-11 16:41:42] [INFO ] Flatten gal took : 79 ms\n[2021-05-11 16:41:42] [INFO ] Applying decomposition\n[2021-05-11 16:41:42] [INFO ] Flatten gal took : 110 ms\nConverted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph14948871683243733714.txt, -o, /tmp/graph14948871683243733714.bin, -w, /tmp/graph14948871683243733714.weights], workingDir=null]\nBuilt communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph14948871683243733714.bin, -l, -1, -v, -w, /tmp/graph14948871683243733714.weights, -q, 0, -e, 0.001], workingDir=null]\n[2021-05-11 16:41:42] [INFO ] Decomposing Gal with order\n[2021-05-11 16:41:42] [INFO ] Rewriting arrays to variables to allow decomposition.\n[2021-05-11 16:41:43] [INFO ] Removed a total of 4612 redundant transitions.\n[2021-05-11 16:41:43] [INFO ] Flatten gal took : 245 ms\n[2021-05-11 16:41:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 341 labels/synchronizations in 31 ms.\n[2021-05-11 16:41:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality18095764324255411959.gal : 2 ms\n[2021-05-11 16:41:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality17027121053494064907.ctl : 1 ms\nInvoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality18095764324255411959.gal, -t, CGAL, -ctl, /tmp/CTLCardinality17027121053494064907.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]\n/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality18095764324255411959.gal -t CGAL -ctl /tmp/CTLCardinality17027121053494064907.ctl --gen-order FOLLOW\nGraph (complete) has 2750 edges and 128 vertex of which 127 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.3 ms\nApplied a total of 1 rules in 23 ms. Remains 127 /128 variables (removed 1) and now considering 1328/1328 (removed 0) transitions.\n[2021-05-11 16:42:13] [INFO ] Flatten gal took : 31 ms\n[2021-05-11 16:42:13] [INFO ] Flatten gal took : 35 ms\n[2021-05-11 16:42:13] [INFO ] Input system was already deterministic with 1328 transitions.\n[2021-05-11 16:42:13] [INFO ] Flatten gal took : 94 ms\n[2021-05-11 16:42:13] [INFO ] Flatten gal took : 60 ms\n[2021-05-11 16:42:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality17643780620473191036.gal : 18 ms\n[2021-05-11 16:42:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality5117507853668480170.ctl : 1 ms\nInvoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality17643780620473191036.gal, -t, CGAL, -ctl, /tmp/CTLCardinality5117507853668480170.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]\n/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality17643780620473191036.gal -t CGAL -ctl /tmp/CTLCardinality5117507853668480170.ctl --gen-order FOLLOW\n[2021-05-11 16:42:43] [INFO ] Flatten gal took : 54 ms\n[2021-05-11 16:42:43] [INFO ] Applying decomposition\n[2021-05-11 16:42:44] [INFO ] Flatten gal took : 66 ms\nConverted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph2830894634158824249.txt, -o, /tmp/graph2830894634158824249.bin, -w, /tmp/graph2830894634158824249.weights], workingDir=null]\nBuilt communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph2830894634158824249.bin, -l, -1, -v, -w, /tmp/graph2830894634158824249.weights, -q, 0, -e, 0.001], workingDir=null]\n[2021-05-11 16:42:44] [INFO ] Decomposing Gal with order\n[2021-05-11 16:42:44] [INFO ] Rewriting arrays to variables to allow decomposition.\n[2021-05-11 16:42:44] [INFO ] Removed a total of 1787 redundant transitions.\n[2021-05-11 16:42:44] [INFO ] Flatten gal took : 643 ms\n[2021-05-11 16:42:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 857 labels/synchronizations in 52 ms.\n[2021-05-11 16:42:45] [INFO ] Time to serialize gal into /tmp/CTLCardinality5695213808255450286.gal : 5 ms\n[2021-05-11 16:42:45] [INFO ] Time to serialize properties into /tmp/CTLCardinality3609188866189516471.ctl : 1 ms\nInvoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality5695213808255450286.gal, -t, CGAL, -ctl, /tmp/CTLCardinality3609188866189516471.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]\n/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality5695213808255450286.gal -t CGAL -ctl /tmp/CTLCardinality3609188866189516471.ctl --gen-order FOLLOW\n[2021-05-11 16:43:15] [INFO ] Flatten gal took : 37 ms\n[2021-05-11 16:43:15] [INFO ] Flatten gal took : 36 ms\n[2021-05-11 16:43:15] [INFO ] Applying decomposition\n[2021-05-11 16:43:15] [INFO ] Flatten gal took : 52 ms\nConverted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph6914035382163100707.txt, -o, /tmp/graph6914035382163100707.bin, -w, /tmp/graph6914035382163100707.weights], workingDir=null]\nBuilt communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph6914035382163100707.bin, -l, -1, -v, -w, /tmp/graph6914035382163100707.weights, -q, 0, -e, 0.001], workingDir=null]\n[2021-05-11 16:43:15] [INFO ] Decomposing Gal with order\n[2021-05-11 16:43:15] [INFO ] Rewriting arrays to variables to allow decomposition.\n[2021-05-11 16:43:16] [INFO ] Removed a total of 3374 redundant transitions.\n[2021-05-11 16:43:16] [INFO ] Flatten gal took : 253 ms\n[2021-05-11 16:43:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 324 labels/synchronizations in 18 ms.\n[2021-05-11 16:43:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality17182149128560140836.gal : 7 ms\n[2021-05-11 16:43:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality5764131778341643624.ctl : 8 ms\nInvoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality17182149128560140836.gal, -t, CGAL, -ctl, /tmp/CTLCardinality5764131778341643624.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]\n/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality17182149128560140836.gal -t CGAL -ctl /tmp/CTLCardinality5764131778341643624.ctl --gen-order FOLLOW\noriginal formula: !(EF((((AG(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.SORTI_A_0+gu2.VIDANGE_0)+gu2.VIDANGE_1)+gu2.ATTENTE_B_0)+gu2.CONTROLEUR_0)+gu2.CONTROLEUR_1)+gu1.NB_ATTENTE_B_0)+gu1.NB_ATTENTE_B_1)+gu1.NB_ATTENTE_B_2)+gu1.NB_ATTENTE_B_3)+gu1.NB_ATTENTE_B_4)+gu1.NB_ATTENTE_B_5)+gu1.NB_ATTENTE_B_6)+gu1.NB_ATTENTE_B_7)+gu1.NB_ATTENTE_B_8)+gu1.NB_ATTENTE_B_9)+gu1.NB_ATTENTE_B_10)+gu1.NB_ATTENTE_B_11)+gu1.NB_ATTENTE_B_12)+gu1.NB_ATTENTE_B_13)+gu1.NB_ATTENTE_B_14)+gu1.NB_ATTENTE_B_15)+gu1.NB_ATTENTE_B_16)+gu1.NB_ATTENTE_B_17)+gu1.NB_ATTENTE_B_18)+gu1.NB_ATTENTE_B_19)+gu1.NB_ATTENTE_B_20)+gu1.NB_ATTENTE_B_21)+gu1.NB_ATTENTE_B_22)+gu1.NB_ATTENTE_B_23)+gu1.NB_ATTENTE_B_24)+gu1.NB_ATTENTE_B_25)+gu1.NB_ATTENTE_B_26)+gu1.NB_ATTENTE_B_27)+gu1.NB_ATTENTE_B_28)+gu1.NB_ATTENTE_B_29)+gu1.NB_ATTENTE_B_30)+gu1.NB_ATTENTE_B_31)+gu1.NB_ATTENTE_B_32)+gu1.NB_ATTENTE_B_33)+gu1.NB_ATTENTE_B_34)+gu1.NB_ATTENTE_B_35)+gu1.NB_ATTENTE_B_36)+gu1.NB_ATTENTE_B_37)+gu1.NB_ATTENTE_B_38)+gu1.NB_ATTENTE_B_39)+gu1.NB_ATTENTE_B_40)+gu1.NB_ATTENTE_B_41)+gu1.NB_ATTENTE_B_42)+gu1.NB_ATTENTE_B_43)+gu1.NB_ATTENTE_B_44)+gu1.NB_ATTENTE_B_45)+gu1.NB_ATTENTE_B_46)+gu1.NB_ATTENTE_B_47)+gu1.NB_ATTENTE_B_48)+gu1.NB_ATTENTE_B_49)+gu1.NB_ATTENTE_B_50)+gu2.ROUTE_B_0)+gu2.SORTI_B_0)+gu2.ROUTE_A_0)+gu0.NB_ATTENTE_A_0)+gu0.NB_ATTENTE_A_1)+gu0.NB_ATTENTE_A_2)+gu0.NB_ATTENTE_A_3)+gu0.NB_ATTENTE_A_4)+gu0.NB_ATTENTE_A_5)+gu0.NB_ATTENTE_A_6)+gu0.NB_ATTENTE_A_7)+gu0.NB_ATTENTE_A_8)+gu0.NB_ATTENTE_A_9)+gu0.NB_ATTENTE_A_10)+gu0.NB_ATTENTE_A_11)+gu0.NB_ATTENTE_A_12)+gu0.NB_ATTENTE_A_13)+gu0.NB_ATTENTE_A_14)+gu0.NB_ATTENTE_A_15)+gu0.NB_ATTENTE_A_16)+gu0.NB_ATTENTE_A_17)+gu0.NB_ATTENTE_A_18)+gu0.NB_ATTENTE_A_19)+gu0.NB_ATTENTE_A_20)+gu0.NB_ATTENTE_A_21)+gu0.NB_ATTENTE_A_22)+gu0.NB_ATTENTE_A_23)+gu0.NB_ATTENTE_A_24)+gu0.NB_ATTENTE_A_25)+gu0.NB_ATTENTE_A_26)+gu0.NB_ATTENTE_A_27)+gu0.NB_ATTENTE_A_28)+gu0.NB_ATTENTE_A_29)+gu0.NB_ATTENTE_A_30)+gu0.NB_ATTENTE_A_31)+gu0.NB_ATTENTE_A_32)+gu0.NB_ATTENTE_A_33)+gu0.NB_ATTENTE_A_34)+gu0.NB_ATTENTE_A_35)+gu0.NB_ATTENTE_A_36)+gu0.NB_ATTENTE_A_37)+gu0.NB_ATTENTE_A_38)+gu0.NB_ATTENTE_A_39)+gu0.NB_ATTENTE_A_40)+gu0.NB_ATTENTE_A_41)+gu0.NB_ATTENTE_A_42)+gu0.NB_ATTENTE_A_43)+gu0.NB_ATTENTE_A_44)+gu0.NB_ATTENTE_A_45)+gu0.NB_ATTENTE_A_46)+gu0.NB_ATTENTE_A_47)+gu0.NB_ATTENTE_A_48)+gu0.NB_ATTENTE_A_49)+gu0.NB_ATTENTE_A_50)+gu2.CAPACITE_0)>=17)&&((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.CONTROLEUR_0+gu2.CONTROLEUR_1)+gu0.NB_ATTENTE_A_0)+gu0.NB_ATTENTE_A_1)+gu0.NB_ATTENTE_A_2)+gu0.NB_ATTENTE_A_3)+gu0.NB_ATTENTE_A_4)+gu0.NB_ATTENTE_A_5)+gu0.NB_ATTENTE_A_6)+gu0.NB_ATTENTE_A_7)+gu0.NB_ATTENTE_A_8)+gu0.NB_ATTENTE_A_9)+gu0.NB_ATTENTE_A_10)+gu0.NB_ATTENTE_A_11)+gu0.NB_ATTENTE_A_12)+gu0.NB_ATTENTE_A_13)+gu0.NB_ATTENTE_A_14)+gu0.NB_ATTENTE_A_15)+gu0.NB_ATTENTE_A_16)+gu0.NB_ATTENTE_A_17)+gu0.NB_ATTENTE_A_18)+gu0.NB_ATTENTE_A_19)+gu0.NB_ATTENTE_A_20)+gu0.NB_ATTENTE_A_21)+gu0.NB_ATTENTE_A_22)+gu0.NB_ATTENTE_A_23)+gu0.NB_ATTENTE_A_24)+gu0.NB_ATTENTE_A_25)+gu0.NB_ATTENTE_A_26)+gu0.NB_ATTENTE_A_27)+gu0.NB_ATTENTE_A_28)+gu0.NB_ATTENTE_A_29)+gu0.NB_ATTENTE_A_30)+gu0.NB_ATTENTE_A_31)+gu0.NB_ATTENTE_A_32)+gu0.NB_ATTENTE_A_33)+gu0.NB_ATTENTE_A_34)+gu0.NB_ATTENTE_A_35)+gu0.NB_ATTENTE_A_36)+gu0.NB_ATTENTE_A_37)+gu0.NB_ATTENTE_A_38)+gu0.NB_ATTENTE_A_39)+gu0.NB_ATTENTE_A_40)+gu0.NB_ATTENTE_A_41)+gu0.NB_ATTENTE_A_42)+gu0.NB_ATTENTE_A_43)+gu0.NB_ATTENTE_A_44)+gu0.NB_ATTENTE_A_45)+gu0.NB_ATTENTE_A_46)+gu0.NB_ATTENTE_A_47)+gu0.NB_ATTENTE_A_48)+gu0.NB_ATTENTE_A_49)+gu0.NB_ATTENTE_A_50)+gu2.SUR_PONT_A_0)+gu0.SORTI_A_0)+gu2.ROUTE_B_0)+gu1.NB_ATTENTE_B_0)+gu1.NB_ATTENTE_B_1)+gu1.NB_ATTENTE_B_2)+gu1.NB_ATTENTE_B_3)+gu1.NB_ATTENTE_B_4)+gu1.NB_ATTENTE_B_5)+gu1.NB_ATTENTE_B_6)+gu1.NB_ATTENTE_B_7)+gu1.NB_ATTENTE_B_8)+gu1.NB_ATTENTE_B_9)+gu1.NB_ATTENTE_B_10)+gu1.NB_ATTENTE_B_11)+gu1.NB_ATTENTE_B_12)+gu1.NB_ATTENTE_B_13)+gu1.NB_ATTENTE_B_14)+gu1.NB_ATTENTE_B_15)+gu1.NB_ATTENTE_B_16)+gu1.NB_ATTENTE_B_17)+gu1.NB_ATTENTE_B_18)+gu1.NB_ATTENTE_B_19)+gu1.NB_ATTENTE_B_20)+gu1.NB_ATTENTE_B_21)+gu1.NB_ATTENTE_B_22)+gu1.NB_ATTENTE_B_23)+gu1.NB_ATTENTE_B_24)+gu1.NB_ATTENTE_B_25)+gu1.NB_ATTENTE_B_26)+gu1.NB_ATTENTE_B_27)+gu1.NB_ATTENTE_B_28)+gu1.NB_ATTENTE_B_29)+gu1.NB_ATTENTE_B_30)+gu1.NB_ATTENTE_B_31)+gu1.NB_ATTENTE_B_32)+gu1.NB_ATTENTE_B_33)+gu1.NB_ATTENTE_B_34)+gu1.NB_ATTENTE_B_35)+gu1.NB_ATTENTE_B_36)+gu1.NB_ATTENTE_B_37)+gu1.NB_ATTENTE_B_38)+gu1.NB_ATTENTE_B_39)+gu1.NB_ATTENTE_B_40)+gu1.NB_ATTENTE_B_41)+gu1.NB_ATTENTE_B_42)+gu1.NB_ATTENTE_B_43)+gu1.NB_ATTENTE_B_44)+gu1.NB_ATTENTE_B_45)+gu1.NB_ATTENTE_B_46)+gu1.NB_ATTENTE_B_47)+gu1.NB_ATTENTE_B_48)+gu1.NB_ATTENTE_B_49)+gu1.NB_ATTENTE_B_50)+gu2.COMPTEUR_0)+gu2.COMPTEUR_1)+gu2.COMPTEUR_2)+gu2.COMPTEUR_3)+gu2.COMPTEUR_4)+gu2.COMPTEUR_5)+gu2.COMPTEUR_6)+gu2.COMPTEUR_7)+gu2.COMPTEUR_8)+gu2.COMPTEUR_9)+gu2.COMPTEUR_10)>=40))&&(((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.SUR_PONT_A_0+gu2.ROUTE_A_0)+gu0.NB_ATTENTE_A_0)+gu0.NB_ATTENTE_A_1)+gu0.NB_ATTENTE_A_2)+gu0.NB_ATTENTE_A_3)+gu0.NB_ATTENTE_A_4)+gu0.NB_ATTENTE_A_5)+gu0.NB_ATTENTE_A_6)+gu0.NB_ATTENTE_A_7)+gu0.NB_ATTENTE_A_8)+gu0.NB_ATTENTE_A_9)+gu0.NB_ATTENTE_A_10)+gu0.NB_ATTENTE_A_11)+gu0.NB_ATTENTE_A_12)+gu0.NB_ATTENTE_A_13)+gu0.NB_ATTENTE_A_14)+gu0.NB_ATTENTE_A_15)+gu0.NB_ATTENTE_A_16)+gu0.NB_ATTENTE_A_17)+gu0.NB_ATTENTE_A_18)+gu0.NB_ATTENTE_A_19)+gu0.NB_ATTENTE_A_20)+gu0.NB_ATTENTE_A_21)+gu0.NB_ATTENTE_A_22)+gu0.NB_ATTENTE_A_23)+gu0.NB_ATTENTE_A_24)+gu0.NB_ATTENTE_A_25)+gu0.NB_ATTENTE_A_26)+gu0.NB_ATTENTE_A_27)+gu0.NB_ATTENTE_A_28)+gu0.NB_ATTENTE_A_29)+gu0.NB_ATTENTE_A_30)+gu0.NB_ATTENTE_A_31)+gu0.NB_ATTENTE_A_32)+gu0.NB_ATTENTE_A_33)+gu0.NB_ATTENTE_A_34)+gu0.NB_ATTENTE_A_35)+gu0.NB_ATTENTE_A_36)+gu0.NB_ATTENTE_A_37)+gu0.NB_ATTENTE_A_38)+gu0.NB_ATTENTE_A_39)+gu0.NB_ATTENTE_A_40)+gu0.NB_ATTENTE_A_41)+gu0.NB_ATTENTE_A_42)+gu0.NB_ATTENTE_A_43)+gu0.NB_ATTENTE_A_44)+gu0.NB_ATTENTE_A_45)+gu0.NB_ATTENTE_A_46)+gu0.NB_ATTENTE_A_47)+gu0.NB_ATTENTE_A_48)+gu0.NB_ATTENTE_A_49)+gu0.NB_ATTENTE_A_50)+gu2.ATTENTE_A_0)+gu2.SORTI_B_0)<=41))) + ((!(EX(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.SORTI_B_0+gu2.ROUTE_A_0)+gu0.SORTI_A_0)+gu2.ATTENTE_A_0)+gu2.VIDANGE_0)+gu2.VIDANGE_1)+gu1.NB_ATTENTE_B_0)+gu1.NB_ATTENTE_B_1)+gu1.NB_ATTENTE_B_2)+gu1.NB_ATTENTE_B_3)+gu1.NB_ATTENTE_B_4)+gu1.NB_ATTENTE_B_5)+gu1.NB_ATTENTE_B_6)+gu1.NB_ATTENTE_B_7)+gu1.NB_ATTENTE_B_8)+gu1.NB_ATTENTE_B_9)+gu1.NB_ATTENTE_B_10)+gu1.NB_ATTENTE_B_11)+gu1.NB_ATTENTE_B_12)+gu1.NB_ATTENTE_B_13)+gu1.NB_ATTENTE_B_14)+gu1.NB_ATTENTE_B_15)+gu1.NB_ATTENTE_B_16)+gu1.NB_ATTENTE_B_17)+gu1.NB_ATTENTE_B_18)+gu1.NB_ATTENTE_B_19)+gu1.NB_ATTENTE_B_20)+gu1.NB_ATTENTE_B_21)+gu1.NB_ATTENTE_B_22)+gu1.NB_ATTENTE_B_23)+gu1.NB_ATTENTE_B_24)+gu1.NB_ATTENTE_B_25)+gu1.NB_ATTENTE_B_26)+gu1.NB_ATTENTE_B_27)+gu1.NB_ATTENTE_B_28)+gu1.NB_ATTENTE_B_29)+gu1.NB_ATTENTE_B_30)+gu1.NB_ATTENTE_B_31)+gu1.NB_ATTENTE_B_32)+gu1.NB_ATTENTE_B_33)+gu1.NB_ATTENTE_B_34)+gu1.NB_ATTENTE_B_35)+gu1.NB_ATTENTE_B_36)+gu1.NB_ATTENTE_B_37)+gu1.NB_ATTENTE_B_38)+gu1.NB_ATTENTE_B_39)+gu1.NB_ATTENTE_B_40)+gu1.NB_ATTENTE_B_41)+gu1.NB_ATTENTE_B_42)+gu1.NB_ATTENTE_B_43)+gu1.NB_ATTENTE_B_44)+gu1.NB_ATTENTE_B_45)+gu1.NB_ATTENTE_B_46)+gu1.NB_ATTENTE_B_47)+gu1.NB_ATTENTE_B_48)+gu1.NB_ATTENTE_B_49)+gu1.NB_ATTENTE_B_50)+gu0.NB_ATTENTE_A_0)+gu0.NB_ATTENTE_A_1)+gu0.NB_ATTENTE_A_2)+gu0.NB_ATTENTE_A_3)+gu0.NB_ATTENTE_A_4)+gu0.NB_ATTENTE_A_5)+gu0.NB_ATTENTE_A_6)+gu0.NB_ATTENTE_A_7)+gu0.NB_ATTENTE_A_8)+gu0.NB_ATTENTE_A_9)+gu0.NB_ATTENTE_A_10)+gu0.NB_ATTENTE_A_11)+gu0.NB_ATTENTE_A_12)+gu0.NB_ATTENTE_A_13)+gu0.NB_ATTENTE_A_14)+gu0.NB_ATTENTE_A_15)+gu0.NB_ATTENTE_A_16)+gu0.NB_ATTENTE_A_17)+gu0.NB_ATTENTE_A_18)+gu0.NB_ATTENTE_A_19)+gu0.NB_ATTENTE_A_20)+gu0.NB_ATTENTE_A_21)+gu0.NB_ATTENTE_A_22)+gu0.NB_ATTENTE_A_23)+gu0.NB_ATTENTE_A_24)+gu0.NB_ATTENTE_A_25)+gu0.NB_ATTENTE_A_26)+gu0.NB_ATTENTE_A_27)+gu0.NB_ATTENTE_A_28)+gu0.NB_ATTENTE_A_29)+gu0.NB_ATTENTE_A_30)+gu0.NB_ATTENTE_A_31)+gu0.NB_ATTENTE_A_32)+gu0.NB_ATTENTE_A_33)+gu0.NB_ATTENTE_A_34)+gu0.NB_ATTENTE_A_35)+gu0.NB_ATTENTE_A_36)+gu0.NB_ATTENTE_A_37)+gu0.NB_ATTENTE_A_38)+gu0.NB_ATTENTE_A_39)+gu0.NB_ATTENTE_A_40)+gu0.NB_ATTENTE_A_41)+gu0.NB_ATTENTE_A_42)+gu0.NB_ATTENTE_A_43)+gu0.NB_ATTENTE_A_44)+gu0.NB_ATTENTE_A_45)+gu0.NB_ATTENTE_A_46)+gu0.NB_ATTENTE_A_47)+gu0.NB_ATTENTE_A_48)+gu0.NB_ATTENTE_A_49)+gu0.NB_ATTENTE_A_50)<=26))) * !(EF(((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.CAPACITE_0+gu0.NB_ATTENTE_A_0)+gu0.NB_ATTENTE_A_1)+gu0.NB_ATTENTE_A_2)+gu0.NB_ATTENTE_A_3)+gu0.NB_ATTENTE_A_4)+gu0.NB_ATTENTE_A_5)+gu0.NB_ATTENTE_A_6)+gu0.NB_ATTENTE_A_7)+gu0.NB_ATTENTE_A_8)+gu0.NB_ATTENTE_A_9)+gu0.NB_ATTENTE_A_10)+gu0.NB_ATTENTE_A_11)+gu0.NB_ATTENTE_A_12)+gu0.NB_ATTENTE_A_13)+gu0.NB_ATTENTE_A_14)+gu0.NB_ATTENTE_A_15)+gu0.NB_ATTENTE_A_16)+gu0.NB_ATTENTE_A_17)+gu0.NB_ATTENTE_A_18)+gu0.NB_ATTENTE_A_19)+gu0.NB_ATTENTE_A_20)+gu0.NB_ATTENTE_A_21)+gu0.NB_ATTENTE_A_22)+gu0.NB_ATTENTE_A_23)+gu0.NB_ATTENTE_A_24)+gu0.NB_ATTENTE_A_25)+gu0.NB_ATTENTE_A_26)+gu0.NB_ATTENTE_A_27)+gu0.NB_ATTENTE_A_28)+gu0.NB_ATTENTE_A_29)+gu0.NB_ATTENTE_A_30)+gu0.NB_ATTENTE_A_31)+gu0.NB_ATTENTE_A_32)+gu0.NB_ATTENTE_A_33)+gu0.NB_ATTENTE_A_34)+gu0.NB_ATTENTE_A_35)+gu0.NB_ATTENTE_A_36)+gu0.NB_ATTENTE_A_37)+gu0.NB_ATTENTE_A_38)+gu0.NB_ATTENTE_A_39)+gu0.NB_ATTENTE_A_40)+gu0.NB_ATTENTE_A_41)+gu0.NB_ATTENTE_A_42)+gu0.NB_ATTENTE_A_43)+gu0.NB_ATTENTE_A_44)+gu0.NB_ATTENTE_A_45)+gu0.NB_ATTENTE_A_46)+gu0.NB_ATTENTE_A_47)+gu0.NB_ATTENTE_A_48)+gu0.NB_ATTENTE_A_49)+gu0.NB_ATTENTE_A_50)+gu2.ATTENTE_B_0)+gu2.SUR_PONT_A_0)+gu2.CHOIX_0)+gu2.CHOIX_1)<=((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.NB_ATTENTE_A_0+gu0.NB_ATTENTE_A_1)+gu0.NB_ATTENTE_A_2)+gu0.NB_ATTENTE_A_3)+gu0.NB_ATTENTE_A_4)+gu0.NB_ATTENTE_A_5)+gu0.NB_ATTENTE_A_6)+gu0.NB_ATTENTE_A_7)+gu0.NB_ATTENTE_A_8)+gu0.NB_ATTENTE_A_9)+gu0.NB_ATTENTE_A_10)+gu0.NB_ATTENTE_A_11)+gu0.NB_ATTENTE_A_12)+gu0.NB_ATTENTE_A_13)+gu0.NB_ATTENTE_A_14)+gu0.NB_ATTENTE_A_15)+gu0.NB_ATTENTE_A_16)+gu0.NB_ATTENTE_A_17)+gu0.NB_ATTENTE_A_18)+gu0.NB_ATTENTE_A_19)+gu0.NB_ATTENTE_A_20)+gu0.NB_ATTENTE_A_21)+gu0.NB_ATTENTE_A_22)+gu0.NB_ATTENTE_A_23)+gu0.NB_ATTENTE_A_24)+gu0.NB_ATTENTE_A_25)+gu0.NB_ATTENTE_A_26)+gu0.NB_ATTENTE_A_27)+gu0.NB_ATTENTE_A_28)+gu0.NB_ATTENTE_A_29)+gu0.NB_ATTENTE_A_30)+gu0.NB_ATTENTE_A_31)+gu0.NB_ATTENTE_A_32)+gu0.NB_ATTENTE_A_33)+gu0.NB_ATTENTE_A_34)+gu0.NB_ATTENTE_A_35)+gu0.NB_ATTENTE_A_36)+gu0.NB_ATTENTE_A_37)+gu0.NB_ATTENTE_A_38)+gu0.NB_ATTENTE_A_39)+gu0.NB_ATTENTE_A_40)+gu0.NB_ATTENTE_A_41)+gu0.NB_ATTENTE_A_42)+gu0.NB_ATTENTE_A_43)+gu0.NB_ATTENTE_A_44)+gu0.NB_ATTENTE_A_45)+gu0.NB_ATTENTE_A_46)+gu0.NB_ATTENTE_A_47)+gu0.NB_ATTENTE_A_48)+gu0.NB_ATTENTE_A_49)+gu0.NB_ATTENTE_A_50)+gu2.CONTROLEUR_0)+gu2.CONTROLEUR_1)+gu2.CHOIX_0)+gu2.CHOIX_1))))) * !(AG((((((((((((((((((((((gu2.ROUTE_A_0+gu2.ROUTE_B_0)+gu2.CAPACITE_0)+gu2.SORTI_B_0)+gu2.COMPTEUR_0)+gu2.COMPTEUR_1)+gu2.COMPTEUR_2)+gu2.COMPTEUR_3)+gu2.COMPTEUR_4)+gu2.COMPTEUR_5)+gu2.COMPTEUR_6)+gu2.COMPTEUR_7)+gu2.COMPTEUR_8)+gu2.COMPTEUR_9)+gu2.COMPTEUR_10)+gu2.SUR_PONT_A_0)+gu2.VIDANGE_0)+gu2.VIDANGE_1)+gu2.ATTENTE_B_0)+gu2.CHOIX_0)+gu2.CHOIX_1)<=37))))) * ((((((((((((((((((((((gu2.CONTROLEUR_0+gu2.CONTROLEUR_1)+gu2.SORTI_B_0)+gu0.SORTI_A_0)+gu2.SUR_PONT_A_0)+gu2.ATTENTE_B_0)+gu2.SUR_PONT_B_0)+gu2.CAPACITE_0)+gu2.ROUTE_B_0)+gu2.CHOIX_0)+gu2.CHOIX_1)+gu2.COMPTEUR_0)+gu2.COMPTEUR_1)+gu2.COMPTEUR_2)+gu2.COMPTEUR_3)+gu2.COMPTEUR_4)+gu2.COMPTEUR_5)+gu2.COMPTEUR_6)+gu2.COMPTEUR_7)+gu2.COMPTEUR_8)+gu2.COMPTEUR_9)+gu2.COMPTEUR_10)>38)) * ((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.CAPACITE_0+gu2.ATTENTE_A_0)+gu2.SUR_PONT_A_0)+gu2.CONTROLEUR_0)+gu2.CONTROLEUR_1)+gu1.NB_ATTENTE_B_0)+gu1.NB_ATTENTE_B_1)+gu1.NB_ATTENTE_B_2)+gu1.NB_ATTENTE_B_3)+gu1.NB_ATTENTE_B_4)+gu1.NB_ATTENTE_B_5)+gu1.NB_ATTENTE_B_6)+gu1.NB_ATTENTE_B_7)+gu1.NB_ATTENTE_B_8)+gu1.NB_ATTENTE_B_9)+gu1.NB_ATTENTE_B_10)+gu1.NB_ATTENTE_B_11)+gu1.NB_ATTENTE_B_12)+gu1.NB_ATTENTE_B_13)+gu1.NB_ATTENTE_B_14)+gu1.NB_ATTENTE_B_15)+gu1.NB_ATTENTE_B_16)+gu1.NB_ATTENTE_B_17)+gu1.NB_ATTENTE_B_18)+gu1.NB_ATTENTE_B_19)+gu1.NB_ATTENTE_B_20)+gu1.NB_ATTENTE_B_21)+gu1.NB_ATTENTE_B_22)+gu1.NB_ATTENTE_B_23)+gu1.NB_ATTENTE_B_24)+gu1.NB_ATTENTE_B_25)+gu1.NB_ATTENTE_B_26)+gu1.NB_ATTENTE_B_27)+gu1.NB_ATTENTE_B_28)+gu1.NB_ATTENTE_B_29)+gu1.NB_ATTENTE_B_30)+gu1.NB_ATTENTE_B_31)+gu1.NB_ATTENTE_B_32)+gu1.NB_ATTENTE_B_33)+gu1.NB_ATTENTE_B_34)+gu1.NB_ATTENTE_B_35)+gu1.NB_ATTENTE_B_36)+gu1.NB_ATTENTE_B_37)+gu1.NB_ATTENTE_B_38)+gu1.NB_ATTENTE_B_39)+gu1.NB_ATTENTE_B_40)+gu1.NB_ATTENTE_B_41)+gu1.NB_ATTENTE_B_42)+gu1.NB_ATTENTE_B_43)+gu1.NB_ATTENTE_B_44)+gu1.NB_ATTENTE_B_45)+gu1.NB_ATTENTE_B_46)+gu1.NB_ATTENTE_B_47)+gu1.NB_ATTENTE_B_48)+gu1.NB_ATTENTE_B_49)+gu1.NB_ATTENTE_B_50)>=41))))\n=> equivalent forward existential formula: ([(((FwdU(Init,TRUE) * ((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.CAPACITE_0+gu2.ATTENTE_A_0)+gu2.SUR_PONT_A_0)+gu2.CONTROLEUR_0)+gu2.CONTROLEUR_1)+gu1.NB_ATTENTE_B_0)+gu1.NB_ATTENTE_B_1)+gu1.NB_ATTENTE_B_2)+gu1.NB_ATTENTE_B_3)+gu1.NB_ATTENTE_B_4)+gu1.NB_ATTENTE_B_5)+gu1.NB_ATTENTE_B_6)+gu1.NB_ATTENTE_B_7)+gu1.NB_ATTENTE_B_8)+gu1.NB_ATTENTE_B_9)+gu1.NB_ATTENTE_B_10)+gu1.NB_ATTENTE_B_11)+gu1.NB_ATTENTE_B_12)+gu1.NB_ATTENTE_B_13)+gu1.NB_ATTENTE_B_14)+gu1.NB_ATTENTE_B_15)+gu1.NB_ATTENTE_B_16)+gu1.NB_ATTENTE_B_17)+gu1.NB_ATTENTE_B_18)+gu1.NB_ATTENTE_B_19)+gu1.NB_ATTENTE_B_20)+gu1.NB_ATTENTE_B_21)+gu1.NB_ATTENTE_B_22)+gu1.NB_ATTENTE_B_23)+gu1.NB_ATTENTE_B_24)+gu1.NB_ATTENTE_B_25)+gu1.NB_ATTENTE_B_26)+gu1.NB_ATTENTE_B_27)+gu1.NB_ATTENTE_B_28)+gu1.NB_ATTENTE_B_29)+gu1.NB_ATTENTE_B_30)+gu1.NB_ATTENTE_B_31)+gu1.NB_ATTENTE_B_32)+gu1.NB_ATTENTE_B_33)+gu1.NB_ATTENTE_B_34)+gu1.NB_ATTENTE_B_35)+gu1.NB_ATTENTE_B_36)+gu1.NB_ATTENTE_B_37)+gu1.NB_ATTENTE_B_38)+gu1.NB_ATTENTE_B_39)+gu1.NB_ATTENTE_B_40)+gu1.NB_ATTENTE_B_41)+gu1.NB_ATTENTE_B_42)+gu1.NB_ATTENTE_B_43)+gu1.NB_ATTENTE_B_44)+gu1.NB_ATTENTE_B_45)+gu1.NB_ATTENTE_B_46)+gu1.NB_ATTENTE_B_47)+gu1.NB_ATTENTE_B_48)+gu1.NB_ATTENTE_B_49)+gu1.NB_ATTENTE_B_50)>=41)) * ((((((((((((((((((((((gu2.CONTROLEUR_0+gu2.CONTROLEUR_1)+gu2.SORTI_B_0)+gu0.SORTI_A_0)+gu2.SUR_PONT_A_0)+gu2.ATTENTE_B_0)+gu2.SUR_PONT_B_0)+gu2.CAPACITE_0)+gu2.ROUTE_B_0)+gu2.CHOIX_0)+gu2.CHOIX_1)+gu2.COMPTEUR_0)+gu2.COMPTEUR_1)+gu2.COMPTEUR_2)+gu2.COMPTEUR_3)+gu2.COMPTEUR_4)+gu2.COMPTEUR_5)+gu2.COMPTEUR_6)+gu2.COMPTEUR_7)+gu2.COMPTEUR_8)+gu2.COMPTEUR_9)+gu2.COMPTEUR_10)>38)) * !(E(TRUE U !(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.SORTI_A_0+gu2.VIDANGE_0)+gu2.VIDANGE_1)+gu2.ATTENTE_B_0)+gu2.CONTROLEUR_0)+gu2.CONTROLEUR_1)+gu1.NB_ATTENTE_B_0)+gu1.NB_ATTENTE_B_1)+gu1.NB_ATTENTE_B_2)+gu1.NB_ATTENTE_B_3)+gu1.NB_ATTENTE_B_4)+gu1.NB_ATTENTE_B_5)+gu1.NB_ATTENTE_B_6)+gu1.NB_ATTENTE_B_7)+gu1.NB_ATTENTE_B_8)+gu1.NB_ATTENTE_B_9)+gu1.NB_ATTENTE_B_10)+gu1.NB_ATTENTE_B_11)+gu1.NB_ATTENTE_B_12)+gu1.NB_ATTENTE_B_13)+gu1.NB_ATTENTE_B_14)+gu1.NB_ATTENTE_B_15)+gu1.NB_ATTENTE_B_16)+gu1.NB_ATTENTE_B_17)+gu1.NB_ATTENTE_B_18)+gu1.NB_ATTENTE_B_19)+gu1.NB_ATTENTE_B_20)+gu1.NB_ATTENTE_B_21)+gu1.NB_ATTENTE_B_22)+gu1.NB_ATTENTE_B_23)+gu1.NB_ATTENTE_B_24)+gu1.NB_ATTENTE_B_25)+gu1.NB_ATTENTE_B_26)+gu1.NB_ATTENTE_B_27)+gu1.NB_ATTENTE_B_28)+gu1.NB_ATTENTE_B_29)+gu1.NB_ATTENTE_B_30)+gu1.NB_ATTENTE_B_31)+gu1.NB_ATTENTE_B_32)+gu1.NB_ATTENTE_B_33)+gu1.NB_ATTENTE_B_34)+gu1.NB_ATTENTE_B_35)+gu1.NB_ATTENTE_B_36)+gu1.NB_ATTENTE_B_37)+gu1.NB_ATTENTE_B_38)+gu1.NB_ATTENTE_B_39)+gu1.NB_ATTENTE_B_40)+gu1.NB_ATTENTE_B_41)+gu1.NB_ATTENTE_B_42)+gu1.NB_ATTENTE_B_43)+gu1.NB_ATTENTE_B_44)+gu1.NB_ATTENTE_B_45)+gu1.NB_ATTENTE_B_46)+gu1.NB_ATTENTE_B_47)+gu1.NB_ATTENTE_B_48)+gu1.NB_ATTENTE_B_49)+gu1.NB_ATTENTE_B_50)+gu2.ROUTE_B_0)+gu2.SORTI_B_0)+gu2.ROUTE_A_0)+gu0.NB_ATTENTE_A_0)+gu0.NB_ATTENTE_A_1)+gu0.NB_ATTENTE_A_2)+gu0.NB_ATTENTE_A_3)+gu0.NB_ATTENTE_A_4)+gu0.NB_ATTENTE_A_5)+gu0.NB_ATTENTE_A_6)+gu0.NB_ATTENTE_A_7)+gu0.NB_ATTENTE_A_8)+gu0.NB_ATTENTE_A_9)+gu0.NB_ATTENTE_A_10)+gu0.NB_ATTENTE_A_11)+gu0.NB_ATTENTE_A_12)+gu0.NB_ATTENTE_A_13)+gu0.NB_ATTENTE_A_14)+gu0.NB_ATTENTE_A_15)+gu0.NB_ATTENTE_A_16)+gu0.NB_ATTENTE_A_17)+gu0.NB_ATTENTE_A_18)+gu0.NB_ATTENTE_A_19)+gu0.NB_ATTENTE_A_20)+gu0.NB_ATTENTE_A_21)+gu0.NB_ATTENTE_A_22)+gu0.NB_ATTENTE_A_23)+gu0.NB_ATTENTE_A_24)+gu0.NB_ATTENTE_A_25)+gu0.NB_ATTENTE_A_26)+gu0.NB_ATTENTE_A_27)+gu0.NB_ATTENTE_A_28)+gu0.NB_ATTENTE_A_29)+gu0.NB_ATTENTE_A_30)+gu0.NB_ATTENTE_A_31)+gu0.NB_ATTENTE_A_32)+gu0.NB_ATTENTE_A_33)+gu0.NB_ATTENTE_A_34)+gu0.NB_ATTENTE_A_35)+gu0.NB_ATTENTE_A_36)+gu0.NB_ATTENTE_A_37)+gu0.NB_ATTENTE_A_38)+gu0.NB_ATTENTE_A_39)+gu0.NB_ATTENTE_A_40)+gu0.NB_ATTENTE_A_41)+gu0.NB_ATTENTE_A_42)+gu0.NB_ATTENTE_A_43)+gu0.NB_ATTENTE_A_44)+gu0.NB_ATTENTE_A_45)+gu0.NB_ATTENTE_A_46)+gu0.NB_ATTENTE_A_47)+gu0.NB_ATTENTE_A_48)+gu0.NB_ATTENTE_A_49)+gu0.NB_ATTENTE_A_50)+gu2.CAPACITE_0)>=17)&&((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.CONTROLEUR_0+gu2.CONTROLEUR_1)+gu0.NB_ATTENTE_A_0)+gu0.NB_ATTENTE_A_1)+gu0.NB_ATTENTE_A_2)+gu0.NB_ATTENTE_A_3)+gu0.NB_ATTENTE_A_4)+gu0.NB_ATTENTE_A_5)+gu0.NB_ATTENTE_A_6)+gu0.NB_ATTENTE_A_7)+gu0.NB_ATTENTE_A_8)+gu0.NB_ATTENTE_A_9)+gu0.NB_ATTENTE_A_10)+gu0.NB_ATTENTE_A_11)+gu0.NB_ATTENTE_A_12)+gu0.NB_ATTENTE_A_13)+gu0.NB_ATTENTE_A_14)+gu0.NB_ATTENTE_A_15)+gu0.NB_ATTENTE_A_16)+gu0.NB_ATTENTE_A_17)+gu0.NB_ATTENTE_A_18)+gu0.NB_ATTENTE_A_19)+gu0.NB_ATTENTE_A_20)+gu0.NB_ATTENTE_A_21)+gu0.NB_ATTENTE_A_22)+gu0.NB_ATTENTE_A_23)+gu0.NB_ATTENTE_A_24)+gu0.NB_ATTENTE_A_25)+gu0.NB_ATTENTE_A_26)+gu0.NB_ATTENTE_A_27)+gu0.NB_ATTENTE_A_28)+gu0.NB_ATTENTE_A_29)+gu0.NB_ATTENTE_A_30)+gu0.NB_ATTENTE_A_31)+gu0.NB_ATTENTE_A_32)+gu0.NB_ATTENTE_A_33)+gu0.NB_ATTENTE_A_34)+gu0.NB_ATTENTE_A_35)+gu0.NB_ATTENTE_A_36)+gu0.NB_ATTENTE_A_37)+gu0.NB_ATTENTE_A_38)+gu0.NB_ATTENTE_A_39)+gu0.NB_ATTENTE_A_40)+gu0.NB_ATTENTE_A_41)+gu0.NB_ATTENTE_A_42)+gu0.NB_ATTENTE_A_43)+gu0.NB_ATTENTE_A_44)+gu0.NB_ATTENTE_A_45)+gu0.NB_ATTENTE_A_46)+gu0.NB_ATTENTE_A_47)+gu0.NB_ATTENTE_A_48)+gu0.NB_ATTENTE_A_49)+gu0.NB_ATTENTE_A_50)+gu2.SUR_PONT_A_0)+gu0.SORTI_A_0)+gu2.ROUTE_B_0)+gu1.NB_ATTENTE_B_0)+gu1.NB_ATTENTE_B_1)+gu1.NB_ATTENTE_B_2)+gu1.NB_ATTENTE_B_3)+gu1.NB_ATTENTE_B_4)+gu1.NB_ATTENTE_B_5)+gu1.NB_ATTENTE_B_6)+gu1.NB_ATTENTE_B_7)+gu1.NB_ATTENTE_B_8)+gu1.NB_ATTENTE_B_9)+gu1.NB_ATTENTE_B_10)+gu1.NB_ATTENTE_B_11)+gu1.NB_ATTENTE_B_12)+gu1.NB_ATTENTE_B_13)+gu1.NB_ATTENTE_B_14)+gu1.NB_ATTENTE_B_15)+gu1.NB_ATTENTE_B_16)+gu1.NB_ATTENTE_B_17)+gu1.NB_ATTENTE_B_18)+gu1.NB_ATTENTE_B_19)+gu1.NB_ATTENTE_B_20)+gu1.NB_ATTENTE_B_21)+gu1.NB_ATTENTE_B_22)+gu1.NB_ATTENTE_B_23)+gu1.NB_ATTENTE_B_24)+gu1.NB_ATTENTE_B_25)+gu1.NB_ATTENTE_B_26)+gu1.NB_ATTENTE_B_27)+gu1.NB_ATTENTE_B_28)+gu1.NB_ATTENTE_B_29)+gu1.NB_ATTENTE_B_30)+gu1.NB_ATTENTE_B_31)+gu1.NB_ATTENTE_B_32)+gu1.NB_ATTENTE_B_33)+gu1.NB_ATTENTE_B_34)+gu1.NB_ATTENTE_B_35)+gu1.NB_ATTENTE_B_36)+gu1.NB_ATTENTE_B_37)+gu1.NB_ATTENTE_B_38)+gu1.NB_ATTENTE_B_39)+gu1.NB_ATTENTE_B_40)+gu1.NB_ATTENTE_B_41)+gu1.NB_ATTENTE_B_42)+gu1.NB_ATTENTE_B_43)+gu1.NB_ATTENTE_B_44)+gu1.NB_ATTENTE_B_45)+gu1.NB_ATTENTE_B_46)+gu1.NB_ATTENTE_B_47)+gu1.NB_ATTENTE_B_48)+gu1.NB_ATTENTE_B_49)+gu1.NB_ATTENTE_B_50)+gu2.COMPTEUR_0)+gu2.COMPTEUR_1)+gu2.COMPTEUR_2)+gu2.COMPTEUR_3)+gu2.COMPTEUR_4)+gu2.COMPTEUR_5)+gu2.COMPTEUR_6)+gu2.COMPTEUR_7)+gu2.COMPTEUR_8)+gu2.COMPTEUR_9)+gu2.COMPTEUR_10)>=40))&&(((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.SUR_PONT_A_0+gu2.ROUTE_A_0)+gu0.NB_ATTENTE_A_0)+gu0.NB_ATTENTE_A_1)+gu0.NB_ATTENTE_A_2)+gu0.NB_ATTENTE_A_3)+gu0.NB_ATTENTE_A_4)+gu0.NB_ATTENTE_A_5)+gu0.NB_ATTENTE_A_6)+gu0.NB_ATTENTE_A_7)+gu0.NB_ATTENTE_A_8)+gu0.NB_ATTENTE_A_9)+gu0.NB_ATTENTE_A_10)+gu0.NB_ATTENTE_A_11)+gu0.NB_ATTENTE_A_12)+gu0.NB_ATTENTE_A_13)+gu0.NB_ATTENTE_A_14)+gu0.NB_ATTENTE_A_15)+gu0.NB_ATTENTE_A_16)+gu0.NB_ATTENTE_A_17)+gu0.NB_ATTENTE_A_18)+gu0.NB_ATTENTE_A_19)+gu0.NB_ATTENTE_A_20)+gu0.NB_ATTENTE_A_21)+gu0.NB_ATTENTE_A_22)+gu0.NB_ATTENTE_A_23)+gu0.NB_ATTENTE_A_24)+gu0.NB_ATTENTE_A_25)+gu0.NB_ATTENTE_A_26)+gu0.NB_ATTENTE_A_27)+gu0.NB_ATTENTE_A_28)+gu0.NB_ATTENTE_A_29)+gu0.NB_ATTENTE_A_30)+gu0.NB_ATTENTE_A_31)+gu0.NB_ATTENTE_A_32)+gu0.NB_ATTENTE_A_33)+gu0.NB_ATTENTE_A_34)+gu0.NB_ATTENTE_A_35)+gu0.NB_ATTENTE_A_36)+gu0.NB_ATTENTE_A_37)+gu0.NB_ATTENTE_A_38)+gu0.NB_ATTENTE_A_39)+gu0.NB_ATTENTE_A_40)+gu0.NB_ATTENTE_A_41)+gu0.NB_ATTENTE_A_42)+gu0.NB_ATTENTE_A_43)+gu0.NB_ATTENTE_A_44)+gu0.NB_ATTENTE_A_45)+gu0.NB_ATTENTE_A_46)+gu0.NB_ATTENTE_A_47)+gu0.NB_ATTENTE_A_48)+gu0.NB_ATTENTE_A_49)+gu0.NB_ATTENTE_A_50)+gu2.ATTENTE_A_0)+gu2.SORTI_B_0)<=41))))))] = FALSE * [(FwdU((((FwdU(Init,TRUE) * ((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.CAPACITE_0+gu2.ATTENTE_A_0)+gu2.SUR_PONT_A_0)+gu2.CONTROLEUR_0)+gu2.CONTROLEUR_1)+gu1.NB_ATTENTE_B_0)+gu1.NB_ATTENTE_B_1)+gu1.NB_ATTENTE_B_2)+gu1.NB_ATTENTE_B_3)+gu1.NB_ATTENTE_B_4)+gu1.NB_ATTENTE_B_5)+gu1.NB_ATTENTE_B_6)+gu1.NB_ATTENTE_B_7)+gu1.NB_ATTENTE_B_8)+gu1.NB_ATTENTE_B_9)+gu1.NB_ATTENTE_B_10)+gu1.NB_ATTENTE_B_11)+gu1.NB_ATTENTE_B_12)+gu1.NB_ATTENTE_B_13)+gu1.NB_ATTENTE_B_14)+gu1.NB_ATTENTE_B_15)+gu1.NB_ATTENTE_B_16)+gu1.NB_ATTENTE_B_17)+gu1.NB_ATTENTE_B_18)+gu1.NB_ATTENTE_B_19)+gu1.NB_ATTENTE_B_20)+gu1.NB_ATTENTE_B_21)+gu1.NB_ATTENTE_B_22)+gu1.NB_ATTENTE_B_23)+gu1.NB_ATTENTE_B_24)+gu1.NB_ATTENTE_B_25)+gu1.NB_ATTENTE_B_26)+gu1.NB_ATTENTE_B_27)+gu1.NB_ATTENTE_B_28)+gu1.NB_ATTENTE_B_29)+gu1.NB_ATTENTE_B_30)+gu1.NB_ATTENTE_B_31)+gu1.NB_ATTENTE_B_32)+gu1.NB_ATTENTE_B_33)+gu1.NB_ATTENTE_B_34)+gu1.NB_ATTENTE_B_35)+gu1.NB_ATTENTE_B_36)+gu1.NB_ATTENTE_B_37)+gu1.NB_ATTENTE_B_38)+gu1.NB_ATTENTE_B_39)+gu1.NB_ATTENTE_B_40)+gu1.NB_ATTENTE_B_41)+gu1.NB_ATTENTE_B_42)+gu1.NB_ATTENTE_B_43)+gu1.NB_ATTENTE_B_44)+gu1.NB_ATTENTE_B_45)+gu1.NB_ATTENTE_B_46)+gu1.NB_ATTENTE_B_47)+gu1.NB_ATTENTE_B_48)+gu1.NB_ATTENTE_B_49)+gu1.NB_ATTENTE_B_50)>=41)) * ((((((((((((((((((((((gu2.CONTROLEUR_0+gu2.CONTROLEUR_1)+gu2.SORTI_B_0)+gu0.SORTI_A_0)+gu2.SUR_PONT_A_0)+gu2.ATTENTE_B_0)+gu2.SUR_PONT_B_0)+gu2.CAPACITE_0)+gu2.ROUTE_B_0)+gu2.CHOIX_0)+gu2.CHOIX_1)+gu2.COMPTEUR_0)+gu2.COMPTEUR_1)+gu2.COMPTEUR_2)+gu2.COMPTEUR_3)+gu2.COMPTEUR_4)+gu2.COMPTEUR_5)+gu2.COMPTEUR_6)+gu2.COMPTEUR_7)+gu2.COMPTEUR_8)+gu2.COMPTEUR_9)+gu2.COMPTEUR_10)>38)) * (!(EX(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.SORTI_B_0+gu2.ROUTE_A_0)+gu0.SORTI_A_0)+gu2.ATTENTE_A_0)+gu2.VIDANGE_0)+gu2.VIDANGE_1)+gu1.NB_ATTENTE_B_0)+gu1.NB_ATTENTE_B_1)+gu1.NB_ATTENTE_B_2)+gu1.NB_ATTENTE_B_3)+gu1.NB_ATTENTE_B_4)+gu1.NB_ATTENTE_B_5)+gu1.NB_ATTENTE_B_6)+gu1.NB_ATTENTE_B_7)+gu1.NB_ATTENTE_B_8)+gu1.NB_ATTENTE_B_9)+gu1.NB_ATTENTE_B_10)+gu1.NB_ATTENTE_B_11)+gu1.NB_ATTENTE_B_12)+gu1.NB_ATTENTE_B_13)+gu1.NB_ATTENTE_B_14)+gu1.NB_ATTENTE_B_15)+gu1.NB_ATTENTE_B_16)+gu1.NB_ATTENTE_B_17)+gu1.NB_ATTENTE_B_18)+gu1.NB_ATTENTE_B_19)+gu1.NB_ATTENTE_B_20)+gu1.NB_ATTENTE_B_21)+gu1.NB_ATTENTE_B_22)+gu1.NB_ATTENTE_B_23)+gu1.NB_ATTENTE_B_24)+gu1.NB_ATTENTE_B_25)+gu1.NB_ATTENTE_B_26)+gu1.NB_ATTENTE_B_27)+gu1.NB_ATTENTE_B_28)+gu1.NB_ATTENTE_B_29)+gu1.NB_ATTENTE_B_30)+gu1.NB_ATTENTE_B_31)+gu1.NB_ATTENTE_B_32)+gu1.NB_ATTENTE_B_33)+gu1.NB_ATTENTE_B_34)+gu1.NB_ATTENTE_B_35)+gu1.NB_ATTENTE_B_36)+gu1.NB_ATTENTE_B_37)+gu1.NB_ATTENTE_B_38)+gu1.NB_ATTENTE_B_39)+gu1.NB_ATTENTE_B_40)+gu1.NB_ATTENTE_B_41)+gu1.NB_ATTENTE_B_42)+gu1.NB_ATTENTE_B_43)+gu1.NB_ATTENTE_B_44)+gu1.NB_ATTENTE_B_45)+gu1.NB_ATTENTE_B_46)+gu1.NB_ATTENTE_B_47)+gu1.NB_ATTENTE_B_48)+gu1.NB_ATTENTE_B_49)+gu1.NB_ATTENTE_B_50)+gu0.NB_ATTENTE_A_0)+gu0.NB_ATTENTE_A_1)+gu0.NB_ATTENTE_A_2)+gu0.NB_ATTENTE_A_3)+gu0.NB_ATTENTE_A_4)+gu0.NB_ATTENTE_A_5)+gu0.NB_ATTENTE_A_6)+gu0.NB_ATTENTE_A_7)+gu0.NB_ATTENTE_A_8)+gu0.NB_ATTENTE_A_9)+gu0.NB_ATTENTE_A_10)+gu0.NB_ATTENTE_A_11)+gu0.NB_ATTENTE_A_12)+gu0.NB_ATTENTE_A_13)+gu0.NB_ATTENTE_A_14)+gu0.NB_ATTENTE_A_15)+gu0.NB_ATTENTE_A_16)+gu0.NB_ATTENTE_A_17)+gu0.NB_ATTENTE_A_18)+gu0.NB_ATTENTE_A_19)+gu0.NB_ATTENTE_A_20)+gu0.NB_ATTENTE_A_21)+gu0.NB_ATTENTE_A_22)+gu0.NB_ATTENTE_A_23)+gu0.NB_ATTENTE_A_24)+gu0.NB_ATTENTE_A_25)+gu0.NB_ATTENTE_A_26)+gu0.NB_ATTENTE_A_27)+gu0.NB_ATTENTE_A_28)+gu0.NB_ATTENTE_A_29)+gu0.NB_ATTENTE_A_30)+gu0.NB_ATTENTE_A_31)+gu0.NB_ATTENTE_A_32)+gu0.NB_ATTENTE_A_33)+gu0.NB_ATTENTE_A_34)+gu0.NB_ATTENTE_A_35)+gu0.NB_ATTENTE_A_36)+gu0.NB_ATTENTE_A_37)+gu0.NB_ATTENTE_A_38)+gu0.NB_ATTENTE_A_39)+gu0.NB_ATTENTE_A_40)+gu0.NB_ATTENTE_A_41)+gu0.NB_ATTENTE_A_42)+gu0.NB_ATTENTE_A_43)+gu0.NB_ATTENTE_A_44)+gu0.NB_ATTENTE_A_45)+gu0.NB_ATTENTE_A_46)+gu0.NB_ATTENTE_A_47)+gu0.NB_ATTENTE_A_48)+gu0.NB_ATTENTE_A_49)+gu0.NB_ATTENTE_A_50)<=26))) * !(E(TRUE U ((((((((((((((((((((((((((((((\n[2021-05-11 17:04:21] [INFO ] Applying decomposition\n[2021-05-11 17:04:21] [INFO ] Flatten gal took : 45 ms\n[2021-05-11 17:04:21] [INFO ] Decomposing Gal with order\n[2021-05-11 17:04:21] [INFO ] Rewriting arrays to variables to allow decomposition.\n[2021-05-11 17:04:21] [INFO ] Removed a total of 7230 redundant transitions.\n[2021-05-11 17:04:21] [INFO ] Flatten gal took : 100 ms\n[2021-05-11 17:04:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 20 ms.\n[2021-05-11 17:04:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality11796634983948294474.gal : 8 ms\n[2021-05-11 17:04:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality8700770563224272321.ctl : 3 ms\nInvoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality11796634983948294474.gal, -t, CGAL, -ctl, /tmp/CTLCardinality8700770563224272321.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]\n/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality11796634983948294474.gal -t CGAL -ctl /tmp/CTLCardinality8700770563224272321.ctl --gen-order FOLLOW\n[2021-05-11 17:25:28] [INFO ] Flatten gal took : 379 ms\n[2021-05-11 17:25:29] [INFO ] Input system was already deterministic with 1328 transitions.\n[2021-05-11 17:25:30] [INFO ] Transformed 128 places.\n[2021-05-11 17:25:30] [INFO ] Transformed 1328 transitions.\n[2021-05-11 17:25:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality6081984148451098838.gal : 7 ms\n[2021-05-11 17:25:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality9618026008361887382.ctl : 3 ms\nInvoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality6081984148451098838.gal, -t, CGAL, -ctl, /tmp/CTLCardinality9618026008361887382.ctl, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]\n/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality6081984148451098838.gal -t CGAL -ctl /tmp/CTLCardinality9618026008361887382.ctl --load-order /home/mcc/execution/model.ord --gen-order FOLLOW\necho " Run identifier is r026-tajo-162038143400089"


United States Embassy, Uganda - United States Visa Services\nUS Travel Visas for Citizens of Uganda\nPassport Holders from Uganda require a valid US Travel Visa to visit for tourism or business.\nUS Green Card for Citizens of Uganda\nUS Student Visas for Citizens of Uganda\nAnyone from Uganda wishing to study in US is required to obtain an appropriate Student visa before commencing any course.\nUS Work Visas for Citizens of Uganda\nUS Family Visas for Citizens of Uganda\nUnited States Citizenship and Immigration Services provide spouses, partners, children, parents and relatives of US citizens and permanent residents the opportunity of migrating from Uganda to the US.\nUS Citizens and Residents in Uganda who require consular services can contact the US Embassy in Uganda through the contact details listed below:\nEmbassy of the United States: Kampala, Uganda\nU. S. Embassy Kampala Plot 1577 Ggaba Road Kampala Uganda\nEmbassy of the United States of America U. S. Embassy Plot 1577 Ggaba Road, P.O. Box 7007, Kampala, Uganda Attn: Consular Section\nFor Callers Outside Uganda: 256 414 306001 / 256 312 306001 / 256 414 259791 For Callers Within Uganda: 0414 306001 / 0312 306001 / 0414 259791\nOutside Uganda: 256 414 259 794 Within Uganda: 0414 259 794


Bukedde Online - Abakulira abaliko obulemu e Katalemwa bawanjagidde Gavt. ku musolo\nFlying Squad ekutte 2 ku bubbi bwa bodaboda...\nEbyobugagga bya bbanka ezaggalwa tebirabikako...\n“Tusaba Gavumenti yaffe eya wakati eggye omusolo ku bintu bye tukozesa mu kukola ebintu ebyeyambisibwa abaana n’abantu abaliko obulemu obutali bumu. Tetulina nsimbi ng’ezituyimirizaawo tuzifuna okuva mu buyambi obwenjawulo obuva mu bantu,” Ouma bwe yagambye.\nAbalangira n'Abambejja nga bali wamu n'aba East African Basic Foods nga bakwasa abamu ku baliko obulemu ebintu ebyeyambisibwa mu bulamu obwabulijjo bye baabawadde.\nABAKULIRA ekifo ky’abaliko obulemu ekya Katalemwa Cheshire Home for Rehabilitation Services e Katalemwa bawanjagidde gavumenti okuggya omusolo ku bintu bye beeyambisa okukola ebiyamba abaana okukozesa okuli obugaali mwe batambulira n’ebyuma ebiwanirira amagulu kubanga gubamenya. Cheshire\nBino byayogeddwa akulira Pulogulaamu ezikolebwa mu kifo kino, Bernard Ouma ng’ayaniriza bazzukkulu ba Ssekabaka Daudi Chwa II abaagenzeeyo okukola Bulungibwansi, ku Mmande.\nYagasseeko nti baatuukirira Sipiika wa Palamenti, Rebecca Kadaga ne bamusaba ku nsonga y’emisolo kyokka tebannafuna kuyambibwa bwatyo n’addamu okubakubira omulanga ensonga eno bagitunulemu.\nYe Edward Fredrick Walugembe nga ye mukubiriza w’abavubuka bano, yategeezezza nti basazeewo okwekolamu omulimu oluvannyuma lw’okukitegerako nti ekifo kino kyetaaga obuyambi naddala okulabirira abaana.\n“ Ng’oggyeko Bulungibwansi gwe tukoze mu kifo kino, tuzze n’ebintu ebyenjawulo ebyeyambisibwa okuli eby’okulya, eby’okunywa n’okwambala biweebwe abaana bano. Omulimu ogukolebwa wano muzito nga gwetaaga obuyambi obuwera noolwekyo yenna alina obusobozi asaanye okuyitako wano aleete kyonna kyalina,” Walugembe bwe yategeezezza.\nMu kukola Bulungibwansi ono nga babadde wamu n’aba East African Basic Foods, Walugembe yategeezezza nti babadde bajjukira amazaalibwa ga Ssekabaka Muteesa II ng’ono yali afa nnyo ku bantu abatalina mwasirizi ne basalawo okutambulira mu kikolwa kye kino.\nJoan Apar yalambuzza Abalangira n’Abambejja bano ssaako ebitundu eby’enjawulo ba Naavamwe bakolera emirimu egy’okulabirira abaana mu kifo kino era ne babasaba bakkirize babeere ba ambasada baabwe mu bantu abalala.\nEdward Fredrick Walugembe,\nEast African Basic Foods,\nbazzukkulu ba Ssekabaka Daudi Chwa II


Download Ciza 2022 Songs, Albums, Music Videos & Mixtapes\nDaliwonga & DJ Gazza ft Ciza & Tony Duardo – Superstar\nDaliwonga Superstar Mp3 Download Daliwonga Superstar: Daliwonga and DJ Gazza linked up with Ciza and Tony Duardo on a fresh Amapiano tune named “Superstar”. Download […]\nCiza Passesa Mp3 Download Ciza Passesa: South African music maker Ciza comes through with a brand new Amapiano music offering named “Passesa”. Download & Take […]


Teweerabira Kusabira Bakristaayo Bannaffe Abayigganyizibwa\nEKIGAMBO KYA KATONDA KYA BUGAGGA Yakuwa Alabirira Abantu Be\nEKIGAMBO KYA KATONDA KYA BUGAGGA “Kabaka Alifuga Okuleetawo Obutuukirivu”\nEKIGAMBO KYA KATONDA KYA BUGAGGA Keezeekiya Yaweebwa Emikisa olw’Okwoleka Okukkiriza\nOBULAMU BW’EKIKRISTAAYO “Ai Yakuwa, . . . Nneesiga Ggwe”\nEKIGAMBO KYA KATONDA KYA BUGAGGA Abo Abakooye, Yakuwa Abawa Amaanyi\nOBULAMU BW’EKIKRISTAAYO Teweerabira Kusabira Bakristaayo Bannaffe Abayigganyizibwa\nJjanwali 30–Febwali 5\nObulamu bw'Ekikristaayo n'Obuweereza–Akatabo k'Enkuŋŋaana | Janwali 2017\nBISOME MU Abbey Abui Afrikaans Albanian Alur Amharic Armenian Aukan Aymara Azerbaijani Azerbaijani (Cyrillic) Baoule Bashkir Basque Bassa (Cameroon) Batak (Karo) Batak (Simalungun) Batak (Toba) Belize Kriol Bengali Biak Bicol Bislama Boulou Brazilian Sign Language Bulgarian Bété Cakchiquel (Western) Cambodian Catalan Cebuano Chavacano Chichewa Chinese (Simplified) Chinese (Traditional) Chitonga Chitonga (Malawi) Chitonga (Zimbabwe) Chitumbuka Chiyao Chokwe Chol Chuabo Chuvash Cibemba Cinamwanga Cinyanja Croatian Czech Dangme Danish Dayak Ngaju Digor Douala Drehu Dutch Edo Efik English Esan Estonian Ewe Faroese Fijian Finnish Fon French Ga Galician Garifuna Georgian German Gokana Greek Greenlandic Guarani Guerze Gujarati Gun Haitian Creole Hausa Hebrew Herero Hiligaynon Hindi Hmong (White) Hungarian Iban Ibanag Ibinda Icelandic Igbo Iloko Indonesian Isoko Italian Japanese Javanese Jula Kabiye Kabuverdianu Kachin Kannada Karen (S'gaw) Kazakh Kekchi Khana Kikamba Kikaonde Kikongo Kikuyu Kiluba Kimbundu Kinyarwanda Kipende Kirghiz Kiribati Kirundi Kisi Kisonge Kongo Korean Kpelle Krio Kurdish Kurmanji (Caucasus) Kwangal Kwanyama Kyangonde Lamba Laotian Latvian Lenje Lhukonzo Lingala Lithuanian Lomwe Low German Lucholi Luganda Lunda Lunyankore Luo Luswayiri Luswayiri (Congo) Lutoro Luvale Luwalabu Macedonian Macua Malagasy Malay Malayalam Maltese Mam Mambwe-Lungu Mapudungun Marathi Mauritian Creole Maya Mazatec (Huautla) Mbunda Mende Mixe Mixtec (Guerrero) Mizo Mongolian Moore Myanmar Nahuatl (Central) Nahuatl (Guerrero) Nahuatl (Huasteca) Nahuatl (Northern Puebla) Navajo Ndau Ndebele Ndebele (Zimbabwe) Ndonga Nepali Ngabere Ngangela Nias Nigerian Pidgin Niuean Norwegian Nyaneka Nyungwe Nzema Okpe Oromo Ossetian Otetela Otomi (Mezquital Valley) Pangasinan Papiamento (Curaçao) Persian Pidgin (Cameroon) Polish Portuguese Portuguese (Portugal) Punjabi Quechua (Ancash) Quechua (Ayacucho) Quechua (Bolivia) Quechua (Cuzco) Quiche Quichua (Chimborazo) Quichua (Imbabura) Romanian Romany (Macedonia) Romany (Macedonia) Cyrillic Romany (Serbia) Romany (Southern Greece) Russian Samoan Sangir Sango Saramaccan Sena Sepedi Serbian Serbian (Roman) Sesotho (Lesotho) Sesotho (South Africa) Setswana Seychelles Creole Shona Sidama Silozi Sinhala Slovak Slovenian Soli Solomon Islands Pidgin Spanish Sranantongo Sunda Swati Swedish Tagalog Tahitian Tajiki Tamil Tandroy Tarascan Tatar Telugu Tetun Dili Thai Tigrinya Tiv Tlapanec Tojolabal Tok Pisin Tongan Totonac Tshiluba Tshwa Tsonga Turkish Turkmen Tuvaluan Twi Tzeltal Tzotzil Uighur (Cyrillic) Ukrainian Umbundu Urdu Urhobo Uruund Uzbek Valencian Venda Vezo Vietnamese Wallisian Waray-Waray Wayuunaiki Welsh Wolaita Xhosa Yacouba Yoruba Zande Zapotec (Isthmus) Zapotec (Lachiguiri) Zulu\nBayibuli eraga nti Sitaani yandituyigganyizza ng’ayagala okutulemesa okuweereza Yakuwa. (Yok 15:20; Kub 12:17) Tuyinza tutya okuyamba Bakristaayo bannaffe abayigganyizibwa, abali mu nsi endala? Tuyinza okubasabira. Bayibuli egamba nti: “Okusaba kw’omutuukirivu kulina amaanyi mangi.”—Yak 5:16.\nBiki bye tuyinza okusaba Yakuwa abakolere? Tuyinza okusaba Yakuwa abawe obuvumu era abayambe baleme kutya. (Is 41:10-13) Tuyinza n’okusaba Yakuwa akwate ku mitima gy’ab’obuyinza baleme kuziyiza mulimu gwaffe ogw’okubuulira, “tusobole okubeera mu bulamu obuteefu era obw’emirembe.”—1Ti 2:1, 2.\nPawulo ne Peetero bwe baali bayigganyizibwa, Bakristaayo bannaabwe baabasabira. (Bik 12:5; Bar 15:30, 31) Ne bwe tuba nga tetumanyi mannya ga baganda baffe ne bannyinaffe bonna abayigganyizibwa, bwe tuba tubasabira, tuyinza okwogera amanya g’ebibiina mwe bali, ebitundu mwe bali, oba ensi mwe bali.\nEbikwata ku Bajulirwa ba Yakuwa abayigganyizibwa bisangibwa ku jw.org. (Genda ku NEWSROOM > LEGAL DEVELOPMENTS.)\nEkitundu ku jw.org ekirina omutwe ogugamba nti “Jehovah’s Witnesses Imprisoned for Their Faith—By Location,” kiraga omuwendo gw’Abajulirwa ba Yakuwa abasibiddwa mu makomera n’ensi mwe bali. (Genda ku NEWSROOM > LEGAL DEVELOPMENTS. Nyiga ku linnya ly’ensi omanye ebisingawo era ofune fayiro ya PDF erimu amannya g’ab’oluganda abasibiddwa mu nsi eyo.)\nWandiika amannya g’ensi omuli Abakristaayo abayigganyizibwa b’oyagala okusabira.\nOBULAMU BW'EKIKRISTAAYO N'OBUWEEREZA–AKATABO K'ENKUŊŊAANA Janwali 2017


The DHS Program - Uganda: 2002 Final Report HFS (English) 436\nThe DHS Program > Publications > Uganda: 2002 Final Report HFS (English) 436\nUganda 2002 Final Report HFS (English)\nMinistry of Health - MoH/Uganda, ORC Macro, and John Snow Inc./DELIVER. 2003. Uganda Health Facilities Survey 2002. Calverton, Maryland and Arlington, Virginia, USA: ORC Macro and John Snow Inc./DELIVER.\n2002 Final Report HFS (PDF, 3178K)


A Service Book in Luganda\nOkusaba Enkya Mu Bāna Abato\nA Service-Book in Luganda\n[SERVICE BOOK IN LUGANDA.]\nMorning Prayer (abbreviated)\nAddress (or Sermon)\nLuganda (or Ganda) is one of the major languages of Uganda, spoken by some 3 million people in the province of Buganda, in and around the capitol city of Kampala. Translations of the Book of Common Prayer into Luganda have been made from 1887 down to the present day. One of these (Griffiths 38:5, from 1905) is online at Google Books.\nThis text here is not, strictly speaking, a BCP, but is apparently a service comprised of most of Morning Prayer combined with most of the Litany. It does not appear in Griffiths' Bibliography of the Book of Common Prayer, nor is it listed in Muss-Armolt's The Book of Common Prayer among the Nations of the World.\nThanks are due to Richard Mammana, who provided the text.\nBADEMU BONA WAMU.\nAI Katonda owekisa, nzize mu kifo kino okuwulira nokuiga Ekigambokyo.\nAi Mukama wange, onjigirize. Omwoyogwo Omutukuvu anung’amye mu mazimago, ankumenga mu kubo eryobulamu, kubwa Isa Masiya Omulokozi wange. Amina.\nMuyuze emitima gyamwe, so si byambalo byamwe, mukyukire Mukama Katonda wamwe: kubanga wa kisa era asasira nyo, tayanguwa kusunguwala, akwatibwa nyo ekisa, era akyuka obutaleta bubi. Yo. 2. 13.\nNagolokoka, ning’enda eri kitange, nimugamba nti Kitange, nyononye mu maso gegulu no mu masogo, so sikyasana nate kuitibwa mwanawo. Luk. 15. 18, 19.\n¶ Okwatula kwabantu bona okwogererwa awamu nga bagobereru Omusabisa, bona nga bafukamide.\nAi Kitafe Omuinza webintu byona, era owekisa ekingi: Twakyama okuva mu makubogo ngendiga ezibula; Twagoberera nyo okulowoza nokwegomba ebyemitinia gyafe; Twagana okuwulira amatekago amatukuvu; Twaleka ebyatugwanira okukola: Netukola ebitatugwanira kukola; Songa nobulamu tebuli mufe. Naye gwe, ai Mukama wafe, otudiremu fe abanaku abalina ebibi. Ai Katonda, obasasire abatula okwonona kwabwe. Oba’ze ababonerede; Nga bwewasubiza abantu bona kubwa Masiya Isa Mukama wafe. Ai Kitafe owekisa ekingi, era otubere kubwoyo, Okutanula lero okwegendereza, Nga tukutya gwe, era nga tukola ebyobutukirivu, Erinyalyo etukuvu litenderezebwe. Amina.\nAi Katonda, nanyini kusasira nokusonyiwa, kiriza ebyo byetwegairide nobuwombefu; nafe newakubade ngebibi byafe bitusibide dala ngolujegere, naye olwokusasirakwo nekisakyo ekingi otusumulule; olwekitibwa kya Isa Masiya Omutabaganya era Omuwolereza wafe. Amina.\nKitafe ali mu gulu, Erinyalyo litukuzibwe. Obwakabakabwo buje. Byoyagala babikole munsi, nga bwebabikola mu gulu. Otuwe lero emere yafe eya lero. Otusonyiwe okwonona kwafe, nga fe bwetubasonyiwa abatwonona. Totutwala mu kukemebwa, naye otulokole mu bubi. Kubanga obwakabaka, nobuinza, nekitibwa, bye bibyo, emirembe nemirembe. Amina.\nAi Mukama wafe, otwasamye emimwa gyafe.\nOkudamu. Akamwa kafe nekalyoka kogera amatendogo.\nOmukade. Ai Katonda, yanguwa okutulokola.\nOkudamu. Ai Mukama wafe, yanguwa okutubera,\n¶ Bona nebalyoka maimirira Omukade nayogera nti\nEkitibwa kibe eri Kitafe, neri Omwana; neri Omwoyo Omutukuvu.\nOkudamu. Nga bwekyali oluberyeberye, bwekiri ne kakano, bwekiriba; emirembe nemirembe. Amina.\nOmukade. Mutendereze Mukama wafe.\nOkudamu. Erinya lya Mukama wafe balitendereze.\nVENITE, EXULTEMUS DOMINO. Zabuli 95.\nMuje, tumuimbi- | re Mu- | kama: tusanyukire olwazi lwobu- | loko- | zi bwa- | fe.\nTuje mu masoge no- | kweba- | za: tumusanyu- | kire | ne Za- | buli.\nKubanga Mukama ye Katonda | Omu- | kulu: era Kabaka omukulu, asinga | baka- | tonda bo- | na.\nEnkonko zensi ziri mu mu- | kono- | gwe: nentiiko ze- | nsozi na- | zo zi- ze.\nEnyanja yiye, era | ye yagi- | kola: emikonogye negi- | bumba o- | luka- | lu.\nMuje, tusinze, tu- | vuna- | me: tufukamirire Mukama | Omu- | tonzi | wafe.\nKubanga ye Ka- | tonda | wafe: nafe tuli bantu bedundirolye, era tuli ndiga, | za mu mu- | kono- | gwe.\nLero, obanga munawulira edobozirye, temukaka-nyaza mi- | tima | gyamwe: nga Emeriba, nga ku lunaku Olwe- | masa | mu lu- | kola.\nBajaja bamwe | bweba- | nkema: nebangeza, nebalaba | emi- | rimu | gyange.\nEmyaka amakumi ana nanakuwalira abemi- | rembe | giri: ning’amba nti be bantu abakyama mu mitima gyabwe, so tebana- | manya ma- | kubo | gange.\nKyenava ndaira, | nobu- | sungu: nti tebaliingira mu ku- | wumu- | la kwa- | nge.\nEkitibwa kibe eri Kitafe, neri O- | mwana: neri Omwoyo | Omu- tuku- | vu.\nNga bwekyali oluberyeberye, bwekiri ne kakano, | bweki- | riba: emirembe nemi- | rembe. | Ami- | na.\n¶ Nebalyoka nasoma nedobozi eriwulikika obulungi ekitundu ekosomebwa ekyoluberyeberye, ekigyibwa mu Ndagana Eyeda.\nTukutendereza, | ai Ka- | tonda: twatu- | la nga | gwe Mu- | kama.\nEnsi zona | zikwe- | yanza: Ki- | tafe a- | tagwa- | wo.\nGwe bakukowola Bamalai- | ka bo- | na: Egulu, Namanyi | gona a- | gali- | mu.\nGwe bakukowola | buli- | jo: Bakerubi | ne Ba- | sera- | fi.\nOmutukuvu, Omutukuvu, Omu- | tuku- | vu: Mu-kama, Ka- | tonda o- | wogye | lyona.\nEgulu nensi | biju- | de: obukudu o- | bweki- | tibwa- | kyo.\nAbomulundi ogwekitibwa O- | gwaba- | tume: ba- | kute- | ndere- | za.\nAbekibina ekirungi e- | kya Ba- | nabi: ba- | kute- | ndere- | za.\nEgye edungi Eryaba- | juli- | rwa: ba- | kute- | ndere- | za.\nEkanisa entukuvu eri mu- | nsi zo- | na: e- | kwa- — | — tu- | la.\nKitafe alina obukulu o- | buta- | koma: Omwa-nawe omu yeka, oweki- | tibwa o- | wama- | zima.\nEra Nomwoyo Omu- | tuku- | vu: O- | mu — | sa- nyu- | sa.\nGwe Kabaka o- | weki- | tibwa: ai | — Ma- | si — | ya.\nGwe | wa Ki- | tawo: Omwana | wolu- | bere- | ra.\nBwewakiriza oku- | lokola a- | bantu: tewanyoma lu- | buto | lwa mu- | wala.\nBwewawangula okubalagala | kwolu- | mbe: wabagulirawo abakiriza bona Obwaka- | baka O- | bwomu- | gulu.\nGwotude ku mukono ogwadyo o- | gwa Ka- | tonda: mu ki- | tibwa | kya Ki- | tawo.\nTukiriza | ngoli- | ja: okuba Omu- | lamu- | zi wa- | fe.\nKyetuva tukwegairira okubera a- | badu- | bo; bewanunula nomusaigwo o- | gwomu- | wendo o- | mungi,\nObabalire ku muwendo ogwaba- | tukuvu- | bo: mu kitibwa | eki- | tagwa- | wo.\nAi Mukama wafe, lokola a- | bantu- | bo: obawe omukisa | obu- | sika- | bwo.\nObafuge oba- | gulu- | mize: emi- | renibe | nemi- | rembe.\nBulijo | buli- | jo: tu- | kute- | ndere- | za.\nNerinyalyo | tuli- | sinza: emirembe | egi- | ta- gwa- | wo.\nKiriza, ai Mu- | kama | wafe: okutukuma lero, tuleme o- | kukola | ebi- | bi.\nAi Mu- | kama | wafe: tudire- | mu tu- | dire- | mu.\nAi Mukama wafe, ekisakyo kitu- | tuke- | ko: nga fe | bwetu- | kwesi- | ga.\nAi Mukama wange, | nkwesi- | ze: ensonyi zireme okunkwatu, emi- | rembe | nemi- | rembe.\n¶ Nebalyoka basoma ekitundu ekisomebwa ekyokubiri, ekigyibwa mu Ndagano Empya.\n¶ Nebalyoka baimba oba nebogera Okukiriza Kwabatume, Omusabisa, nabantu wamu nga baimiride.\nNzikiriza Katonda Kitafe Omuinza webintu byona, Omutonzi wegulu Nensi; Ne Isa Masiya Omwanawe omu yeka Mukama wafe, Eyazalibwa omuwala atamanyi musaja Malyamu, eyali olubuto Olwomwoyo Omutukuvu. Nabonyabonyezebwa ku mirembe gya Pontio Pirato; Nakomererwa ku musalaba; Nafa; Nazikibwa; Naka Emagombe mu bafu; Olunaku olwokusatu nazukira mu bafu, Nagenda mu gulu; Atude ku mukono ogwadyo ogwa Katonda Kitafe Omuinza webintu byona; Naye alivayo okukomawo okusala omusango gwabalamu nabafu.\nNzikiriza Omwoyo Omutukuvu; Nekanisa entukuvu Enkatolika; Nokusekimu okwabatukuvu; Nokusonyibwa ebibi; Nokuzukira kwomubiri; Nobulamu obutagwawo. Amina.\n¶ Nebalyoka basaba bwebati, bona nga bafukamide nobuwombefu; Omusabisa ngasoka okwoyera nedobozi dene nti\nMukama wafe abere namwe.\nOkudamu. Abere nomwoyogwo.\nAi Mukama wafe, tudiremu.\nOkudamu. Ai Masiya, tudiremu.\nOmusabisa. Ai Mukama wafe, tudiremu.\nAi Mukama wafe, tusasire.\nOkudamu. Tuwe obulokozibwo.\nOmukade. Ai Mukama wafe, lokola Kabaka.\nOkudamu. Tuwulire nekisakyo bwetukukowola.\nOmukade. Yambaza Abawerezabo obutukirivu.\nOkudamu. Sanyusa abantubo abalonde.\nOmukade. Ai Mukama wafe, lokola abantubo.\nOkudamu. Nobusikabwo, buwe omukisa.\nOmukade. Ai Mukama wafe, tuwe emirembe mu naku zafe.\nOkudamu. Kubanga tewali mulokozi mulala atulwanirira, wabula gwe weka, ai Katonda.\nOmukade. Ai Katonda, otulongose emitima gyafe munda.\nOkudamu. So totugyako Mwoyogwo Mutukuvu.\n¶ Soma wano Esāla eyolunaku gundi.\nEkyokusaba ekyokubiri, kye kisaba emirembe.\nAi Katonda, aleta emirembe ayagala abantu okutabagana wamu, okumanya gwe bwe bulamu obutagwawo, nabadubo be balina edembe dala; Fe abadubo abawombefu, tuzibire eri abalabe bafe buli webatulumbira; fe nga twesigira dala okuzibirakwo, tuleme okutya amanyi gona agabalabe bafe, olwobuinza bwa Isa Masiya Mukama wafe. Amina.\nEkyokusaba ekyokusatu, kye kisaba ekisa.\nAi Mukama wafe, Kitafe owomugulu, Katonda Omuinza webintu byona atagwawo, gwatutusi’za nga tuli balamu ku lunaku luno werusokera; Lero tuzibire namanyigo; tubere tuleme okwonona lero, newakubade okuingira mu kabi kona; naye buli kyetukola, kirung’amye mu kufugakwo tukole bulijo ebiri mu masogo ebyobutukirivu; kubwa Isa Masiya Mukama wafe. Amina.\nAI Obusatu Obutukuvu, obutenderezebwa obwekitibwa, Baperesona basatu era Katonda omu: otusasire fe abanaku abalina ebibi.\nTulokole mu bubi bwona ne mu katali; ne mu kwonona ne munkwe za Setani, nokulumbakwe; ne mu busungubwo, nokukolimirwa okwemirembe nemirembe,\nMukama wafe omulungi, otulokole.\nOlwokutwalakwo omubiri okutukuvu okutategerekeka; nolwokuzalibwakwo okutukuvu nokukomolebwa; nolwokubatizibwakwo nokusiba nokukemebwa,\nOlwokubonyabouyezebwakwo nentuyuzo ezomusai; nolwomusalabagwo nolwobulumibwo; nolwokufakwo okwomuwendo omungi nokuzikibwakwo; nolwokuzukirakwo okwekitibwa nokugenda mu gulu; nolwokuja Kwomwoyo Omutukuvu,\nOkirize okumukuma nokumuwa amanyi omuduwo kabaka wafe, DAUDI, akusinze amazima, abere nobutukirivu nobutukuvu;\nAi Mukama wafe omulungi, tukwegairide otuwulire.\nOkirize okufuga omutimagwe, akukirize, akutye, akwagale, akwesige bulijo, agoberere ekitibwakyo notendolyo enakuze zona;\nOkirize okubawa omukisa Namasole, Lubuga, abalangira, nabambeja, ne baganda ba kabaka bona;\nOkirize okwakira Abalabirizi, Nabakade, Nabawereza, bamanyire dala Ekigambokyo, bakitegere; bakyolese nebigambo byebaigiriza era nebyebakola;\nOkirize okutuwa omutima ogukwagala, ogukutya, tunyikire okuwulira amatekago;\nOkirize okuzibira, nokubera, nokusanyusa abantu bona abali mu kabi ne mu naku ne mu kubonyabonyezebwa;\nOkirize okukuma bona abatambula ku lukalu ne ku nyanja, abakazi bona abalumwa okuzala, abalwade nabana abato bona; nokubasasira abasibe nabanyage bona;\nOkirize okukuma abana abafuzi, ne banamwandu bona, ne bona abafiridwa nabajogebwa;\nOkirize okusonyiwa abatukyawa, nabatuiganya, nabatuwairiza, nokukyusa emitima gyabwe;\nOkirize okutuwa, nokututerekera emere enungi eyensi, tulyoke tugirye ngeyengede;\nOmwana wa Katonda; tukwegairide otuwulire.\nAi Omwana gwendiga owa Katonda; agyawo ebibi Byensi;\nEkitibwa kibe eri Kitafe, neri Omwana: neri Omwoyo Omutukuvu.\nNga bwekyali oluberyeberye, bwekiri ne kakano, bwekiriba: emirembe nemirembe. Amina.\n¶ Ekyokwebaza ekyabantu bona.\nAi Katonda Omuinza webintu byona, Kitafe owekisa kyona, fe abadubo abatasana tukwebaza nobuwombefu namazima, olwobulungibwo bwona nekisakyo kyewatuwa fe nabantu bona; [*era okusingawo olwabo abagala kakano okukuwa sadaka eyokutendereza nokwebaza olwokusasira kwewabalaga.] Tukutenderoza kubanga watutonda, notukuma, nolwemikisa gyona egyomunsi muno; nayo okusinga enyo, kubanga wanunula Ensi zona, mu kwagalakwo okutasingika, kubwa Mukama wafe Isa Masiya; tukutendereza olwebyo ebituwesa ekisakyo era nolwokusubira ekitibwakyo. Era tukwegairira otuwe okutegera okusasirakwo kwona bwekuli, emitima gyafe gikwebaze amazima, twolese otendolyo, mu bigambo byafe byetwogera era naye mwebyo byetukola; tweweyo okukuwerezanga, tutambulire mu masogo nobutukuvu nobutukirivu, enaku zafe zona; kubwa Isa Masiya, Mukama wafe; awerwe wamu nawe Nomwoyo Omutukuvu, ekitibwa kyona netendo lyona, emirembo egitakoma. Amina.\nEkyokusaba ekya Kirusositomu.\nAi Katonda Omuinza webintu byona, atuwade ekisa kakano okusaba fena mu masogo nememe emu; eyasubiza, webabanga babiri obanga basatu nga bakung’anye wamu mu Linyalyo, okubawa byebasaba. Ai Mukama wafe, kiriza kakano okutuwa byetwagala nebyetwegairira, nga bwebiritusanira; tuwe munsi muno okumanya ainazimago, ne mu bwakabakabwo obugenda okuja tuwe obulamu obutsigwawo. Amina.\n2 Kol. 13. 14.\nEkisa kya Mukama wafe Isa Masiya, nokwagala kwa Katonda, nokusekimu Kwomwoyo Omutukuvu, bibere nafe fena, emirembe egitagwawo. Amina.\nTUSABE. [Prayer and Blessing]\nEkyokusaba nga bagenda okubulira.\nAi Katonda, kubanga tetuinza kusimibwa gwe wabula nga gwotubede; okirize olwekisakyo Omwoyogwo Omutukuvu alung’amye emitima gyafe agifuge mu bigambo byona; kubwa Isa Masiya Mukama wafe. Amina.\n¶ Bwebabanga baimba oluimba luno nebakung’anya ebirabo ebya abantu.\nTuwe, tukwegairide, Katonda Omuinza webintu byona, ebigambo byetuwulide lero namatu gafe kungulu bisigibwe bwebityo mu mitima gyafe munda olwekisakyo, bibalire mufe ebibala ebyempisa enungi, Erinyalyo ligulumizibwe litenderezebwe; kubwa Isa Masiya Mukama wafe. Amina.\nMukama atuwe omukisa, atukume; Mukama atwakize amasoge, atukwatirwe ekisa. Mukama atuimusize obwenyibwe, atuwe emirembe, kakano nenaku zona. Amina.


NATIECANE livejasmin AnnaFRANSNICKOJJONES livejasmin MYBEATY4UGabriellaNicols livejasmin EdytheLowekarinhotLatinx livejasmin AdorableMaryMyB0ylollipop livejasmin JasperTwinkJuicyEvelyn livejasmin SweetGoldstars\ncheneyL livejasmin ReynaAmorMyB0ylollipop livejasmin NATHANXDBIGAussieFinder livejasmin MetroManAedanMagicLady25 livejasmin StrongCum4UMagicLady25 livejasmin MattureELLAValeriaGirl livejasmin NICKOJJONES\nNaomiGil . Sexychicblack18. Sekrett. AllureYoung.\nLaurenAngelHotAnettValeryLoveeMissMariem .MathewCornerStrongCum4UOnexBeautifulsexysamantaboobs .FrenchboymatViallettaaaKateHavenShenLee .1YoungBaby11YoungBaby1ValeriaGirlLatin2BoysXX .NATHANXDBIGMagicLady25MathewCornerJasperTwink .ENEASMetroManAedanfenixxTanjaLetsWrestleNaked .SharonBillLaurenAngelMISTRESSforSLAVEDominicQ .ViallettaaaVladAndNatalieSekrettcheneyL .montsefererroDollsquirt10MathewCornerJuicyEvelyn .AngelLarysse1YoungBaby1EveFromDreamcheneyL .YaryneAmazingRoxaneChaseOnexBeautifulHotAnett .\n1YoungBaby1 VideoLessieParks VideoAngelAlisson Videoemma25 VideoEroBoom VideoWondrousPaula Video\nAngelynneRosse Videotattoooctavia VideoAngelAlisson VideoAllo4kka VideoENEAS VideoAllureYoung Video\nMYBEATY4UcobyralandfernadCarlaAndBlaiLarimosa .emma25LaurenAngellatinwlidcolombiViallettaaa .CinddyGlamMaraSexy10SimonBadCockreleif .MathewCornertattoooctaviaBabyJasmineENEAS .CockreleifJullieAngelKateHavenLetsWrestleNaked .SexyAsianKCMissXEleganceMattureELLALeylaMuslim .a0MeltWithMebibianahCinddyGlamEroBoom .NATIECANECarissaRaeLuana69ValeryLovee .MyB0ylollipopSexychicblack18DirtyJonSweetGoldstars .EdytheLoweAussieFindercheneyLEveFromDream .SweetGoldstarsIloveHARDLaurenAngelGabriellaNicols .


Cathimeris - WaspWeb\n(Life: Kingdom: Metazoa (animals); Phylum: Arthropoda; Class: Hexapoda; Order: Hymenoptera; Superfamily: Vespoidea; Family: Scoliidae; Subfamily: Scoliinae; Tribe: Campsomerini)\nCathimeris Betrem, 1971.\nSubgenus Cathimeris Betrem, 1972\nCathimeris (Cathimeris) accraensis Betrem, 1972 (Ghana)\nCathimeris (Cathimeris) bredoi Betrem, 1972 (Democratic Republic of Congo)\nCathimeris (Cathimeris) betremi Betrem, 1972 (Democratic Republic of Congo, Uganda)\nCathimeris (Cathimeris) capensis (de Saussure, 1858) (Lesotho, Mozambique, South Africa)\nCathimeris (Cathimeris) clotho clotho (de Saussure, 1859) (Burundi, Kenya, Mozambique, South Africa, Tanzania, Uganda, Zambia, Zimbabwe)\nCathimeris (Cathimeris) clotho entebbensis Betrem, 1972 (Uganda)\nCathimeris (Cathimeris) clotho ghindae Betrem, 1972 (Ethiopia, Sudan)\nCathimeris (Cathimeris) clotho aberdarensis Betrem, 1972 (Kenya, Tanzania, Uganda)\nCathimeris (Cathimeris) clotho pediflavata Betrem, 1972 (Kenya, Nairobi, Uganda)\nCathimeris (Cathimeris) clotho glaucocincta (Bischoff, 1911) (Rwanda)\nCathimeris (Cathimeris) deserta deserta (Tullgr., 1904) (Cameroon, Democratic Republic of Congo, Gabon, Ivory Coast, Nigeria, Rwanda, Sierra Leone, South Africa, Uganda, Zimbabwe)\nCathimeris (Cathimeris) deserta viridis Betrem, 1972 (Senegal)\nCathimeris (Cathimeris) dispilus Cameron, (Tanzania)\nCathimeris (Cathimeris) hymenaea hymenaea (Gerstaecker, 1871) (Burundi, Cameroon, Central African Republic, Democratic Republic of Congo, Eritrea, Ethiopia, Gabon, Gambia, Guinea, Kenya, Liberia, Malawi, Mozambique, Nigeria, Senegal, Sierra Leone, South Africa, Tanzania, Uganda, Zanzibar, Zimbabwe)\nCathimeris (Cathimeris) hymenaea bradleyana Betrem, 1972 (Burundi, Democratic Republic of Congo, Kenya, Malawi, Mozambique, South Africa, Uganda, Zambia, Zanzibar, Zimbabwe)\nCathimeris (Cathimeris) hymenaea afroccidentalis Betrem, 1972 (Democratic Republic of Congo, Gabon, Gambia, Ghana, Ivory Coast, Nigeria, Senegal, Sierra Leone)\nCathimeris (Cathimeris) lachesis lachesis (de Saussure, 1859) (Democratic Republic of Congo, Ethiopia, Kenya, Malawi, Mozambique, Nigeria, South Africa, Tanzania, Uganda, Zambia, Zanzibar, Zimbabwe)\nCathimeris (Cathimeris) lachesis corrupta Betrem, 1972 (Burundi, Democratic Republic of Congo, Gabon, Liberia, Malawi, Nigeria, Zimbabwe)\nCathimeris (Cathimeris) masaica (Cameron, 1910) (Democratic Republic of Congo, Djibouti, Eritrea, Ethiopia, South Africa, Tanzania, Uganda, Zimbabwe)\nCathimeris (Cathimeris) pseudocapensis Betrem, 1972 (South Africa, Zimbabwe)\nCathimeris (Cathimeris) sjoestedti (Cameron, 1910) (Ethiopia, Kenya, Tanzania)\nSubgenus Garantimeris Betrem, 1972\nCathimeris (Garantimeris) auraria (de Saussure, 1858) (Democratic Republic of Congo, Nigeria, Sierra Leone, Uganda)\nCathimeris (Garantimeris) garamantica Betrem, 1971 (Cameroon)\nBurundi, Cameroon, Central African Republic, Democratic Republic of Congo, Eritrea, Ethiopia, Gabon, Gambia, Ghana, Guinea, Ivory Coast, Kenya, Lesotho, Liberia, Malawi, Mozambique, Nairobi, Nigeria, Rwanda, Senegal, Sierra Leone, South Africa, Sudan, Tanzania, Uganda, Zambia, Zanzibar, Zimbabwe.\nMadl, M. 2018. A preliminary catalogue of the Hymenoptera (Insecta) of the Republic of Djibouti, Linzer biologische Beiträge 50: 907-967.\nPhotographs © Iziko Museums of South Africa.


dr-gooya-tawala Videos - Watch Any Format Videos\nPosted 8 year ago by MrLinkVideo\nDR GOOYA TAWALA\nDR GOOYA TAWALA Video watch and learn with MP4,3GP format.You can watch online DR GOOYA TAWALA video to free learn\nPosted 8 year ago by Gooyah1\nD-R GOOYA - TAWALA.avi\nD-R GOOYA - TAWALA.avi Video watch and learn with MP4,3GP format.You can watch online D-R GOOYA - TAWALA.avi video to free learn\n"Tawala" meaning "Reign" It's a prayer to God asking Him to reign in every single aspect of our lives. For more D-R Gooya Swahili and some English songs you ...\nPosted 8 year ago by juicethadj\nmejja-landlord Video watch and learn with MP4,3GP format.You can watch online mejja-landlord video to free learn\nbila balaa...nakunywa kahawa na kaimati..omondi siunitupie mkopo anotha hilarous mejja hit.\nPosted 7 year ago by LB FILMS\nMfalme - Gooya Feat. Jannekah & Samu...\nMfalme - Gooya Feat. Jannekah & Samukat (Official Video).HD Video watch and learn with MP4,3GP format.You can watch online Mfalme - Gooya Feat. Jannekah & Samukat (Official Video).HD video to free learn\nMusic video by Gooya featuring Jannekah and Samukat performing "Mfalme". Directed By: Young Wallace (C) 2012 LB Films. Production Company: LB Films.\nGooya feat. Jannekah - Ni Yesu (Official...\nGooya feat. Jannekah - Ni Yesu (Official Video).HD Video watch and learn with MP4,3GP format.You can watch online Gooya feat. Jannekah - Ni Yesu (Official Video).HD video to free learn\nMusic video by Gooya featuring Jannekah performing Ni Yesu. Directed By: Young Wallace (C) 2012 LB Films. Production Company: LB Films.\nPosted 8 year ago by jeffking5\nD R Gooya Ft Bamdogo Inuka Tena Offic...\nD R Gooya Ft Bamdogo Inuka Tena Official video YouTube Video watch and learn with MP4,3GP format.You can watch online D R Gooya Ft Bamdogo Inuka Tena Official video YouTube video to free learn\nPosted 2 year ago by BUZU TV\nPASTOR GOOYA TAWALA AT MTBC MOSHI\nPASTOR GOOYA TAWALA AT MTBC MOSHI Video watch and learn with MP4,3GP format.You can watch online PASTOR GOOYA TAWALA AT MTBC MOSHI video to free learn\nPosted 7 year ago by Guya\nGuya feat. Jannekah - Ni Yesu |Official ...\nGuya feat. Jannekah - Ni Yesu |Official Video| Video watch and learn with MP4,3GP format.You can watch online Guya feat. Jannekah - Ni Yesu |Official Video| video to free learn\nGuya ft: Jannekah Song: Ni Yesu [It's Jesus] @guyamartin.\nPosted 6 year ago by Gooya\nGooya - Mfalme - ft Jannekah & Samuk...\nGooya - Mfalme - ft Jannekah & Samukat Official Video Video watch and learn with MP4,3GP format.You can watch online Gooya - Mfalme - ft Jannekah & Samukat Official Video video to free learn\nPosted 1 year ago by Emmanuel Elieza\n#Tawala yesu Tawala#\n#Tawala yesu Tawala# Video watch and learn with MP4,3GP format.You can watch online #Tawala yesu Tawala# video to free learn\nPosted 8 year ago by SisiTVdotnet\nNifungue - Alemba & Sadic feat Qaber...\nNifungue - Alemba & Sadic feat Qaberere Teaser Video watch and learn with MP4,3GP format.You can watch online Nifungue - Alemba & Sadic feat Qaberere Teaser video to free learn\nPosted 5 year ago by Guya\nGuya ft Jannekah - Faithful |Official Vi...\nGuya ft Jannekah - Faithful |Official Video| Video watch and learn with MP4,3GP format.You can watch online Guya ft Jannekah - Faithful |Official Video| video to free learn\nA ProSeed Film.\nThis paragraph dr-gooya-tawala is totally about dr-gooya-tawala. Related Videos for dr-gooya-tawala - You have look for videos dr-gooya-tawala especially. Most relevant thousands videos Results according to your search dr-gooya-tawala videos are available on these pages. Perfect Results of dr-gooya-tawala Videos and Clips.Convert MP3 audio ,MP4 video dr-gooya-tawala Free with AnyFormat convertor. View and Download dr-gooya-tawala with HD format Video. repeat a paragraph again please read carefully dr-gooya-tawala real topic. Related Videos for dr-gooya-tawala - You have look for videos dr-gooya-tawala especially. Most relevant thousands videos Results according to your search dr-gooya-tawala videos are available on these pages. Perfect Results of dr-gooya-tawala Videos and Clips.Convert MP3 audio ,MP4 video dr-gooya-tawala Free with AnyFormat convertor. View and Download dr-gooya-tawala with HD format Video.\nMany of people search Related Videos for dr-gooya-tawala - You have look for videos dr-gooya-tawala especially. Most relevant thousands videos Results according to your search dr-gooya-tawala videos are available on these pages. Perfect Results of dr-gooya-tawala Videos and Clips.Convert MP3 audio ,MP4 video dr-gooya-tawala Free with AnyFormat convertor. View and Download dr-gooya-tawala with HD format Video. videos, some internet user want to listien music related Related Videos for dr-gooya-tawala - You have look for videos dr-gooya-tawala especially. Most relevant thousands videos Results according to your search dr-gooya-tawala videos are available on these pages. Perfect Results of dr-gooya-tawala Videos and Clips.Convert MP3 audio ,MP4 video dr-gooya-tawala Free with AnyFormat convertor. View and Download dr-gooya-tawala with HD format Video.,other people want to download videos about Related Videos for dr-gooya-tawala - You have look for videos dr-gooya-tawala especially. Most relevant thousands videos Results according to your search dr-gooya-tawala videos are available on these pages. Perfect Results of dr-gooya-tawala Videos and Clips.Convert MP3 audio ,MP4 video dr-gooya-tawala Free with AnyFormat convertor. View and Download dr-gooya-tawala with HD format Video.. You can listen Related Videos for dr-gooya-tawala - You have look for videos dr-gooya-tawala especially. Most relevant thousands videos Results according to your search dr-gooya-tawala videos are available on these pages. Perfect Results of dr-gooya-tawala Videos and Clips.Convert MP3 audio ,MP4 video dr-gooya-tawala Free with AnyFormat convertor. View and Download dr-gooya-tawala with HD format Video. music, download Related Videos for dr-gooya-tawala - You have look for videos dr-gooya-tawala especially. Most relevant thousands videos Results according to your search dr-gooya-tawala videos are available on these pages. Perfect Results of dr-gooya-tawala Videos and Clips.Convert MP3 audio ,MP4 video dr-gooya-tawala Free with AnyFormat convertor. View and Download dr-gooya-tawala with HD format Video. videos and conver Related Videos for dr-gooya-tawala - You have look for videos dr-gooya-tawala especially. Most relevant thousands videos Results according to your search dr-gooya-tawala videos are available on these pages. Perfect Results of dr-gooya-tawala Videos and Clips.Convert MP3 audio ,MP4 video dr-gooya-tawala Free with AnyFormat convertor. View and Download dr-gooya-tawala with HD format Video. video to mp3 on anyformat.net.\ndr tawaladr gooya tawala\nRelated Videos for dr-gooya-tawala - You have look for videos dr-gooya-tawala especially. Most relevant thousands videos Results according to your search dr-gooya-tawala videos are available on these pages. Perfect Results of dr-gooya-tawala Videos and Clips.Convert MP3 audio ,MP4 video dr-gooya-tawala Free with AnyFormat convertor. View and Download dr-gooya-tawala with HD format Video.


Псалтирь 107 NRT - Zabbuli 107 LCB | Biblica América Latina\nПсалтирь 107 NRT - Zabbuli 107 LCB\n1Песнь. Псалом Давида.\n2Сердце мое твердо, Боже;\nбуду петь и играть душой моей[a].\n4Прославлю Тебя, Господи, среди народов,\n5потому что милость Твоя превыше небес\n7Сохрани нас правой рукой Своей и ответь нам,\nи долину Суккот размерю[b].\nИуда – Мой скипетр[c].\nна Эдом Я брошу Мою сандалию[d],\n12Не Ты ли, Боже, Который нас отринул\n107:2 Букв.: «в славе моей».\n107:8 Шехем здесь представляет всю территорию на западе от реки Иордана, а долина Суккот – на востоке.\n107:9 Галаад – земля на востоке Иордана. Роду Манассии принадлежала часть этой земли. Роду Ефрема принадлежала земля западнее Иордана, представляющая собой северное царство Израиля. Роду Иуды принадлежала южная часть этой земли западнее Иордана.\n107:10 В древние времена существовал обычай, символизирующий заключение сделки о земельном участке. При этом продавец давал свою сандалию покупателю. Возможно об этом обычае и упомянуто в этом стихе.\nNRT : Псалтирь 107\n2 Kale abanunule ba Mukama boogere bwe batyo;\n3 abo be yakuŋŋaanya mu mawanga; okuva Ebugwanjuba n’Ebuvanjuba,\n4 Abamu baataataaganira mu malungu\n5 Baalumwa ennyonta n’enjala,\n6 Bwe batyo ne bakaabira Mukama nga bali mu kabi;\n7 Yabakulembera butereevu\n8 Kale singa beebazanga Mukama olw’okwagala kwe okutaggwaawo,\n9 Kubanga abalina ennyonta abanywesa,\n10 Abamu baatuulanga mu kizikiza ne mu kisiikirize eky’okufa;\n11 kubanga baajeemera ekigambo kya Katonda,\n12 Baakozesebwa emirimu egy’amaanyi, emitima gyabwe ne gijjula obuyinike;\n13 Bwe batyo ne bakaabirira Mukama nga bali mu bizibu byabwe,\n14 n’abaggya mu kizikiza ne mu kisiikirize eky’okufa;\n15 Kale singa beebazanga Mukama olw’okwagala kwe okutaggwaawo,\n16 Kubanga enzigi ez’ebikomo azaasaayasa,\n17 Abamu baafuuka basirusiru olw’obujeemu bwabwe;\n18 Ne batamwa emmere yonna, ne babulako katono ddala okufa.\n19 Bwe batyo ne bakaabirira Mukama nga bali mu buzibu obwo,\n20 Yabatumira ekigambo kye, n’awonya endwadde zaabwe;\n21 Kale singa beebazanga Mukama olw’okwagala kwe okutaggwaawo,\n22 Bamuleeterenga ebiweebwayo eby’okwebaza,\n23 Abalala baasaabalira mu maato ku nnyanja;\n24 Baalaba Mukama bye yakola,\n25 Kubanga yalagira omuyaga\n26 Ne gagulumira okutuuka ku ggulu, ate ne gakka wansi mu ddubi;\n27 Ne beesunda, eruuyi n’eruuyi ne baba ng’omutamiivu atagala;\n28 Bwe batyo ne bakaabira Mukama nga bali mu buzibu;\n29 Omuyaga yagusirisa,\n30 Ne bajjula essanyu kubanga ennyanja yateeka;\n31 Kale singa abantu beebazanga Mukama olw’okwagala kwe okutaggwaawo,\n32 Bamugulumizenga ng’abantu bakuŋŋaanye,\n33 Afuula emigga amalungu,\n34 ensi engimu n’agifuula olukoola olw’olunnyo\n35 Eddungu yalijjuza ebidiba by’amazzi,\n36 abalina enjala n’abateeka omwo,\n37 ennimiro zaabwe ne bazisigamu emmere, ne basimba emizabbibu,\n38 Yabawa omukisa gwe, ne beeyongera obungi;\n39 Ate ne bakendeera obungi, ne bakkakkanyizibwa\n40 oyo anyooma n’abakungu,\n41 Naye abaali mu kwetaaga yabamalako ennaku n’okubonaabona,\n42 Abagolokofu, bino babiraba ne basanyuka;\n43 Abalina amagezi bonna, bagondere ebigambo bino


Sajjad Karim’s message for Pakistan Day - 23rd March 2018 | Sajjad Karim MEP\nEmbedded video for Sajjad Karim’s message for Pakistan Day - 23rd March 2018\n"He wanted to see a society which was open, tolerant and provided opportunity for all. Where everybody was equal. I myself have actually quoted him from the floor of this House as a beacon, not just for Pakistan but for all countries to follow and I really do long for the day when I see the realisation of the Quaid's Pakistan.\n"I long for the day when the children of bus conductors, bus drivers, taxi drivers, waiters, can within one generation be sitting in the highest seats in Pakistan because the state has developed them into that position, where based upon their individual merits they have been able to achieve those highest positions.\n"I believe it can happen and I believe it will happen. I know the resilience of the people of Pakistan and I know the tremendous ability that exists within the people of Pakistan. What they need is a belief and a vision. With the circumstances that are emerging in the world today no nation can survive unless it develops its people. And Pakistan is no different. I believe this can happen and Insh'Allah it will happen.\n"Long Live Pakistan!"


Zakes Bantwini & Kasango Ft Dj Obza – Osama (amapiano Remix) Mp3 Download + Lyrics | Ptmusic.co.za\nFree Download Zakes Bantwini Osama (amapiano Remix) Mp3 Download.\nTalented ZA Singer, Zakes Bantwini Return With Yet Another Brand New Song Titled “Osama (amapiano Remix) Mp3” and it’s right here on Ptmusic for your fast download.\nListen & Download Osama (amapiano Remix) Mp3 Download by Zakes Bantwini Below.\nDOWNLOAD MP3: Zakes Bantwini & Kasango Ft Dj Obza – Osama (amapiano Remix)


Thompson Center™ T17 Starter Kit - Muzzleloader Kit | 9854 | Muzzle-Loaders.com\nHome Thompson Center™ T17 Starter Kit - Muzzleloader Accessory Kit - 9854\nThompson Center™ T17 Starter Kit - Muzzleloader Accessory Kit - 9854\nSmall cleaning accessory kit for your muzzleloader\nIncludes many cleaning essentials for your rifle\nThe Thompson Center® T17 Starter Kit provides many of the essential accessories you will need to clean and maintain your muzzleloader at home or in the field.\nThe T17™ Starter Kit Includes: 1 - Super Jag, 1 - Bronze Bore Brush, 1 - Cotton Bore Swab, 1 - Silicone Saturated Gun Cloth, 25 - Presaturated Cleaning Patches, 20 - Dry Cotton Patches, T-17 Anti-Sieze Breech Plug Grease, 1 - Breech Plug Thread Cleaning Tool. To keep your Muzzleloader in prime condition, the Thompson Center® T17 Starter Kit fits the bill.\nJag 1 - SUPER JAG\nSilicone Saturated Gun Cloth INCLUDED\nPresaturated Cleaning Patches PACK OF 25\nCotton Cleaning Patches 50\nDry Cotton Patches 20 PATCHES\nT-17 Anti-Sieze Breech Plug Grease ONE TUBE\nBreech Plug Thread Cleaning Tool INCLUDED\nT17™ Breech Grease\nMaintains your threads & prevents seizure\nBore Bursh & Swab\n.50 Caliber brushes for cleaning your bore\n50-2 1/2" dry cleaning patches\nKeep your breech threads fouling free\nFor loading and cleaning your muzzleloader


Daliwonga Abo Mvelo Mp3 Download Daliwonga Abo Mvelo: Daliwonga teamed up with Mellow & Sleazy and M.J on this new Amapiano track titled “Abo Mvelo”. Download […]\nMellow & Sleazy Lobola Mp3 Download Mellow & Sleazy Lobola: Mellow & Sleazy featured Daliwonga and M.J on this brand new Amapiano track titled “Lobola”. […]\nQuayR Musiq Umoya Mp3 Download QuayR Musiq Umoya: QuayR Musiq and Dalootz worked together with M.J, Mellow & Sleazy on a new Amapiano track named “Umoya”. […]\nQuayR Musiq Agak’Deservi Mp3 Download QuayR Musiq Agak’Deservi: QuayR Musiq, Dalootz, and M.J worked together on a brand new Amapiano track named “Agak’Deservi”. Download & […]\nMellow & Sleazy Sjepa Mp3 Download Mellow & Sleazy Sjepa: South African music duo Mellow & Sleazy, teamed up with Focalistic and M.J on this […]


Brazil captain Murilo Endres, Finland coach Daniel Castellani and captain Tuomas Sammelvuo\nKatowice, Poland, June 1, 2012 â€“ On Friday Brazil beat Finland in straight sets (25-13, 25-14 and 25-14) proving they are not to be disregarded in this year's edition of FIVB World League.\nFinland captain Tuomas Sammelvuo: "There's not much to say. We played really bad, there was no aggression on our side. Brazil played great with block and defense. We have to show something more tomorrow, because today we made a step back comparing to what we did in Toronto."\nBrazil captain Murilo Endres: "We played a really good match tonight. I think our serve was very good, we also scored many points with block. We've practiced it a lot. I hope tomorrow we'll play even better."\nFinland coach Daniel Castellani: "They understood where our problem was and they used it. We didn't push our service too much. We know after today what our biggest troubles were."\nBrazil coach Bernardo Rezende: "There are many aspects that played a role in Finland's loss. They missed some players, they didn't qualify for the Olympics. On the other hand, we managed to recover after Toronto, we still miss some players but there are also some who are back. We have to maintain our focus on the Olympics, this is our main goal, so it is good to see progress here during the World League."


Omusuubuzi bamukubidde essimu bamuwe ddiiru ne bamukuba amasasi\nMuganzi wange alaajanidde mu Bukedde ne mmusonyiwa 2 hours agoPoliisi ekutte abalima enjaga e Luweero 3 hours agoKooki yeesunga Kabaka ku mipiira gy’amasaza 3 hours ago‘Enguzi esaanyaawo Nnalubaale’ 3 hours agoKatumba Wamala; Alwanye entalo nnyingi 3 hours agoOlukiiko lwa KCCA lwaki teruyiibwa abantu balonde oluggya! 3 hours agoOmuyiyimbi Iryn Namubiru bamutadde 3 hours agoAkutte mukazi we mu bwenzi n’amugabira omusiguze ku poliisi 4 hours agoPoliisi ewabuddwa ku musango gw'omuyimbi Eddie Yawe 20 hours agoEkitongole kitubidde n’eddagala lya disitulikiti ez’enjawulo 1 day ago\nOmusuubuzi bamukubidde essimu bamuwe ddiiru ne bamukuba amasasiMBARARA | Jul 29, 2012\nDennis Mulangira eyattiddwa.\nBya Ali Wasswa ne Kizito Musoke\nYABADDE yaakatuuka awaka mukyalawe amwaniriza mu kiro ky’Olwokusatu, ate n’afuna essimu ey’amangu bwatyo n’akwata emmotoka ye n’agenda. Baagenze okuddayo okumulaba nga bamuttidde ku siteeringi mu mmotoka ye .\nOkuttibwa kw’omusuubuzi ono Dennis Mulangira omusuubuzi omututumufu e Mbarara kwegasse ku ttemu erizze likolebwa ku basuubuzi mu ggwanga naddala mu Kampala kyokka eky’enjawulo nti enzita ekyuseemu.\nNnamwandu w’omugenzi, Sarah Mulangira yategeezezza nti mu kiro ky’Olwokusatu, bba yabadde yaakadde okuva ku mirimu gye ne wabaawo abamukubira essimu nga bamugamba ku bya bizinensi.\nYakutte mmotoka ye n’addamu okufuluma kyokka n’azuulwa enkeera ng’attiddwa ku siteeringi.\nMinisita omubeezi akola ku byobulunzi Lt Col Bright Rwamirama asinzidde mu kuziika Mulangira n’alabula abantu ku masimu agabakubirwa amatumbibudde.\nYagambye nti waliwo abantu abageeyambisa okumanya omuntu w’ali bamutuuseeko obulabe olwo ne bamulimba ddiiru ez’empewo. Yagambye nti waliwo abafudde obutemu omulimi nti kyokka gavumenti egenda kugubatamya. Poliisi eraze by’olina okugoberera ku ssimu ezikubirwa\nMu kiseera ky’ekimu poliisi ewadde abantu amagezi ge balina okugoberera ku masimu agabakubirwa ekiro. Omwogezi wa poliisi mu Kampala n’emiriraano Ibin Senkumbi agamba:\nAbantu balina okwekengera abantu ababawa ddiiru ez’ekiro ezirabika nga ezifuna ennyo ate amangu.\nOmuntu bw’akukubira essimu n’akutegeeza nti akumanyi, sooka omubuuze y’ani era yakumanyira wa? Ne bw’oba omumanyi naye nga tolabawo nsonga ya nnyo ekwetaaza kiro, mwenenye olinde enkya era oggyeko essimu yo.\nBw’eba nnamba y’essimu gy’otomanyi ng’akukubira buli kiro gitwale ku poliisi, ejja kulondoola omuntu oyo, akukubira buli kiro.\nBw’osalawo okumusisinkana oyo gw’oteekakasa, mugambe musisinkane enkeera emisana kuba tewali kintu kitasobola kulinda kuba n’omukisa teguzibirwa kkubo. Singa omuntu gw’oteekakasa bulungi akugamba okumusisinkana mu kifo ekimu, osobola okumugamba ne musisinkana mu kifo ekirala. Ekifo ky’omuwa kakasa nga mulimu abantu abawerako.\nBw’oba ogenda baako abantu b’otegeezaako era togenda wekka.\nBuulira abaawaka wa gye bakuyise oba ennamba z’essimu y’omuntu akukubiddwa.\n11 BE BAAKAKWATIBWA\nAbantu 11 be baakakwatibwa ku ttemu lino mu kunonyereza poliisi kw’eriko ng’okubuuliriza bwe kugenda mu maaso nga ku bano kuliko Haji Edirisa katende akulira ekibiina ky’abavuzi ba takisi e Mbarara ekya Mtoda, ng’ono babadde n’enkaayana ne Mulangira ku tenda ya paaka, Gonzaga, bbulooka wa MTODA, n’abalala, aduumira poliisi mu Ankole, Martin Abiru be yagaanyi okwatuukiriza nti kyanditaataaganya okunoonyereza.\nOmugenzi yaziikiddwa e Katete Nyamitanga mu Mbarara.\nAbasuubuzi abazze battibwa kwe kuli Hajji Kigejjogejjo, Peter Baddokwaya n’abalala. Omuduumizi wa poliisi Kale Kayihura yategeezezza wiiki eno nga bwe waliwo abasibe abaateebwa oluvannyuma lw’okukola ebibonerezo byabwe nga kati be bapangisibwa okutta nti kyokka poliisi ebali mu buufu.


Joyce Bagala Quits Too Demanding Radio One Job To Go Bare Nuckles With Nabakooba For Mityana MP Race - The Spy\nJoyce Bagala Quits Too Demanding Radio One Job To Go Bare Nuckles With Nabakooba For Mityana MP Race\nListeners of Radio One FM 90 and its Luganda sister station, Akaboozi ku Bbiri 87.9 Fm must be familiar with the name and voice of Joyce Bagala, however, the bad news this time is that they will miss her melody voice.\nJoyce Bagala ready (L) with work mates at a farewell dinner\nTheSpy is reliably informed that the 32 y’r old has painfully ended her 11-year radio career to create ample time for to go bare knuckles with the current Mityana District woman member of Parliament afande Judith Nabakooba.\nBagala’s former workmates at Radio one/Kaboozi Ku Kubbiri on the weekend organized a sumptuous dinner and bed her farewell, with tears un controllably oozing out of their eyes, for they couldn’t figure out a news room without the sexyli-cious booty Bagala.\nBagala comes from the respected family of the late Petero Ntwatwa, who served as the Buganda Lukiiko speaker in the 1960s, and she hopes to ride on that, as well as the works of her maternal grandfather Rev William Ssewanyana Katula, the former Mityana diocesan secretary, to rally the voters.\nBagala with friends/workmates at the Dinner\nFor now,Bagala will only retain NBS TV job where she is Head News Department as she prepares for 2021 general elections, TheSpy understands.\nNews featured Joyce Bagala\tShare:\nUS Deploys Troops In CAR As Tensions Rise In DR Congo!\nGabon’s Top Coup Leaders Arrested, As Calm Returns In Libreville


January 4, 2020 – Peril Of Africa\nStaff Reporter | January 4, 2020\nBajjakakasa Stabua NEW ENTRY UGANDAN MUSIC FOR EVER PROMOTING TALENT —— AUTO – GENERATED; Published (Halifax Canada Time AST) on: January 04, 2020 at 08:42PM\nVideos Videos Comments Off on Bajjakakasa Stabua Print this News\n© AP Photo / Kirsty O’Connor/PA By SPUTNIK Cambridge Analytica was a for-profit data mining and political consultation company based in the UK which used the extrapolation of user data as a means of creating targeted advertising and to promote political messaging to sway votes. Tens of thousands of documents from the infamous and now inoperative data firm Cambridge Analytica (CA) reveal the shocking global reach of voter manipulation, reported the Guardian on Saturday. Over 100,000 documents related to 68 countries will be revealed over the coming year, unveiling aRead More\nbig data, world news, facebook, Cambridge, Data Science Facebook, Big Data, Cambridge, Data Science, World News Comments Off on New Cambridge Analytica Documents Reveal ‘Global Network’ Of Voter Manipulation Print this News\nCanada advances to face Russia in World Juniors gold medal game\nHOCKEY CANADA WORLD By TSN https://ift.tt/2Qpui0M Canada scored three times before the semifinal contest was four minutes old, cruising to an easy 5-0 victory over Finland and avenging their loss at last year’s tournament. Canada advances to face Russia for World Junior Championship gold on Sunday, seeking redemption for a 6-0 defeat from the group stage, TSN Senior Hockey Reporter Frank Seravalli writes. WJC: Canada 5, Finland 0 OSTRAVA, Czech Republic — Some 7,000 kilometres away, Noah Dobson was smiling in his Toronto hotel room as he prepared to faceRead More\nSports, Hockey, World Junior Cup Hockey, World Junior Cup, Sports Comments Off on Canada advances to face Russia in World Juniors gold medal game Print this News\nMamuli Katumba Nandundu Embale Official Video\nMamuli Katumba Nandundu Embale Official Video Subscribe to Music of Africha: http://bit.ly/AfrichaMusicSubs —— AUTO – GENERATED; Published (Halifax Canada Time AST) on: January 04, 2020 at 05:12PM\nVideos Videos Comments Off on Mamuli Katumba Nandundu Embale Official Video Print this News\nNTVUganda has added Transport prices hiked in Fort portal video\nTransport prices hiked in Fort portal Many people travelling from Fort Portal after the festive season have to contend with long waits and hiked transport fares. Many of the people heading to places like Kampala and Mbarara have to wait for long periods to get transport as there are not enough buses to cater to the high numbers of travellers. #NTVNews Subscribe to Our Channel For more news visit http://www.ntv.co.ug Follow us on Twitter http://www.twitter.com/ntvuganda Like our Facebook page https://ift.tt/1bbEIWm —— AUTO – GENERATED; Published (Halifax Canada Time AST) on:Read More\nUGANDA, Videos, news Videos, Uganda, News Comments Off on NTVUganda has added Transport prices hiked in Fort portal video Print this News\nNTVUganda has added Meet Maria Namuyanja, one of Uganda’s female VJs video\nMeet Maria Namuyanja, one of Uganda’s female VJs Movie translation is generally a male-dominated profession and its rare for Women to engage in the business. Maria Namuyanjja commonly known as VJ Kyle is one of the few female VJs in the Ugandan movie industry defying the odds by joining a competitive industry. #NTVNews Subscribe to Our Channel For more news visit http://www.ntv.co.ug Follow us on Twitter http://www.twitter.com/ntvuganda Like our Facebook page https://ift.tt/1bbEIWm —— AUTO – GENERATED; Published (Halifax Canada Time AST) on: January 04, 2020 at 03:15PM\nUGANDA, Videos, news Videos, Uganda, News Comments Off on NTVUganda has added Meet Maria Namuyanja, one of Uganda’s female VJs video Print this News\nNTVUganda has added President Museveni starts 175km journey to Kibaale video\nPresident Museveni starts 175km journey to Kibaale Several residents in Luweero Triangle have assured President Museveni of their support if he offers himself in the 2021 general elections. Clad in NRM party colours, the residents applauded Museveni for his efforts towards the restoration of stability and economic empowerment in the country. #NTVNews Subscribe to Our Channel For more news visit http://www.ntv.co.ug Follow us on Twitter http://www.twitter.com/ntvuganda Like our Facebook page https://ift.tt/1bbEIWm —— AUTO – GENERATED; Published (Halifax Canada Time AST) on: January 04, 2020 at 03:15PM\nUGANDA, Videos, news Videos, Uganda, News Comments Off on NTVUganda has added President Museveni starts 175km journey to Kibaale video Print this News\nNTVUganda has added 2020 01 04 KAJJANSI ARRESTS OJ LUG video\n2020 01 04 KAJJANSI ARRESTS OJ LUG #NTVNews Subscribe to Our Channel For more news visit http://www.ntv.co.ug Follow us on Twitter http://www.twitter.com/ntvuganda Like our Facebook page https://ift.tt/1bbEIWm —— AUTO – GENERATED; Published (Halifax Canada Time AST) on: January 04, 2020 at 02:45PM\nUGANDA, Videos, news Videos, Uganda, News Comments Off on NTVUganda has added 2020 01 04 KAJJANSI ARRESTS OJ LUG video Print this News


Bukedde Online - KCCA etandise enkola y'emirimu gy'emikono mu masomero\nKCCA etandise enkola y'emirimu gy'emikono mu masomero\nExpress FC eremaganye ne Azam FC eya Tanzania...\nEKITONGOLE ky’eby’engiriza mu KCCA kigungizzaawo enkola ya buli Ssomero lya Gavumenti mu Kampala n’emiriraano okubeera n’essomo ery’eby’emikono okukendeeza ku bbula ly’emirimu mu bavubuka nga beetoderawo emirimu okusinga okudda ku nguudo nga banoonya emirimu.\nEnkola eno emaze ebbanga ng’ezesebwa ku Ssomero abayizi mwe babadde bayigira ebintu eby’enjawulo ng’okukola ennoni z’essomero, emisubbaawa, Ssabbuuni w’amazzi, ebimuli by’okumikolo n’okutimba, okukola ebitabo, ebizigo, eby’obulimi n’obulunzi, enkwata ya ssente n’ebirala bingi era nga kati enkola eno yaakusaasaana mu buli Ssomero lya KCCA.Juliet Nalule Namuddu akulira eby’enjigiriza mu KCCA bwe yabadde atongoza enkola eno yalaze obwennyamivu eri omuwendo ogweyongera mu baana abafuluma Yunivasite buli mwaka nga tebalina mulimu gwe basobola kwekolera oba kwetandikirawo n’emikono gyabwe wabula ne badda mu bumenyi bw’amateeka n’okuvumirira Gavumenti nga bw’etabayambye.\nYakuutidde abayizi okufaayo ennyo eri ebibasomesebwa kuba ku nkomerero be bagenda okuganyulwamu ate n’akuutira abazadde okutwala abaana baabwe mu masomero agagenda okugasa omuyizi so ssi agagenderera okunuununta ssente mu bazadde naye ng’abasomi tebalina lya Queen of Peace Primary School e Lubaga, kye baganyuddwaamu.\n“Teri musingi gusinga buwangaazi ng’ogwo oguzimbiddwa n’amagezi ag’ekika ekyawaggulu, bwe tuba tunaacuusa omulembe gw’okunoonya emirimu, tulina kubangula bayizi baffe n’obukugu mu mirimu gy’emikono, enkola eno kati yaabuwaze eri buli ssomero lya KCCA ,” Namuddu bwe\nSr.Prisilla Nalule omukulu w’essomero lya Queen of Peace Primary School e Lubaga, yasanyukidde nnyo enkola eno kuba abayizi mu ssomero lino ate babanguse mu bintu bingi ekyongedde essuubi nti tebagenda kulemererwa kwetandikirawo mirimu ate n’okufuuka ekyokulabirako eri abalala.\nJuliet Nalule Namuddu