# Chapter 7 Evidences including letters

In the main chapter of this book, Chapter 5, I presented evidences, all of which prove the 19 based design within the full text of Quran. All of those evidences were bound by the general rules and also the rules described in Chapter 5. As mentioned before, those evidences do not contain letter information and applicable to all the common Hafs manuscript (mushaf) texts of Quran. However, some of the letters of some of the words might have been written differently even among Hafs manuscripts. This does not change the meaning of the word but just might written slightly differently. The situation is similar to the British and American English words of colour and color, respectively. Therefore, all the evidences up until now, deliberately do not include letter information but only word information as for the content of verses. This assures that the evidences are valid for all the Hafs manuscripts commonly used today such as the one in www.quran.com.

However, I also discovered appealing and miraculous evidences that include the letter information too, which I will present from this section on. This means, the evidences that include letter information also suggest that the text I selected and used is also fully correct not only to the last word of it, as per the previous evidences so far, but also to the last letter of it. I already explained in detail which manuscript I used and how to download it in Chapter 3. I also explained why I selected this text and why only this text is meaningful while considering letter information in Chapter 3.1, where I also addressed some existing and potential critiques against counting the letters information. See Chapter 3.1 and Chapter 3 for more details on these topics.

In this chapter, I will present letters based evidences that are again bound by the universal rules described in Chapter 4.1. For each sub-chapter of this chapter, I describe the special rules of each coding patterns, which are additional to the universal rules. Because the evidences of this chapter each have their own additional special rules. The common trait of all the special evidences I present in this chapter is that, all answer very meaningful questions. For instance, a question like, "can we rewrite the full text of Quran with its natural representation numbers? Namely, can we literally decode its code (if any)?". I hypothesized and discovered them to be under the 19 based coding system of the text of Quran. I will also validate and provide reproducible tests for some of the known important 19 based evidences on Quran.

## 7.1 Evidences on Rewriting

In this chapter, I will present some of the most important evidences I hypothesized and tested and witnessed them to be under the 19 based coding system of the text of Quran. In my opinion, especially Evidence 7.1.1 is the ultimate evidence as the proof that the text of Quran is intact and unchanged and designed under the 19 based coding system up to its last letter along with all the chapters, verses and words information together. It is because we literally rewrite the text of Quran with its corresponding descriptive numbers at finest text resolution and in the exact same order of Quran. Moreover, we witness the similar coding pattern at the chapter level too as presented in Evidence 7.1.2 within this main chapter.

Therefore, this chapter provides the two important evidences on the rewriting of the text of Quran with its natural numbers.

As per the rules to get the big number that represents the full text of Quran, we first concatenate the natural numbers of each verse or chapter, whichever the level of text is rewritten, we then replace these numbers where we see them in the text of Quran. This is because we are attempting to rewrite Quran by its own natural numbers. Finally, as usual, we concatenate all these numbers and get the big number. The only special rule that is added upon universal rules here is since we replace the numbers with either verses or chapters, this means the numbers are placed from right to left since Arabic is written from right to left. In all the rewriting attempts, we use this rule as an exception to the rule of always using the natural orders since as we are trying to rewrite a text which is Arabic and it is written from right to left naturally.

Finally, for the reference, to the best of my knowledge,all the evidences and facts presented in the sub-chapters of Chapter 7.1 are first time presented to the literature in this book, and they have been hypothesized, tested and discovered by myself. In case if I find out the evidences or facts of Chapter 7.1 had been available in another article, then, in such a case, I surely add a citation and update the online version of this book.

### 7.1.1 The Ultimate Evidence: Rewriting the full text by main descriptive numbers per verse

In my opinion, this evidence is the ultimate evidence of all that itself proves that whole text of Quran with all of its text structure, size and order is under the 19 based coding system of the text of Quran and thus it is intact and unchanged from the beginning since 632 for the last 1387 years. In a sense, I fully decode the text of Quran by its descriptive numbers. In order to decode the full text of Quran, we need its own text numbers to decode. The way I will decode the text of Quran is simply by rewriting the text of Quran, verse by verse with its counted descriptive numbers in the exact same order of the text from right to left as in Arabic. For these kinds of rewriting evidences, we can add this rule upon general rules such that in order to rewrite the text of Quran by its descriptive numbers we need to mimic the Arabic text of Quran that is written from right to left. In order to rewrite the full text of Quran in the exact same order, I will utilize from this table that keeps all the descriptor numbers for each and every verse of the full text of Quran in order:

knitr::kable(head(unQuran), booktabs = TRUE,
caption = 'Table head of all verses of Quran.')
Table 7.1: Table head of all verses of Quran.
VerseI chapter verse vwords vletters text
1 1 1 4 19 بسم الله الرحمن الرحيم
2 1 2 4 18 الحمد لله رب العالمين
3 1 3 2 12 الرحمن الرحيم
4 1 4 3 12 مالك يوم الدين
5 1 5 4 19 إياك نعبد وإياك نستعين
6 1 6 3 19 اهدنا الصراط المستقيم
knitr::kable(tail(unQuran), booktabs = TRUE,
caption = 'Table tail of all verses of Quran.')
Table 7.1: Table tail of all verses of Quran.
VerseI chapter verse vwords vletters text
6343 114 1 4 14 قل أعوذ برب الناس
6344 114 2 2 8 ملك الناس
6345 114 3 2 8 إله الناس
6346 114 4 4 17 من شر الوسواس الخناس
6347 114 5 5 20 الذي يوسوس في صدور الناس
6348 114 6 3 13 من الجنة والناس

Using all the descriptive numbers per verse, I will rewrite the whole text of Quran with the numbers in each row of the table above. I will basically rewrite the full text of Quran with numbers in the same order of the words of Quran from right to left as in Arabic. As numbers, I will use the exact chapter index, verse index, number of words and also number of letters of each verse. Since in the whole text of Quran there are 112 unnumbered Basmala verses, I will also take this into account and I will not assign any verse number for the unnumbered Basmalas but still assign their chapter index and word and letter numbers for them just like they are written in the text of Quran. This literally means, rewriting the full text of Quran with the 4 main descriptor numbers of the text. There is only one version of such an hypothesis. Because, I am testing the order and size of each verse at the smallest resolution that is number of letters and words per verse along with all the two other specific descriptor numbers, chapters and verses. Here is the proof with a reproducible R code that rewrites, namely decodes, the full text of Quran by the 4 different descriptor numbers first and then test this big number.

x<- unQuran
tv <-c()
for(j in 1:nrow(x)) {
if(x$verse[j] != 0){#for all the numbered verses tmp <- paste0(x$chapter[j],x$verse[j],x$vwords[j],x$vletters[j]) }else{#For unnumbered Basmala verses tmp <- paste0(x$chapter[j],x$vwords[j],x$vletters[j])
}
tv <- c(tv,tmp)
}
tmp <- paste0(tv, collapse = "")
#I revert the order from right to left as in Arabic.
tmpr <- rev(tv) # matches the coding from right to left as in Arabic.
cat("Head of the per verse representation numbers : ", head(tmpr))
## Head of the per verse representation numbers :  1146313 1145520 1144417 114328 114228 1141414
 #"1146313" "1145520" "1144417" "114328"  ...
cat("Tail of the per verse representation numbers : ", tail(tmpr))
## Tail of the per verse representation numbers :  16319 15419 14312 13212 12418 11419
 tmpr <- paste0(tmpr, collapse = "")
cat("The test of divisibility by 19:")
## The test of divisibility by 19:
 cat(as.numeric(as.bigz(tmpr) %% 19)) #"0"
## 0
 cat("Number of digits on this big number
is ", nchar(tmpr))
## Number of digits on this big number
##      is  46900

First of all before discussing on the main point, as you can see in the last result, the digit sum of the number of digits of this big number, which is obtained by rewriting the full text of Quran, is exactly 19.

Back to the main point of the evidence, in my opinion, divisibility by 19 of this big number that represents the rewriting of the text of Quran in every level of detail is the biggest evidence of all, namely the ultimate evidence, considering letter level data. We additionally are witnessing that the digit sum of the number of digits number is exactly 19 and this further assures my opinion on this the great evidence as we do not normally observe such further assurances.

From the head and tail outputs of the tmpr object, one can perform a quick check and test the rewriting. Feel free to use the code to reproduce and test the proof given above and critically evaluate it.

The big number of this evidence represents the whole text of Quran with respect to the number of words and letters per verse per chapter and supports the hypothesis that there is no redundant or missing words or letters in each and every verses and the verse orders and sizes and also contents are also correct, intact and unchanged.

The first column VerseI of the above table is an independently added column by myself to be able to refer each verse independently from the chapter index. It is especially useful to refer to unnumbered Basmala verses as they in fact do not have any number. In the special verse indexes, I placed number 0 to fill the places of the verse index of the unnumbered Basmala verses in the verse column but in fact there is no real 0 number representation for those Basmala verses. I already took this into account while rewriting the full text by numbers and skipped those zeros in the concatenation process. I will consider those VerseI indexes in another section separately.

For the reference, to the best of my knowledge, Evidence 7.1.1 is first time presented to the literature in this book, and it has been hypothesized, tested and discovered by myself. In case if I find out Evidence 7.1.1 had been available in another article, which is very unlikely, then in such a case, I surely add a citation and update the online version of this book.

This evidence, Evidence 7.1.1, is the ultimate evidence of all in my opinion, when considering the letter level information. Because, first, we literally rewrite the full text of Quran in the exact same structure and order using the main descriptor numbers per verse. Secondly, the same coding pattern also exist at the chapter level data too, which presented in Evidence 7.1.2. We used the full text with all the 6348 verses of Quran, which means including unnumbered and numbered verses in this evidence. In my opinion, there is no better alternative than this big number to represent Quran with numbers up to its letters and thus this is the single best number considering letter level information. We witnessed that this number is under the 19 based coding system of the text of Quran. On the other hand, I have observed some other interesting rewriting representations as well but they can only be considered only underneath of this evidence as secondary evidences compare to this one. Therefore, I will provide several sub-sections that present other facts about rewriting the text of Quran with other numbers from different aspects. Again, those are only follow up coding facts and they are only meaningful because we have already witnessed the best possible rewriting of the text, Evidence 7.1.1, as under 19 based coding system of the text of Quran. If Evidence 7.1.1 was not successful, those follow up subsections would not be as meaningful as now. Because, one could always argue that the best possible rewriting representation did not pass the test, which is not the case right now.

Moreover, there are two more coding facts. which further assures that the full text of Quran can can be rewritten up with its letter information. In Fact 7.1.1.1, I present the coding that uses the number of letters to replace each word in rewriting. Basically, it also suggest that not only the number of letter per verse but also the order of each word has under 19 based design when we apply the same coding pattern of Evidence 7.1.1. Also, in Fact 7.1.1.2, we witness that if we use sum instead of concatenation to get representation number per verse in Evidence 7.1.1, we still have rewriting of the full text of Quran with 19 based design in it. See those facts for more details.

Lastly, you can access this big number from the following link:

https://github.com/quran2019/Quran19/blob/master/BigNumber_6.1.txt

One can just copy the big number and paste it into a web based big number calculator and test it herself.

Also, here is the "46900" digits length big number of Evidence 7.1.1:

"1146313114552011444171143281142281141414114419113551511345201133515113249113141411341911245151123412112229112141111241911155151114317111341511126191111515111419110373011027311101519110419109641410955191094517109351910924141091416109419108341510823121081316108419107721410763131075520107421110735201072417107141910741910647261063418106242310612101064191055315105441810534201052519105172510541910493101048314104741810463141045416104441710434151042416104141410441910339521032415103116103419102852110274181026211102552010244141023312102231410212131024191011128101104131019291018416101741410164171015424101452610134171012291011171014191001151910010414100972510084171007415100641810053111004311100321310022131001213100419998621997622996632995413994316993416992318991420994199882183987942986166698516789841145983311982623981125698419975518974937973620972519971521974199619520961821296172109616315961562696145179613415961231296115189610310969313968414967311966417965518964313963314962415961518964199584219574179569429554189546269533159522995121495419948312947313946413945414944312943312942313941413944199311416931041793941793831593731393641693541893452093351593231293116934199221299220521921962192184179217214921631292154179214316921341992123129211621921021392921192841692721392621192541592431192341892231492131392419911531391147399113730911231391113159110413919413918320917312916314915315914315913315912314911212914199020313901963290183179017945901641590153129014619901326901241690113149010214909212908414907515906417905620904520903311902415901415904198930210892931389285218927420892641589255208924521892394389225198921620892041789194208918523891751989161040891511498914314891351889123178911417891031589952689862389731289661889561689431289321289228891168941988264158825313882442288234138822314882141588204168819417881841788176258816212881521288142128813313881231288114158810310889211888314887618886619885413884313883210882314881417884198719315871851987173158716420871541487144128713619871241987112148710311879416878212877931876313875313874315873312872311871415874198617423861629861531486143118613310861231486113158610617869314868415867522866412865418864619863211862416861214864198522310852141285204178519519851821085174168516311851531385143158513414851241385111465851014658591040858940857627856413855314854315853211852213851316854198425941842431584234178422418842162684204148419415841831384173128416313841561884145138413518841221084113138410623849419848419847521846937845314844416843312842314841314844198336624833531683346308333420833262783316318330419832983683284198327313832663283254168324522832331683224168321213832029831941583186248317725831641783156268314830831373383127228311420831031683929838414837622836523835288345228335248326308312118341982199348218619821751882164168215315821441682134168212314821121182103158294178286178274188267288255188243158233148223178213158241981298328128518812751881262108125518812451881234198122315812131081206198119415811831381173138116211811531381144148113314811231481113148110313819310818316817314816314815314814314813314812316811312814198042419804121080404198039212803831480376248036212803529803451780333148032317803121080302108029212802821080273148026415802541680244218023515802241380213138020312801941580184118017417801628801529801421180133108012310801131280103118092780841480741480631080531180441880341680231280128804197946936794551979443137943414794252579414167940932793941779383167937397936417793552079344207933317793221379314207930417792942079283147927625792661979255267924417792329792231079212879203167919417791861679175187916625791541479143147913416791251979114167910527799212798314797213796314795213794213793213792213791213794197840166978399327838145878371047783651878356247834210783321278322127831314783052378294187828318782752178262978253147824624782331678222117821416782042178194227818626781751978162117815416781452578133167812420781131778103167893167882147872137864177853127842107834167823137812107841977504187749316774862477473167746526774531677444197743629774231577415207740316773951877385267737316773641877354147734316773331277324187731620773062177296247728316772773877262127725417772431677233187722311772141777205187719316771831777173157716314771531677145187713297712310771131377103147793147783147773157763107752137742137732137722137712137741976311042763011417629931762894776278407626729762552176249337623627762283076211359762072976199477618419761763076165237615837761463476131044761252376118367610729769104076873776773576673376583576463576373276210497611140764197540727753952675385177537618753652175354137534311753351775323127531412753041775293177528312752739752641775255177524315752331275223147521212752041775194147518420751741775166207515314751452175136267512418751138751052475931575829757312756418755523754623753524752420751417754197456114474553107454311745351974529317451310745031574495217448422744731474464177445418744441674435187442412744121074403147439314743851774377247436210743531474343137433312743229743157250743031274292107428412742741374262974255167424619742331374223974212574204117419310741831074172117416521741541274143137413210741241774114167410418749416748416747210746313745211744210743287422774131274419732078329731993173186267317835731663173151151731484073135227312419731163573107327399367386267376217368307355217346247335187324157313127341972281352722713447226727722511367224114572231664722212407221824722082672191041721883172171039721683972155277214104972131452721211397211937721013447291351728841727933726114672510377247287239337229357211349724197128157171271041712610377125125471248357123135371223157121134971204207119521711852571175237116731711583171143147113620711294471114217110627719728718416717147971652171572671418657135257127227111451714197044944704394070428427041831704073570395227038828703752170365247035417703452470334237032528703173070301042702942170285187027624702642170252147024522702352270222107021417702041570194177018297017415701621070153107014622701331670122127011940701041670931770841970721070631470531470411477034157024177014167041969524176951313695042069495216948317694762169464176945316694452369434176942624694172669404156939311693841669374186936517693552069345206933623693273169313126930296929313692841469274186926414692511446924840692321169223106921414692052069199426918626691794369165256915317691463069136236912629691173069106286996346985166971568696627695423694420693416692286911669419685251968511262685052568491040684811426847521684672768455186844104468431152684293868418386840416683912476838517683751868364146835323683462668338396832103968316236830524682962668287286827312682652368254176824626682331968227276821213682021368197276818210681710506816315681573368145156813413681241768113136810516689417688314687113968621368521368441568351868251968141668419673010406729134967281558672713526726934672573067248316723125567221247672112426720155467191562671883067171248671611406715145967147276713938671293867115316710113967918636781353677832676734675126867410426731865672115367193367419661217796611249766102712166912626684619466712516662310766517826642192663291146621149661155766419651225966511341536510177265973265814646572590656321466551454654281186532173652301326514217365419641852964171250641616796415839641419876413937641211596411165864101159649271226481051647186964616826451353644146264394964211476411759644196311114463102185639187563817906372090636187063514666342210463311446321251631178263419621121886210157262922886281879627945626187162523105624103962383762221926211252624196114361646113941611217756111157261101247619146061811546171668616321296152410161411466139326129346111143614196013208060123917360112194601056258609211016082191607156360619736051356604522216031362602136860149220604195924177859231987592213515921188459201048591910515918187259171050591617685915114759142394591312455912167359112812959102310659931134598189859737166596259059513605941251593146059241185591114359419582251221582193458208375819157258181773581715645816104358151040581419735813241155812239258113113958101782589201055883816758747163586156458518815842611558321905822310358118735841957292285572822945727391915726147457252813857241256572315585722216957212510857203918057192010557181257571713555716281185715156457142099571327132571222109571112435710371535791769578156957715745761252575837574361345739405721143571939574195696417569551656942105693310569262656915205690622568941856885195687420568652056857285684316568341956824225681422568041756794175678311567731256765205675419567441756735285672630567142156706285669733566842256673125666210566562956645255663315566263256619355660732565952556583145657421565641656553155654419565331756525175651525565052456494195648215564794756465255645521564441356433105642311564152556403135639312563821256372105636214563531656342105633417563221156312956302856292956283105627525562641756256255624418562331956222756214165620316561952156185235617420561631956153125614314561331256123125611213561021756952756852756731656631456531356441456321056231556131456419557862755774195576626557541955746225573419557241855714195570313556941955684195567419556631755654195564185563419556231455614195560523555941955583205557419555693755554195554941555341955525195551419555031655494195548210554741955465195545419554452155436265542419554164055404195539827553841955376315536419553583455344195533177855324195531418553041955291035552841955276275526412552541955246315523419552242355214195520418551931755184195517421551641955156205514524551341955124205511525551031755963455841755742355631855531755421055321055229551165541954556215454519545341754525185451626545062654495185448935544752054466295445421544452054439355442736544151954407295439315543852254379435436529543572454349385433416543272954318415430416542942254288325427735542652354259325424104154233145422729542141654206275419936541862354177295416416541562354146245413522541293854115265410521549943548835547840546828545520544728543631542731541422544195362317536121153603155359419535862053572105356520535541753543115353213535293253513125350418534941453484155347419534641353455265344415534341553424165341419534041353396215338518533731553367205335519533431553333145332311295331167353301654532911415328165153279475326186553253175324415532325995322414532141853203185319318531862153175165316518531531453143145313415531241753115165310518539518538310537315536311535313534514533414532516531312534195249525524810415247104252469335245732524493952439335242733524152152407275239520523894052377285236731523582752346295233623523283152316275230728522983152289315227628522672752255245224732522383352225285221198452207335219629521883852175205216125352156225214625521362152125185211317521031552941752841052741452621352521352421352339522210521165241951607315159943515872751579305156627515552551545195153621515213465151113951508295149729514842551475295146831514573251448375143827514293251417305140734513962551388345137736513672851356265134419513352051326265131523513083251299395128938512752251266235125938512462851239375122523512141951204205119526511831951176255116937511552051147325113519511241851115185110211519412518415517315516313515315514213513213512213511213514195045135350449365043627504273250417295040525503912495038135450371341503615545035625503452450337295032622503152550309335029831502883450271037502610415025417502462150236215022124550216235020623501993450188265017837501614575015103650149365013419501273050118375010522509104550852050711515061253505932504936503727502114450131450419491810454917197649161665491518914914271164913219349123212949114015949101053499301444987284972812749618794951248494941493177749223984911664494194829542494828146048272812048262813048254017948241977482312414822125248211452482018894819737481819864817271104816281244815311414814146148139434812208548113715148102510548984948852748784048621116485199348419944834194821561481519484194738301294737635473613654735125847341555473311554732218647318504730126647291140472810484727741472615654725166347247334723737472210454721124847202711747191473471815654717632471624104471544172471413484713145447122210847111144471016754798354786304771046476420475317474381674731881472188147183547419463527107463418794633228546321865463115604630207846291880462817734627104746263213846251460462418754623135546221254462125954620271294619943461817664617281134616188146154519346149434613135246121675461119764610249546924744682599467145946694546518644642910646315724626294611246419453784245368374535167645341461453311434532227845311259453013624529114745281454452710524526187045251668452421784523249445221356452117854520732451915644518135545172410245161374451511444514146145131660451214634511114245101972459114545814574574144561253455208945493445363145262945112454194459317445852944577254456104844555224454419445352744523114451519445061944495204448725444752444462104445418444421044433124442829444110344440523443983644387374437125044365244435832443431444337294432629443172844307334429837442842244274204426314442551844246274423524442262344215214420624441993544189314417835441662944156294414625441372844126264411520441062844951444810394478374467264456234445174438344422134411244419438962643888274387837438613524385136343841144438384243828364381831438011484379522437873443779374376629437562243746264373627437273543711569437052943695294368934436773443661040436511474364936436317794362729436110454360836435910424358144843579334356424435563643547364353114643521134435118674350730434912474348135543477314346125543451353434462643438364342734434162643401140433994043381249433773843361138433512534334530433317774332251114331104243309364329939432873243275224326940432573643241460432321834322114643218334320155343191266431893443171246431673143159374314419431320844312114943111250431011454391052438732437832436623435835434727433630432213431124341942531556425227109425122774250114742491562424827115424721684246165642452712342442072424382842421566424193542401457423962942381164423710504236177442359364234726423315554232629423114484230104142291663422813524227176842261264422512514224229142232911842222410742212284422022754219938421822964217115242161871421534149421430114421338152421213564211198942101559429166042819714272290426125342519904241038423104342213421124241941541239415319734152175141511356415032130414911434148124041472810741461146414518724144301294143175341421346414193941402610141392291413812554137198841361150413511424134177141331351413241441311670413019934129167941281461412710554126115241252599412411484123946412220844121187841201256411983441185274117147441161989411525102411423944113940411219894111166741101567419146241894041783641616744151775414733413733412419411124141940851770408412514083156740822510440816284080125940799434078321234077145840768424075114640741760407372340726234071632407094440691039406812444067301184066207640651453406421984063733406212414061208240601362405911434058136940571253405623934055125340544204053841405210464051115340501673404913534048124540471982404613614045104240441250404322864042156140411041404023884039124840389374037239440361040403523934034301054033165240327274031145540301141402927101402839146402713484026186940251987402473440236314022136340213011940201562401962840181567401713474016155940151663401483740131453401215624011136540101567409125340816764072712840610424052198404135240314564026294011240419397517773974167339732094397294539713415139709323969157439682277396717863966624396514623964734396311573962928396111503960146539591045395812423957932395615513955166439541352395321853952155939511568395011433949228339481143394725973946177639451876394411483943145439422610739411877394083239391040393836148393712413936155739351258393483339338343932155839317303930416392919813928728392711443926125939251040392413613923341323922207739213112039202080391910383918136739171260391617613915198539146213913929391252339119313910229539924105398341223973112639636138395231053941663393331263921045391629394193888417388751838861036388573138844173883420388242338814183880417387962438786233877520387610343875155438746283873422387293638719323870827386993338683133867411386673738651140386462138636303862103838611140386011453859103838584153857420385642138555193854721385352138524223851735385052238496233848838384752838465263845848384414543843104638426263841114638406223839728383842138374203836833383515493834939383363038321142383162938307333829950382813663827167038263112238259333824321373823156038222393382173038206333819520381873638171144381683238151035381472238137363812834381162438101048389731388155038710383861251385832384104438310373826223814153841937182419371813163718062337179315371784143717763037176217371753173717441437173419371723163717152937170418371694203716862237167315371663163716531537164620371635163716241737161314371604193715941737158104737157524371564143715521037154414371534203715241937151521371506293714952937148420371476263714652237145421371446223714352137142419371414193714052037139418371383173713742237136314371354183713441937133418371324193713141937130414371294193712841937127318371265243712552837124518371234193712242137121419371204173711942137118323371173233711642437115529371145213711310483711252737111419371103163710931437108419371073153710652037105731371044193710341937102281003710131637100516379962337985293797732379641937954183794316379342037924133791626379031537893113788416378741837865223785625378451637834183782315378141937804193779520377841937774203776525377552637744193773524377242037715223770418376942037685203767723376663237654213764623376342237626233761421376051937596283758313375762637565193755521375441537537343752419375172337505243749313374842037477243746316374551937443143743312374231437414163740419373962337384223737522373663337351038373442037335253732420373162537301036372952137286283727524372641737254143724317372372937227383721727372062437197283718416371721537167353715621371441937134173712313371112463710728379417378937377518376631375735374312373213372213371211374193683835368210343681146336801144367910373678114136771142367693636757303674731367362936726333671125036708333669124336687303667104936669463665115736645243663521366283636615233660145036594253658516365762336567323655728365411423653103936521353365110393650733364983536487303647249236461142364511453644622364393336426233641835364015583639737363883936379373636135636358373634104436331050363262336311145363012473629830362813473627727362683036254193624517362315583622831362172936201146361993836181255361752336166283615155536141157361383836121458361112543610836369125136810453678303667303653173643133633143622133611236419354525973544301203543261113542198335411976354033132353924100353810443537251083536187235351455353411453533135735322199353116653530837352916763528177835272294352672735251367352412483523412352216623521416352041835194213518341383517518351662335151147351418813513281153512281273511341153510241083591776358259135713623561358355156335411433532285352196835124100354193454155734531038345293634511035345016573449829344872634471752344624893445145934441147344334130344218773441135834401051343920733438945343723100343613493435839343414543433341603432156934313214334301041342973034281254342712483426114634259353424176234232285342226933421217034201045341919873418178234178353416167534152074341427109341319873412271073411125134101353349291053481666347166134616663451146344105034332123342186834117673441933731593337218923371145933709403369177133688373367846336612553365833336472933631562336212433361634336019873359229933581267335714633356146333553012633541139335370294335225853351351373350622673349231033348125833478333346629334583833448353343136533423163341835334017663339136133382275333748196333624923335302233334145633332512233322081333114643330176933291464332816793327136133261677332516743324167233231875332218853321176533202310233193515533181468331724803316155733151355331414603313261053312135833116363310167633922983388423371780336291433352812633428127333626332124333114613341932305263229114432287303227177532261869322511453224105232231459322213513221949322021953219125932188313217134632161156321515663214146432131666321216753211114232101455329146032882532710363266323251763324249232318663228313211332419313427100313331122313222923131196831301658312925973128114131272178312610403125156531247303123156431221566312121873120301113119114531181654311718693116258231152911231141776311315543112187031111454311027105319835318839317166731618723158333149473133163124193111331419306010393059832305819763057942305620863055125530542481305314553052114630519413050197130491037304828115304718873046178330451151304493930431656304214573041156730402285303922873038167230371557303615623035104330346343033187130321145303194830302292302916603028271133027187930268313025166530242185302314643022136730212083302011403019146030188393017628301611583015943301452630139433012526301183230101360309321523082298307104430611423058333041246303831302293011330419296994729681765296715732966636296516642964156529632284296214502961136429601253295952529581786295772829569402955135629546382953126529521991295115642950166229491459294813522947198929462511229452189294410452943842294212432941198829402812429391369293816772937739293617742935730293412502933239029321667293115702930627292923103292814572927188729261244292527117292420762923136029221759292183229201972291913472918135229172711829161356291564029141669291311612912188629116372910311202997432982190297127029610422951245294104329311562921040291132941928881963288716602886155928851966288418752883146728822611328811765288016702879217828782810228772610528762910928751770287484028731362287221872871197828701558286972828681458286711422866735286563328641364286318842862840286117752860156628592082285817732857259728561350285515742854126528531555285283428516292850239228491349284826106284718862846207728451881284413522843167528421048284194428401051283912522838291082837186928361773283515752834145728339332832251002831207328302082282927109282815592827291102826114828252610628241550282327108282211442821104228201976281933119281816722817936281613462815381482814104928131765281216642811103728101767289186728813632872292286125528512592841985283938282419281132841927931151279215612791176327901352278911402788187127871866278615642785833278413572783114227821670278114562780114527797282778834277742127761247277510372774831277310382772932277173027709322769940276812472767944276614442765145727641978276320822762167027612189276027104275912492758631275773927561558275511472754839275352827521144275194327507312749146827481042274713512746136127451358274428110274312432742145927411247274038136273916552738114727371360273616692735839273413612733125327321350273152327308342729933272811472727728272682727251462272417772723114227221447272194527201244271924106271820852717943271619772715156927141158271383627121972271111352710207427972827814562771665276728275104327410452739472723162716242741926227199226226521262257222622432126223423262225172622162526220417262193162621841526217420262167262621562826214319262139342621241926211522262104182620941626208727262076232620652026205419262042172620341826202522262017292620052426199625261985232619793526196417261953132619452226193416261924202619152126190829261891041261885192618793726186935261855222618452926183942261823212618162926180114026179317261784142617762026176422261755212617482926173631261723142617141826170318261695202616852126167935261661141261654232616411402616331726162414261617242616041826159521261581041261573202615673126155931261541138261535222615262726151420261503172614952626148418261473112614652126145114026144317261434142614272526141316261405212613910442613831326137518261369362613562326134210261333162613252426131317261304202612942326128521261271140261263172612541426124724261233152612252126121829261204182611962826118940261175162611693626115516261144192611372526112624261115262611031726109114026108317261074142610672426105418261045212610382926102726261013112610041426994192698419269762126964192695316269442126937282692622269131826903182689620268861926874172686624268552226846232683626268283126814182680416267941926784172677623267631926755222674628267341726725202671628267062326694192668521266782926663152665523266431626631357266262026618382660214265942326583142657420265631526553152654419265352526528352651114326507272649219626483122647420264631726458312644948264372626426252641125126407322639522263852426374162636734263583526347262633626263262426317232630519262983726289392627730262652326255202624940262352126228322621114626206252619732261810382617520261673226157332614623261383526126202611416261083226952126882926711392668382651143264114526362726241926113264192577124525765262575944257413642573104525729422571935257016692569836256822852567114725664202565114725645272563126125621350256111482560136125591772255813522557144425565242555145525541247255315642552733255172625509432549104625481355254711492546522254516572544155525439372542176825411144254016692539733253883725371369253694925359422534114825338372532156925311149253010412529114825287282527124925269442525739252473425239382522105125211985252020962519156525182187251716682516104025151350251483825139422512937251183925101762259942258176525716702561251255947254166625322922521973251944254192464228624632712024623918024617631524602310324591987245850219245711532456848245538173245423102245317762452104524511883245016672449728244811482447157024461147244531106244410442443381402442735244121832440331082439229924381458243719872436145524354820324341361243348217243217832431783502430156624291770242822872427198524261699242511492424947242313682422261212421351502420938241920852418731241793824161456241516702414156324131465241212592411281022410938249937248115024793724617812451143244199424318732422612224195124419231187292311718632311611422311584023114934231138342311272423111836231108432310914612310852223107731231068372310583423104628231031047231026302310110432310016652399830239851723977262396936239572723946262393620239263223912480239052623895222388144823875212386833238552223848292383124723828402381622238010472379730237810482377124423768442375114523748382373524237293723711675237010422369727236810422367421236694123657282364836236314472362124923617332360104523595212358523235772523567272355728235451923539392352833235112522350114823496302348424234773823467372345839234419852343727234262523418482340522233951923381241233710422336419233594223347322333251112332145523316242330725232983723281562232732138232651923251030232426104232317632322421232115662320940231913562318135623171041231652223155182314211042313622231272823116292310315239525238528237730236104223542123442023352123252123131423419227844199227712632276104122751145227493122732912222722913622711863227018602269941226872922671767226610432265271012264124522631555226217602261156022601656225973522581877225784122561259225516642254218922531674225227106225184122508412249931224811452247146022462397224514612244115122434182242936224117852240351482239104522381344223720892236271282235157622342089223311432232936223121812230241002229846222820942227145122261676222525108222493822232298222212522221415222062322191769221837144221722102221693822152285221417722213104122121448221125101221093522915612281345227124322613462257026222411442231244222228622110402241921112104321111829211108322110913502110811422110752521106623211051252211041666211031157211029382110193821100726219993521981142219720752196103721957322194124921936302192833219111572190199221891143218884021872383218663121857342184166921831041218212512181146521801045217914722178146121771261217612512175629217416752173158321728392171842217052921698332168735216793421661142216593621647372163939216273221618352160732215983421588372157735215613552155731215483121535252152114521519372150733214983721488432147208321461247214511462144188221431455214213502141135621401045213916612138730213783721361772213510492134104021331147213283921311357213018802129135121281559212762921268382125155321242282212362221221352212172721205262119135721181353211711422116735211583721146242113104821127292111104421108372198452189422171459216835215145821410442131572212114221173121419201351150201341979201331353201321259201311875201302085201299352012817672012712502012683820125828201241247201231870201226232012115652012014522011962120118722201171349201169422011511362011417652011314622011211422011193520110103820109124420108135620107620201063152010573220104124720103627201028362010173020100831209913442098123920972810420961662209551720942071209341820928282091937209017682089124420881248208715752086271052085936208493320836202082935208117652080157520795192078837207718692076124920751046207413422073146120721976207126115207083720691659206862120675192066124920651239206410422063136720625302061155920606232059833205814602057834205662820558412054939205319742052113520515212050929204951720481035204721872046727204510352044830204351920428312041213204035130203922932038620203751920366202035414203421120333122032312203131020302820295182028210202741620263102025515202451820234192022114020217322020520201941420181348201751820161037201510392014114420135232012937201151920101868209415208829207730206124420541920463120341520252320112204191998144619971045199694319955231994417199310381992624199141619909441989414198842019879371986524198562719847251983941198263319818331980522197993119787281977839197613621975259819749351973167419728361971934197082919691036196884319671038196683119651256196418611963933196211461961114619601251195911521958291291957316195683319559411954114819537291952736195110411950937194914601948145519471035194613541945124619441040194314501942165019418351940834193912461938114819371147193683519351653193493419339361932629193111491930834192910381928124019271141192618761925835192410381923145719225241921155719201138191993219188301917115119161042191593419146261913625191283419111146191013451991443198145219713451968301951352194145219351719251919115194191811024921810918681810862518107104818106942181051466181041149181035251810214651810111471810052718991148189815491897835189619771895124918942078189313511892310189162318901553188931018881350188713461886259118852918841034188393818823514818819401880105118791776187812481877241031876134618759291874166418731038187282718711565187012431869103618688241867621186611371865125118649341863208518621249186111491860134918598431858197518573011818561892185519831854145418531051185213651851135918502611118492812218481663184711521846136718452310218449371843113918422079184183018401562183919631838828183716571836125018351241183413501833115018321470183128123183012481829281291828301291827155418262381182583718241758182372518223315118213214218201356181938173181822109181734127181619801815187518141978181311481812939181173018101661189104218862718711441861146185165818462718331318215691811142184191711121721711022901710953017108835171071870171069451710594617104146117103940171021667171011978171001463179923921798147117972711417961147179514601794155817932692179212531791114517901037178914531788197617879301786135017851454178411401783125317821357178193617801456177912461778146017771142177613601775124817749371773136317721139177115701770178117692287176815571767187317661454176593517641996176310411762156417611358176025113175921921758187417571884175613521755156817541455175316711752944175125100175051917499451748942174719761746198217451258174421871743630174213481741104417401159173918671738724173713481736165717351156173417711733229017328341731135917301248172913551728125017279481726104517251253172412511723251081722936172111501720124517191252171818711717135317161468171521821714731171313591712231161711843171094217916711781149177231101761157175177617413601739311721257171219517419161288321612714511612612531612522911612417751612312491612294216121735161201143161191971161181566161175201611622941611522841611413571611394416112241071611115511611018651610972716108115616107136216106249416105115216104124816103166916102135616101176716100941169910411698840169718761696156416951557169419831693176816923213116912089169016811689241031688135916871043168619911685114516841451168373916826291681251101680251191679186816781575167719711676291091675271031674104216731562167221981671229216702074166924931668135416671565166617691665166116641463166317721662177116612396166012581659196516589371657734165612571655634165410381653124316521148165112511650732164914581648176716478311646728164516671644126316431561164252516411878164010371639115316381873163714461636281221635321181634104316332291163212641631156716302090162984416281982162721981626218616251569162494016231349162211551621732162010411619625161810391617727161642216151149161421100161313491612157116111671161013471691044168948167145916673116584016483016373616218681619421641915995221598624159772815968341595319159462715933141592319159142015904211589521158815631587736158651915851469158462415833191582630158153015805251579528157852415775191576315157552115748411573319157252415716251570523156941815686231567422156694015651462156442315637291562416156152015606291559624155862615575231556829155573215548351553728155293715514181550522154962615488301547104015463171545520154483015434201542114115415191540420153910461538418153741715366241535624153452015331139153293115317271530422152993615281245152772815268331525725152474215236291522126315211142152083415191152151872915175211516737151583615149391513726151252315118331510728159729158939157834156937155727154831153739152730151625154191452136014511036145063114496321448105014471142144612511445146414442610914439451442136014418391440939143913541438186114372611414361558143513551434156114339431432251071431218614301253142942114281250142718841426134914251255142415591423178314224418714213413814205181419145614182290141716621416725141552314141043141316781412177814112911214103314314937157148135014711481462611714521861441975143167614214541411672144191343156413421871134116681340135813398321338218213371974133625101133519891334145313333913913321355133151193133028106132983813281152132719671326167413252394132473013231572132219101132113541320734131915581318271181317421821316451881315115513142710713131986131294213113512113101454139530138155813715561362090135251121342711113324101132261151311560134191211123941211019791210929123121081767121071459121067301210511491210410361210362612102145712101211051210047169129914551298935129793912962072129562712941247129312561292114612919391290238412891039128822101128721811286134712851249128413511283187012821153128118721280371391279135012781663127724841276331231275114512746251273124812721244127152712701565126916621268301101267281111266248812652611412641766126317711262147412616291260103512591772125893912577351256177212558331254146112531554125212471251291101250229212491139124815531247145712462296124511501244841124325105124218701241208612403212712391046123826104123726112123627115123511381234104112331768123219841231321311230187312291042122813431227103612261968122523891224197612232391122294312213213812209421219177712181873121719801216420121517761214938121313541212834121112431210166812914591281557127730126251061251663124166312316641226311215221241911123167311122318111219411112017691111915611111810421111783511116261101111572911114146811113176611112124611111104311110187211109207711108187511107155711106937111051036111045201110316571110212441110124941110093611999421198946119710441196631119510371194188611932082119216651191197911909371189237811883613711872182118611421185157411842711011838311182125711813011811801130117913431178271091177134811761554117552211741148117314601172134811719481170186811691563116812441167841116618731165114711641870116323851162228311612811111601768115912501158146111572181115618651155728115416651153166111521882115114521150186311491975114819721147196311462476114515561144198411432386114220731141114811402694113910421138197311371155113617581135125211341866113310381132145911313112311301038112923921128208111272911311261140112593511241161112314671122727112194111202410011191150111823100111739146111616651115146211141664111318751112279511111048111013561191147118229311731127116166411519851148281132598112935111103611419101091145101082387101072485101061655101059381010427100101031045101021564101011460101001453109915601098219410978331096830109510441094228510932410910921461109172810902711810891151108829131108716831086526108510481084135210832285108273310811764108010391079626107816771077114810761038107514691074229310731787107216601071341361070135910699351068259610671561106625901065104210641565106342110621036106142141106019761059207310581044105715631056522105516581054218410531143105213521051113910501253104922811048730104712491046156310452087104410421043114510421147104115601040124510391981103816661037228310361760103529971034176310331039103211481031271141030166310291046102818891027271181026167210251145102443198102326113102241166102122841020166810191771101829123101714541016186510153913810141042101317871012271041011188610101466109157410863010715711061462105231011042812610329113102269910152210419912915549128146091272179912616569125125491241882912317789122221029121187791205219991199419118311279117271099116176191151861911422889113208491121610991113717491101561910927101910823869107241179106125491051685910416679103166591021774910122999100251289992711399816719971669996145999518889943013299319869922390991261039901780989135698814769871146986188298516749841871983251129828439812711898025103979209397811479771567976937975125297446190973126297224107971241329702612596932168968167996719105966166796513649641773963166496212559612611496022118959198295816629571144956104595517819542295953124795222939511456950166594915639481664947178694615719451470944147794313529422311394115719404317693916709382912293731134936361609351984934291399331460932156493123102930231079292912392828113927124092618839252396924331709232097922831921104492016809192411091823999171883916241029151145914115991320939121879911136891010399913569816779723105961874952613394229893321359214649194187522958741885873135787245209871135487025948691146868103986720788662610786527115864937863207686212538611250860331348598358581455857104385612448551038854178285318688521774851937850136784918748483614084717768461367845136184419888432088842351498413315084010468391666838165983718818362198835135883421938331252832197283117698301674829198282810488271261826199582513588242195823114982210398218368201254819249781862681721868162081815125481463081313588122310381122998101867891152887338723101861151851147841147836348217828118898419720611487205166972048417203238972027317201125072001044719973271981252719710477196939719526997194146471931256719273371917287190125571892912571882810471873715371861040718522887184114071835187182840718173171801469717930122717810427177947717630132717513647174527717315647172261047171197971701052716940172716814777167198071661141716518797164198171632711871621773716120937160432007159832715832141715743222715630129715541170715415637153145971521569715111467150391727149187471482289714713637146361537145208971441565714341165714223109714118857140940713910367138249971372913971361160713511437134239071331380713212477131229471301047712922887128167671272110071261666712552271248417123197771223127121420712031771194257118625711711417116115571151140711452271131146711241671117347110730710993271086267107624710611367105186571049347103167171029417101231027100197979910447989387979407961885795188279413597931664792135979163379012537894215978822937871983786241077853815678484078373678213547811146780135377915637786337771666776837775239677425113773351327721366771251077701771769271137687307671139766145876516577641471763135976211447611139760932759217675817727572912375615657558357543214575338146752104575119957502087749156874814727471362746188774510487442811074336150742157074110427402310473914627384016173737157736115873519747341147733291107322611173116647301678729166972822947273113872620837257347241248723125472228130721526720251057191770718125471715667167367154167145217131350712175771116737101148791156789457762776636751246741043731457721350711474196165218661642910461638326162939616116666160166461591977615837138615735144615614616155844615417756153177561523514961514218061502711861498366148371426147135161462812261453912861444016761432310661421670614131145614020836139229561382611761372096613631128613519756134727613318716132937613110386130281346129838612836151612710416126941612528110612429118612315696122241006121209661201259611930116611810406117113961161863611511486114231056113126261122395611122100611013606109219061082510361071353610613446105844610415596103943610216536101186561001568699441876981359697166969612626951769694291286934920169222102691441716901666689178168816596879566868446857346842110068314586821152681229368025926791253678186567718696761554675950674145867324106672838671391606704517566912476682310366752166693266527105664103666317736621248661177166022956593111365814596572277656217465563565427108653157165225105651176565028103649843648156464714566462390645942644207964314636421157641124664015626391771638228263719676361050635281146342290633146663213606312711163019766299396281660627176862611476253213362410416231243622125762114546201368619371376187326171756616936615929614249261393761225100611104161013566994468135367166666311386512536411426312526214496114696419512011425119241025118114751172910851164515351151770511422975113156651122286511113615110642805109155951082299510726128510652213510520865104241005103218551029345101261005100167359911455989375972711959620865955119659424104593241165921372591209259016825894520558812525871869586740585146758416635832189582261285811570580197857910425781771577249057616585752598574840573259657234139571197857019895692092568311295672594566241045651262564472185631367562136356116685602711055921775581254557241095561148555136855438158553158055228116551231045501045549331365485122854716665462611754531140544411955431568542261135416828154019715391449538136453712495362488535146853413525333414053240162531261065309385291356528166452724995261462525135252417695232110052218755211570520239251929107518301345174215751618805152492514251195133214151245207511241075107405910475827117571986566228155432015431137536127852532425124975419417650191417515734174125041732612941721887417154216417024994169114441681250416711434166136141651566416414584163251314162261364161147341601460415914574158832415734128415663141552210341541990415337162415217784151843415022100414914494148145341471148414618924145114541441885414316584142199141413616141403313741391471413862841372078413629130413538163413414624133124941321040413132129413011434129221024128291264127401784126124541251773412416664123207241222195412173241207354119211094118836411711434116206741152081411426974113331354112145441111146411013504109197941082182410714544106730410515674104229441032010641026228141012396410031122499104049812644972712849683749533172494401704931670492602354913216249036168489281284882288487176148615574852277484228748330135482135648124101480124947918734783614347748204476209847531139474219347319754721763471114947072846918924683214676274662710746519774642310546316654621673461156546030125459291324582510245720100456209545511384541880453103745211434512094450104044914544482069447291214463817744594444414644434920544214614411243440155543915684381885437157843632158435229243440192433198843227108431125643013534292499428834427136042614614255826442442185423542654221763421114942017834193515741824106417209041614704152210741413554131879412882994117127141013634915714813704719914637186451679441458432811542168241291254419320011573199301213198218531977303196729319543188319414583193209531921145319121100319011573189938318820863187219931862410831852399318412553183281203182937318122953180301223179361463178177431771253317622873175115431741564317317773172156931711147317019783169135431681674316733151316694731652073316425107316383231621353316121683160187531593012131587283157145331563715731552189315475291315325106315240166315119843150626314913643148105031471987314621883145249931442710731431251314213603141633314024105313994131386293137135431361570313523104313413713133115531325293131527313013623129166131281245312794331261768312515693124136031231047312212573121114931202188311928127311831125311723983116187731159403114158431131459311235152311111483110231133109114431081149310710433106178131051465310414703103341573102135431011774310015693992077398135039725993961042395114739411443932499392155639124913901462389114338893738794738618833851352384291263831462382729381331463801367379281203782912037727116376936375361443748343733211537217793711152370939369135436813663671461366207536516703643212936362836215543612511436072535915473587323571159356136035531132354630353946352208635183435019803494518734853534723793467333452191344208134383734213603412080340176333920923381552337351383362410933518663347273331148332114733114623302696329227932827113327218632625923251553324156532320813221150321188832026122319261073181872317654316115031524107314241253132911631294331114683101666391347381554374619736135035113734187433115332724311334192286491962285271182284281032283321382282129551228115542280145222791772227814542277198722761145227545186227417792273301342272281122271208922701557226916652268136822673012522663514822652712322643917422631144226224922261249722603914822596724922584316922572411822562410222555018922542287225352208225294122512712222501577224960240224830114224743165224654217224516692244938224328106224273122416342240271162239156522388442237351402236251112235472002234251222233642882232331472231452032230301142229461932228401772227729222613542225146522241466222316812222271222221391822220261182219261232218167222175724722162593221522104221430127221349214221220932211207422101772220912492208166722071149220612522205145922041765220325103220283522011457220024972199124921982611021973012121967329021951466219422107219315652192624219125130219013592189271202188178721876528621861777218544185218432123218315612182165521811354218016772179939217838163217751266217614582175116121742912221732593217215622171186621702289216911502168176821672396216612572165311232164431872163935216293721611364216011572159209121582489215794221561045215512662154135021531153215263221511787215031138214917662148197521477272146147321453213021443414621434519621422189214115542140301272139146321381037213719792136311352135156321341554213327114213217702131933213018742129168121281776212714652126301222125221152124198321231867212212582121157021203111221191046211824103211711472116145621151252211430113211331141211217582111187221101776210933123210818732107175921061961210525982104136521031249210274308210122892100104429910442981255297187229625102295944294176729327131292115129130119290271072892610828810462872813828613632854923128415712832915028210522811354280239127924102278114527793627623101275197727437141273115727210452712497270176226918712682380267208326694526512542641354263157026224108261602572602811825918772582095257189025673025515602542712125373725283025112532501050249188424819692471258246838245847244105524374124284224118792401469239105123817682371143236198623519802341363233231012321248231157023028111229197022813602272082226391552253414522413662232078222239922112532202510221919862186192171772216115721573421416732131977212729211114321012512910492811472712532611472583324125223847227272113241917944163191541914312132121241811419"

#### 7.1.1.1 Fact: Rewriting the full text of Quran at verse level with number of letters per word

In Evidence 7.1.1, we had witnessed that we could rewrite Quran by concatenating the 6348 representation numbers of each verse at the verse level. In this fact, Fact 7.1.1.1, we will observe a similar rewriting coding, but with more deep resolution of the text. This time instead of using the number letters per verse, I will literally replace each word with the number of letters of each word and rewrite the text of Quran. This further reassures the rewriting of Evidence 7.1.1 and shows that not only the total number of letters per verse but also the order of each word in a verse pattern has 19 the similar 19 based design. This fact answers any potential objections such that "why is there no coding that shows the order of the word are also under 19 based design?". This fact, Fact 7.1.1.1, answer that question by proving that there is also a coding at the number of letters per word resolution and we can rewrite Quran also with the same pattern of Evidence 7.1.1 but now with the information of the order of words per verse. Also, this fact is based the second type of the text with 6236 numbered verses. Therefore, considering Evidence 7.1.1 and Fact 7.1.1.1 together, they support each other assures that the text of Quran is under 19 based design up to its letters and thus intact and unchanged. Moreover, there is also further fact, Fact 7.1.1.2, that further shows that the pattern of Evidence 7.1.1 works again if we use sum instead of concatenation operation while coding per verse. Considering all those three similar coding patterns, we witness a very strong 19 based design that shows that there is 19 based design in the full text of Quran up to its last letter with the current order of chapters, words.

Here is the proof of this fact:

x <- nQuran
tmpwr <- c()
for(i in 1:nrow(x)){
word<-unlist(str_split(x$text[i]," ")) tmpwr <- c(tmpwr,paste0( rev(sapply(word, nchar) ), collapse = "") ) } cat("Tail of the representation numbers of each verse with number of letters per its words: ", tail(tmpwr)) ## Tail of the representation numbers of each verse with number of letters per its words: 5342 53 53 6722 54254 652 cat("Head of the representation numbers of each verse with number of letters per its words: ", head(tmpwr)) ## Head of the representation numbers of each verse with number of letters per its words: 6643 8235 66 534 6544 865 tmp <- tmpwr tmp <- paste0(x$chapter,x$verse, x$vwords, tmp)
cat("Tail of this big number at verse level: ", tail(tmp))
## Tail of this big number at verse level:  114145342 1142253 1143253 114446722 1145554254 11463652
cat("Head of this big number at verse level: ", head(tmp))
## Head of this big number at verse level:  1146643 1248235 13266 143534 1546544 163865
tmpr <- paste0(rev(tmp), collapse = '')
tmp <- paste0(tmp, collapse = '')
as.bigz(tmpr) %% 19
## Big Integer ('bigz') :
## [1] 0
cat("The number of digits on this big number is", nchar(tmpr))
## The number of digits on this big number is 111098

As we see the remainder is 0 and thus has 19 based coding relation. It has a similar approach to Evidence 7.1.1 but using the second type of the text of the numbered verses and also in further number of letters per word resolution. This is the maximum resolution we could look at in a text with the natural numbers of a text. The reason I designated this coding as a fact is because Evidence 7.1.1 coding pattern has an exact matching evidence at the chapter level, which is Evidence 7.1.2 and they together shows there is the same rewriting coding pattern both at chapter and verse levels. However, it is not so obvious how to get chapter level matching coding of Fact 7.1.1.1. My first attempt by replacing the number of letters per chapter in Evidence 7.1.2 with rewriting of each word did not seem to worked. However, I am not sure if that was a suitable approach to match of Fact 7.1.1.1 at the chapter level anyways. It may be the case that, there is no direct matching of the coding pattern of Fact 7.1.1.1. Because it literally replace each word by the number of its letters and this happens at verse level text. Concatenating the chapter indexes with this verse level representations may not be direct match of the coding to Fact 7.1.1.1. In that case, I would consider Fact 7.1.1.1 as Evidence 7.1.1.1. However, I want to calculate a more conservative global probability of the overall system and would like to designate each coding as conservative as possible to make sure there are less objections that might be caused by such coding.

For the reference, to the best of my knowledge, Fact 7.1.1.1 is first time presented to the literature in this book, and it has been hypothesized, tested and discovered by myself.

Also, here is the "111098" digits length big number:

"11463652114555425411444672211432531142253114145342113553342311345528231133533423113243222113145342112453423311234433211222541121434221115532352111435571113433451112633434211115333331103753383441102764326551101564333109643353109554264310945524331093542643109246242109148422108346252108235431081367310772771076362510755562251074274107357433310724634410714644510647326326410634532810624664710612461055354610544426610534645510525525431051756333231049353210483554104747344104637431045462531044462631043454241042454341041444331033967578655310324337210311610285625621027463721026265102556362310244633210233633102237431021276101112531011043253101925410184732410174542310164742410154766510145775431013472531012272101117100115553421001046224100976224344100845534100745334100645472100534251004342510032491002249100124999863335439976343543996675654599543433994374599343274992375699147553988213333354434467524344369879632586552986166225464329632552985166346667552647353984116623236554398334349826544424981126636963255329755543249749322444684973633235497255425397155427396195654239618284961725596163555961568642339614534343961345325961237329611553325961033349693445968463329673632966457239655422739643634963364496243273961534344958485449574635395695334865539554646295465427539533654952254951286948353494735449464452294544523944342694334449423436941442439311443549310443649394436493835559373445936445439354535593456223793353334293233369311692212459220563363921964424439218454449217268921635349215463629214344892134763392123552921164343439210267929274928473249272679262749254542492434529234753392234379213436911536439114766455769113774444349112365291113744911045233919452429183767917353491635369153537914363691335379123536911266902035359019675275690183755901798767552329016452629015352590146523252901324290124625390113653901027790926690845243907533225906444549056344225904532753903333590245424901454428930246892935268928555335892748552892643543892553542689245645248923962475555489225336348921633533389204335689194346789185743638917566223891610535444623489151153556362374891439328913543353891236478911462458910372689956555589866254248973633896643332389563333228943336893266892235891168826465228825365288244664688234442388223653882144344882044354881944364881844364881764353648816266881526688142668813363488123534881145442881035328892568883554887632434288664234338854432488435448832558823554881474428719357387185653328717353787164666287154433487144424287136434422871246544871126887103425879464248782668779435434323876343687534458743645873343587234348714633386174568486162458615346486143623861333438612353686113537861064332238693743868454338675853248664432386543276864645332286326586246253861277852235328521444228520446258519552552851825585174644285163434851536528514366385134542385124533285111465375244386552851014644444622985528591043235683248589665623453857649623385644522855363585437538532658522768513637842595333865538424345684234534584224655284216626534842046233841943246841834368417333684163643841565233238414542223841356423384122558411354484106445424849464368484555484756542484697433437428453455844454258433354842345584135638336665263283353673833466625568333465638332665255483316575374833048344832986552565283284834483273526832661083335832545425832456462483233673832244372832128583202548319452538318653742383177624434283164654283156854243831486526332383137763644383127442324383114546583103853839254838442538376436423836583543835244834574533833566264832675373583128382199356443423821865325228217553253821647423821535378214443638213443728212362682112658210375382946623828643242282745544826764327428255542348243564823346482236748213663812988244236381285624338127583322812626481255454238124555323812346634812236638121342481206452332811944443811834368117343681162568115364381144523481133554811234648111346481103454819343381834848173464816346481534648143464813346481236648113453804246625804124680404455580392758038355480376535443803625780352548034542533803336448032393580312468030246802925780282558027334780264355280254355380244537680235423338022453328021365280203462801945442801844322801745273801624480152458014256801335328012343380113543801034348092438084442480744343806342480536238044664280344453802364280125379469524362635794556243479443733794346233794256462779414625379409525434324793946263793836647937332479364336579355327537934466447933393579322677931475447930453367929455557928365379276562435792664353227925576445792446434792325479223442792124479203655791945336791864232237917533534791663663527915444427914382479134542579125533357911445347910572846799257798355479727679637437952497942497932497922497912497840165352654425435583783994334334537838145462323723954378371053626636827836554324783565344627834255783326678322757831357278305536367829457337828357678275552547826254782536537824653446278233646782224778214644278204556578194656578186665243781756353278162657815463257814553827781335567812454567811356678103556789355678826878726778645543785373278427378347324782365278128277504644477493853774866263347747385377465645747745385377444844377436643574774236367741554272774038537739563333773858753377373853773648343773546233773438537733335477324644477316524342773063422377729662423777283853772775396546772627577254554377243853772338467722353377214442777205432637719385377183944771737627716374377153853771455325377132547712343377113454771034647793464778346477735647763424775249774249773249772249771249763110553395242476301155342442363762995334335327628967544567376278546675527626754525537625564335762495244333457623666453376228654433327621135546325573446762075554244761996566365557618474447617676344676165663267615874632555761466656567613107344427346761256353676118646532467610775442437691053444244647687666336776777334765766768443447658663326727646675863763754536637621055765427537611164325237332754076423534753957573475385444327537643242375365342757535452427534352475335543327532353475314333375304653375293656752836337527332475264743375255534237524355575233543752235547521266752047523751945522751845564751746452751662552427515374375145543727513643357475124753375113323751055357475936547582547573534756473447555557427546542363753554375752476437514744274561174632442363745534337454353374535662237452954424424274513523745037357449567233744848563744736537446454447445482447444474237443572225744243252744128274403842743936537438554332743775252433743625574353554743434367433342674322637431575432323344342542434444449362569655536556655755435536355537430334574292557428433427427432537426236742555333274246433324742337427422343274212327420433327419333474183433741725674165573337415442427414362574132557412464257411454347410443837494435474847234747255746364374525674424674324474225274136427320784442494542435327634447656734274427643265266445236242754522375453526555424434327319953343353273186643256731784744525473166547654731511553635555637314855657543731355632673124665273116566495731075476235739956233276273866453357376546222736845432552735554453734666442273355342473245352731364272281343255354662257227134434324442523722674434354722511432426254227224114454286243372231644643236433842537222126423334262327221843334232722084243344272191044655433347218844253373721710455332433772168439738237215545684721410456438483472131443443443245534721211453524422447211945333483472101344342523434247291345234535544347288554486547279444225345726114742565243472510443554224472474436434723943542425472294543255347211345536423533427128155383399543472427127105535355523712610582533223471251264323534768371248538335537123135543533436426712235467121135354422754233712045447711955533571185674627117555265711675544454711585634334371143653711365352327112963543556771114656471106533484719763635327184563271714896686275356447165535537157644432371418642423343243376234713576462712744333237111444623244243463704496545336757043963355726370428645637657041883344423704077387343703956373370388434244257037546362703656455470354642570345763267033469267032556926703177263453703010635742273370294672670285534427027664422670264546670252867024552726702356632570222737021455347020454337019453727018254701745424701625570153343701465255237013354770122577011955425263870104544370936657084664370725570635547053545704113356332468470347242702442387014454369524634469513634695048354694956425469483764694766332436946463626945373669445835436943482256942662544369417625442369404444369393623693846343693748352693655234369355455246934574333693366542336932775555226931346269302546929373369284534269274745269264623369251163252565424692487626357469232566922353269214542369205643436919966456542469186544265691796553357366916555366691537466914653575569136545234691265365376911772753336910654644569968104354698552333697155355445454743556966544734695487446944844469346253692262691166852583323685112637553885543685058253768491053743246246848115342553334568475635526846764234626845544235684410623296443568431163635533675684298363632436841865287532684044444683912633273355532683856333268375634326836463326835398668346644372683386524666468321064334462436831653352568305833556829663345568287643336368273732682656355468254633568246555722682338386822764253526821267682027668197633245468182736817106862555373681637356815776364436814553232681344333681244454681135446810544233689474246883833687119435223423268627668527668444344683553523682563532681463616730104463454262672913442228652462267281544284352334626267271352443455444446726944354354267257642533767248655254226723126258853464226722126434434434446721125324244264336720154238263263324336719154333636265553446718843452534671712438554262252671611424534262266715146542572655334267147663324367139644326256671294453645526711566568671011652324243266791844234232432564523567813453653444524467784353545367676444556675126437858766446741043554555426731842325552632325633467211663444775346719432335445661217825546552365545456611248525552552442324255554446610278255444255396625353635554436691264475510645426684643233355344696345356544237524477442435443555426671264254572554266623627524524465856476355426651775666666446525233664214339856524346373343526632966533524254325434462445633533662116636574343266115445655243242542651225433424343234275555536334465113442442446752445555435372865556445456510174544255742465534365974554545658144585595432342565725433455234442443644334232565632426736576635354357352357735253276551442563443355433654284422443354257642745662626247653214334324442434353523266523052443356543224437743376726854465142433443424334443444565235362724465667653542641856685464171244535364446264161682642337477772466415843454874641419444377538348722554264139874423324641211666356367476411164335435434435242641011644655576566492765344675244663455543733546364810463564665664718443453626432622553646164354766746856443645134445463255353644146445635256822464396555656836421146354545542641174323353525238223463111163455334443631021824543364255542327227639188263434327375255426381762949754545673536637206294685463443236265263618854242344236223754635148357644436633463422634675254265356463756463311623634525536321265234442537663117792456345453459436211218357352343225656425446210156554743275286446292264233455433663264355426281864378543527435452262799456434736261864256532364525542262523854254555533646472275536241065254254336238663363466222144332537677554457234262112666552382234611436675355655732554539343629434334555542611398444423756112176533424675244763461111564233478442865661101244265352554261914833353644654426181183343584376617168542573435435343616324335854444245672333554437324343361524854256445454436372325433614115553527534261396226243436129622625542611116635238223360132065263362525434625542601239444243775263763765375353534552237843542601121624446623745576372353601056445544346286277463683725436263523322263736838449785355426092182663627376285275246460821834257626273528252462607154454544654542436061965243435644334443336051366334355546246045265556443242243285733456348765435432644436523672443426031346355473737626021362568657536726014964234536363447556752554245626664253537556646255425924176636822246726664259231963457667666523324425922136628542332442592118755674442656336362592010825556555259191082567446635918186344246342364555425917108444652584591617824433433344732745915114445455525459142362353375645534225323592591312623534262435591216622756482644626359112874458634444346636325586653235910234434553624386593446525659931826423353336375346253542552856659818825647742468626597597376442467353565348344226498647453253442596254323542344444332463453443595138645635824252594126443443645535931454624626654325592417428857665624723246426745625254626325544259111663523822335822518243234353544346752447346762357272726536432656564325821943425364358208725646525819158273237354377565818178243334736327546358171564255544273744258161044444253765815106523455343581419635374342254345532358132463456476567544623563362758122344435235333463366635542581131463555564554476343447726333554258101787444434645557264589206444675766867373554258838647454346462742423454668683436262453235874743342735362523423433243623436235424252382244223586154323554553754635851844954635253356465258426449444657364652362328553235832146352646232465362627658223444355257566372722624755811844428454365264343257292265254254353432336363445728224453525435525566455542572739645545567253456357288546542677435666352572614645457672684645725284342655246564336765586478563572412652434365765572315452325536352355572221443326232423623525242572125652542543355554664544253657203964366364264463542554256434872656543664657192065576566534388255556571812434354447982571713656342535442657162864564554326566342334464255335715156462565523444265714206554333767765635433857132764266353245448663525755109435712226523467524456963549833571112433274444422571037463564347326524455532424526854442633357917453435372754434425781564273357675623357715433745638537655576126443526562545758644468325743646354234344362434435232453524326834257394333776525721143233546832571966368223356964634456955623325694246569334245692678232456915652255690665232456894446456885823245687464285686563425568576244444568436555683474355682464575681464665680482255679483425678354256773453567654624456754664356744634456735765735672683266556714545756706655642566978325285566846457566737325666273566566557425664583275566336275662665665456619622277423566078335553565958327556583527565746573565645353565535375654462475653364756525423265651587442565055353856494872256482785647984654446656465653565645563354564444342564335235642354256415652665640372456393723563826656372645636268563535835634264563346362563225656312545630253562925456283532562756526656264554356256634462562446534562337665622234562146334562037365619563462561854247656174655456163856561536335614372556133723561236425611285561028956957527656857527656735655663545565336456443533563255562357356137435578686233555774654455766463436557546544557463353625573465445572462735571465445570345455694654455684545555674654455663755556546544556418556346544556235635561465445560573742555946544555838755557465445556933536256455554654455549374627336555346544555255522555514654455503655554946544554825555474654455465534345545465445544524456554368344435542465445541688578455404654455398333424265538465445537674565455364654455358735324645534465445533176362768526272644255324654455314733555304654455291032232682255528465445527686233555264352255254654455246852763552346544552248654552146544552046246551937735518465445517483825516465445515632425455145752735513465445512485255511573654551036565596763657558472535574745755636665553665554264553273552263551165455654334254545442725453455435452552533545164237645450664535354495463235448932563526354475442825446644766254454565554445543625443952532623754427543847554415552345440742356545439345654385544545437945666426454365676645435732445245434947323556354334633454327423565454318756545635430445345429446665428853254526542776834653542655623754259342252455542410443335535654233644542274235654542144534542065355545419953325456354186453434541774235654541644534541564233745414633347454135453375412932335655654115546565410565334549965656335454883338453654785457267454683335334454555335454475327254543653377654275376343541455665362373753612655360353753594663453586543233535726453565652435355463445354332653532495352954254323453513435535046444534946224534845424534746643534644342534557573453444542453434542453424733353414665253404334353396323733533854353353373348533674323422533553353553343555533334465332314342653742443526234274325385575533116765553655523822453301653435223423252635329116633352422553281644242434362322335327965867625253261854344232347428232353253764532444272532325542546434362523442748532253224443353214635453203675531936575318663423353175335325316542642531536355314374353134443453124323953115326325310542435539542534538353253736635363632535354453454332253345243532533622531333652495665535248104334474345524710626433555352469623454423524576345635524495465624435243963454333252427825646252415635525240764234625239564622523894675373325237792235525236762268525235882233252523466524575233662256252328532247625231692446252307632546252298535353345228964235323352276646543522676523335522558335552247545355552238534324485222563469522119433423252736366685652207348633652196643574521886446453652175542725216126425454622765215662423552146634453521363433535212563225521138545210346552944643528442225274534252627652527652427652335225222555211651607645255451599837435553515876526242515796243324425156673644351555846345154553344515365322275152135245342525324515111443333442635150844333435514976555323514848476514757447751468645432345145775342835144863774325514383363324351429753433232514176556233514074342867513965244555138846537243513776665346513678233453513568243275134483355133532555513266336355131584533513086623334551299445543266512894563254455127563355512664444345125963435645251246873442512396423336645122563563512146463512048453511958627351183829511766252555116963354452551155542725114782443655113565323511245346511155422551102835194323451845334517353751635535153564514249513249512249511249504513442745533634350449453354543504366654335042763356635041744264365040566553503912645433446235503813424343263685450371343542323353225036154226264432325635035646462350345633575033744466325032644362350315437565030942256254350298653335425028875433723502710442346245350261066273442345025444545024644242550236432354502212455536324233502165443255020663352450199433235545501884443324250178463629525016146324444252575450151043232225675014943532346650134366450127546335450118644427645010543366509106342763626508543355507114322475477650612423377356364505943235355250494464542525037433544450211433844452525013671491810634568344249171964275253427352262454916164335523822456472491518825442787722655584491427444247252646362744654622474491321444264362865853273542491232444246844342544543633432425755424911408263237365387366344323424344623323425542491010654663748449930834276674343343447637336778273498744554244972882587554625753445524262444274961865237646274452554249512445344543543494962674275249317445366455544375524922362574245462635337625542491164442466433625542482954555486554363564436754447267253632626742464455563536444482814554353644654424827285433246224627665432666565433482628533446336647845364584662553248254055455662425245344476272656454426666265524824195634456232344746243482312644333232443482212534522755563482114532344344256254820187578364543334855454819755448564818195475756224638282433481727555437524456433363336333633481628556326363444563629434336728248153153625282832435722446266585373854814145544425434683448139586465423481220445526623446396522524811375634324342334244234326232863777672825481025547444343434533634247485248986477765748856657348785544684448621554346544555525799109548519544334745467524498548419554468447268842744248345446482157564544342424254815542534738307622546637555424543425442755424737675669247361376365663436644735127534575536534734153443435244255524733117636746554247322176445253423266442555247318759494394730127455329789434729117442236253247281075664426534727786686344726157455327432555534725163533753423273652472477432674472377564555472210775262625347211234445353454447202735524634636254644545444455547191477459957433235471815663347334626363471766635664716247763435543455554253345254715447453552423426722444326833264523263332547345347141377432333243344713143438645233242547122234674377567524486554424711113428355443347101679543525533752644798754425534786743556477107564625542476435574753557474387334425645544644337533443346593364555447318754444246553665533472185574342434333686564718734425554635278534344243626243536352543354634186436635355345355444633224323336423563368344244463218442564224525444323463115442662342644652463020644434433543245535254629186534346554674244534628176535444246432655546271065665252644626328252344565232737354436743636246446251485447332744324462418444328222643576544462313645525274354346221282325356276546212543454343634343253384423354620276444452843545639662765355444619962378535446181765464252323255255461728763325243234484426334284273546161865453552727524455546154582443352255543543545426233644333466546435677646149653446555461313623533824455246121685555554445544434611194338262346243255554461024854242944373244264323262469244433334234233242435243224682566364523363424422637226624671443353455356544466968653553446518662373326224324333464296423252332568233252545432526246315663564453636852462666426546112453786636828345368825382544535168234626666444654453414623357354536544533118252345253445322293333326242443272432344531126459545345544530136523524786554452911642633554634528146425563432532445271084564468344526186254433273362626424525166427552353256544452421532232433536354663226452324644325354345434334544426452213623433265684445211762376486566277532452076454553451915735365834423524451813625543752536245172473547354325455232373525845161383872876673544515116432643653245141465345445256552451316745322355238223445121466428535553344451111432434556334510194446432623452443462459114435464623445814455623732444444574443345612664344546443455206446653525326244375745496444233534536856822452666426545112445937464458575665445776523324445610646663546244555553454454434844453587426445235424451544272445066242324449566332444876424342444756437444462644445462464444264444336424442866234323444110623442442344405675324439862645382443876636853443712654852633233443656427544358733663224434375244337443262844326833384443178253352443076627354442986536653344284549444274645544263455442555425244246634455442356446444226635234442158262344206625434441994653435234418944334434244178446535444416673664344156645653441465463524413744536334412663634444115443544410645643644956222244810763454233244786426368244676623324445663352444454324444386336427344226744112438966443454388862352225438786446526443861363532374255434385136563563683246438411663353362434383864563765438285352682543818834363224380116563744236243795644624378764645634377964335442643766825473437566334424374664428243736645543437276439454437115645646625632554437056845643695667554368964355324243677733455743661062346263624365114342554527643649643753242436317746374336752384344362743337634361106437353644436086526464343591074474633224358145322432522237643579534344334435647548435566947644354764547464353117833232544543521144342432332435118644247433243234255435076236454434912744333336326434813657852423325343477642375443461282434553746443451364632652426254344664624443438643344574342775474524341674425443401144233542445433997624525634338126483543235334337764762854336114236246323343351273376643323643345655684333176563247743653542543322563335545553356662755334634331104823363346433096243354544329945453754243287654254643275645434326963445573343257853354843241462633564535543432321663433653733424242625432211663433653524321882342572432015632232432726326431912775565642586431894362362444317124354246335344316777443424315945724522643144843443132062333334574734462537431211628523447354311126444274362354310116544344533443910665668326443877344437437882533263436672326343586442454643474456224433665556343226743112425315644335238222444425227643546242244647362432524465425122433425554244224345243342501144354256662424915643454334246833424827473643453334375346342557363424721423354232422323423258424616422344343286233342452744282373765582554332642656642442042332664384423223443424386333243442421544354452656536442419425264354424014832343553354454239672563642381167454667586423710625248557642361774455534336653263423594232627554234742453624233154435322435654324232685265342311443324323352743423010425644526342291644353342523683534228136535552325443422717446342444525654334226124439427865574225126257255264434224226443744644434433443562422329444244234536263446228655544434222246523436236528656343536834221224438354545424225235532422022426223446343342236343242199653424644421822443626523447465636253642171146353856444421618444364355262324266421534655446532747354455542443437434364542143043235266535443332445545523236342133842454245446283337356255725346542325233421213433354354686242111966335336673662336844210154554344435323734291643233643525642624281943323295242445364334272262552433253553525554654261255335446426642519662423523944695268442410653523822242310664425444442213421124154124333344242434153194323343443353636266415217442233225243232624151134434346447364415032442953557642233445633236443234644149114543354274241481242325325524341472842325563745333424372524363344146116533643653241451843235543244536645441443044265353362626535522565446656341431744353324253223242414213442542343265241419454536552414026463342673442235244552626524139224323365642455564553353413812623762633683413719644254375356266755341361166235637264413511422363553634134174345544442546365341331382445443334434132444244131165244652446366283413019644676363855824455241291682673764266445544128146753453435454341271065449555574126116536646255441252565464252323255353632365364124118223833466341239827655445412220635424254637355427434121186533533244465552764120126537855362334119863534544411855655641171465356575358844411619623466662547542545741152567634325442443332644529344114236263465432543635363256241139535357363411219665357665542255263641111665542456344363524110158445274445525444191482362752535752418953338655241786273652541616849494354345334241517645455336346342664147623656541376455544412466254111240851785452324435437623408412623364545544408315825234525358564408225652443526344455255337526440816644356408012654662458544407996547733444078328545343344434425334422545244246440771466725435424325407689444645640751164444526434407417843443243223454324073764233324072665226240716687272407096452647554069106344275323406812522454345442406730664483252557257246242242242542406620834253275343255424324065148235526623324240642182464447265564755334440637645554440621264233232444440612062544533342573753344406013647628523564440591162544432562405813725638656765340571262544532468440562366235672233622554442752405512863445724325405447553405386737545440521053464784234051117446625655340501642384365358562454049136243445455254404812633242423853404719525354343338575527340461363526644545654045106353452545404412744243453428404322552834353623624234743240421566364322322555740411053863622334040234446566434232533534343240391263263466343240389645632344403723423533623436355544335854036107444235254403523453234445544343554442754034305422434542442433325322438324544033163223443424232653403276354333403114644435265433334030117335433234440292764363323525352432635265533240283944224242543552345523428534342476452243440271364425225433444026186524225424335445544025194238336835556552554402474466653402364674644022136433466856453402130324233374652634325525553375264402015662424524256545401966436544018154434282673626374017136442532433245401615663553344342623401516635524234254527440148833526464013144235346235554240121565366243544334440111342433786865454010157735265244465524091265245357237440816663388623364347440727644575555432445592744643565406105545533435405214347427777732452833544041362653553442524031464233252645554402666426540112397517823545544465325843974168344352557454356397320684546347563345345543972994446456339713483643435354944554353634746334435543970963434232539691562355488464445639682264244332432352382245243967176366669735564245339666823542396514827465342544443964784474523963118254556686239629432333244396111623552855453960149442456435537439591082483555233958128253222633423957972454224239561583334324235234239551662546623242542473954136226623227437395321662356442442626365522395215645322543544264395115723525752565257395011652443525523949226264422336433463252724394811825234525343947257622423473632273555225523394617735225343854684523945188234253476254644343944116426832573239431463462542543262394226745322433655534562325536543941185533535236535564633940844445452393910644373632239383695444256225623622346243252724668326439371262544322343339361532234434268444439351265455754444539348843436233933872524635393215844244264433343393177437342393045533392919626235472445853444339287553235539271175322632554392612652466662547392510623266525339241364258473635443923343223443422443343376424554355756434392220442543267432333744343921317553225525542664242526536244223392020744243752453523345533919105224564424391813742645555757539171244634377277639161764252443353523523391519672337376558224242739146425442391394343424323912583435391195254424323910224458445444632654555422399247454626655223456465544233983455235542524634324432334432453327243973164436437643243533346356434343623963664233252444452332474265672355432532539523662344426545365635456833941666426424364424423933344224242732225442443836264266653339210525455646339166642653888433473887583322388610923332462238857644434638844455338834845338824686338814753338804824338796633723387865335433877544453387610326326333338751572327443424252338746824653387346484387296254235543871932443833238708443433423869972663223238683634386744322386676663682386511664332343423864653533238636744258386210725353232638611152454333245386011643743524253859105443524533385845424385745483385646474385553373338547422263238535646233852455663851755645463850573534384963473333848872353675384757835538465546833845886466765384414435356343254433843107553446426384265453543841115474334245538406345523383974442563383847266383745429383684345452638351563342452423242338349424537644383368644353832117533325253438316686432383074353666382997475754743828137742529865542382716525545523563665338263163434434425524425543553552563523825934552332638243255337545322586553335572535355433382315625845434632332382223643643555335353254453523821776253433820664674638195422663818786536533817114352555623438168633433463815104232543543381474353322381377566345381287264335438116725523381010728636833238976634552388154632422222525453871063326524523861244326375245638584432546438410443844452638310434632526238265325523814527137182482363718138353718065352353717936453717843344371776844734371762893717536473717443344371734835337172393437171587644371704642637169484443716867245223716737533716638443716537443716465423333716356322337162474423716136353716048443371594534537158107454445446371575642753715644532371552643715446332371534636537152475433715157524337150663585237149564658371484338637147662343837146552447371454437737144663342437143582335371424435737141482453714057533237139483433713836473713746565371363752371354825337134465623713348343371324862337131484433713045234371294724637128484433712737563712657634437125584646371245535323712348353371224862537121484433712046434371194726637118386937117386937116482683711556527937114564344371131045547354473711258246737111486233711038443710937343710847246371073447371065663323710578443642371044722837103464543710228824326424323345536233323533437101345737100582222379966334343798588427379776266255379646355379546273379435473793474543792462323791663463437903636378934343788462443787483433786564345378566455323784544332378348523378237623781486233780484433779582334377847246377747256377656525737755853643774484433773585335377246464377157452437704663337694565437685646223767742553223766664746537654844537646632444376348473376266424343761486343760565332375967336633758363437576824345375656325337555642453754464233753774654443752483443751742334433750583355374935353748435663747764233423746383537455424543744383337433642374236353741453353740484433739664235337384666437375845323736655664737351084332333543734494433733576255373245339373167343533730105442525333372956622537286627445372758335537264852237254723237243746372376437432372276538556372176244533372065335263719762454253718465323717278371678465444371564333263714483443713462543712374237111243273522433837107446632337944445378942276536237754522537667566433757736368237435523732493722493712383683865325446368210522424434436811466335423568345368011634446523343679104333336462367811436423444343677114424426372436769635243553367576333582367476544327367366465443672665653836711263366433534436708835433253669124533222535633668764525533667106348373843366696468636433665116536567734536645643563663564443366286645443436615643733660144333762233254336594845836585422443657652454336567673428236557632555236541164235343426365310654245434236521384632362525253651106437224524365076533583364986365436236487642533736472444234254422555553453633436461164534423263364511655363253343644633634336439623343633364266242363641875265334364015632364535423552363976833566363886653364636379624634534363613624635434734536358646534273634106246642446363310643478653436326654323363111625462562433630128253426263423629862454342362813633623242436336277826323336268643235433625475433624544333362315634733236424425362286554422336217634622636201186323437424361996342534653618124438862336353617566353361667534453615156342326435334253614116536568556236138852654353612144427337525643336111244656645424436108626228553691262393533632636810637336725336786236352336676364245365366536436433633833362267361123545255634353443364425332535453354430553352382326433343652553375264354326644336443373363535543545283542195352454542464537357354119553342327254526844235403353458322343357282332525454325576235392453584343435843453352554235381064436834423537254283666423526443435464473353618424462443754243356353514445334524273543534114542534435635331344763252458343532216523448455554562756623531164564243354262465353084434276735291642557373767445523528174442752444465875335272237754336376527362442233526743455423525136878565253363352412443332365573352344332352216622533424427375335214634335204537335194765335183464455543676455444233334253533435333517554333351664446323515116525437454235141843536674382536626235132852624256524444442654526562543512286642753548494462343454433753351134443324234243424353334243652422425535102442544437665665544554543235917645352733365564453582563442554434254234344432343571344538656443553561365274444733723551565636663243254235411644442343633532264233266264342254465423521966342243433434254423512443234242524554544846843534541542254328336245434531044267322533452944273424634511044263352333450164433344634335422344984364343234487645432234471743233433423332622344624443334322327272643626542344514434467255352543444114245638327334433443332534554533326643352433325565443442186344545555334454263441136364652525365344010655684256434392083353326325524354322343896625762563437235723535436543234565737334361362544543543223435873376436343414626337334242633433346523525552766437662554282753285854343215642523527485853343132644485854533544378233435364425543430108343823532342976425337342812625446554373342712664223526552342611663554245423425963436362234241744223452442682622342322653454345623332333474334222642423325335238235624325552342121432342242374253525233342010825373553434191944353224286866734463418175654554653464545634178635353733416164324433557853577341520434427432454253624333414276625256522452464543434254543413196525452665757624226341227642452433344342435326373558341112463357524642341013625634424355434929433432262454253432662536323443481667627625232244353471643344253633525543461666435423244455543451143243576246344104453586555343324423433243523823534254843266255434218663443624344352324341176636253523822243533731555449834599109453372185533764672576837533371145433643363573433709546455542336917543453454466255423368854762544336787786534633661276455265264333658534524463364753483423363155463534354262553362126443332452433361666555733601953482237729362694233359225544535243825585672542335812556737249856335714553476245645523356146644554253584233553053233424674236375375373736254233541153334352452335370543342442662344523337744442858442625475434258385475344634334235462554233522553234454235535234233262323351355544622454636436324344343634245442433506255443445743725525283225825425542563566545553544435436466263542334923557783253362328285355423348125544355310833334785442338433466565436334586657354233448543446363343135945372785442334236463341854465542334017533447544462334323339135544345374665333822644343245243243432533233374864344443852383423844334523555542425444444644444333362455236433526342464335353333353055534395499699910109999999999982333414553427442624263333256753545444645656568453624333220644342456536262445423331145437555556344333301754334563556432542332914544834366644433328165576776644272542332713532344625875733261657655624726327553325165444684446265543332416553425423295684533231865352543254462548233221876353644645235783433211754456443344442333332023536245372672542573362763319355433474562553446653452445644665345433181453553538948442331724534432353434243424264222331615536245252526622331513643475232465433141453363665272543331326536252346265447734243245433312135364523626943331165678553310167567657434435262339225634452645746254465542338855845285337175646435583347725333629662336836231082442445757762945335285544652426445485286623434276334286434458547833747673342524432333655443533212563342324425331145534210833435423230574645322911623755425323228764253373227176477344255535434432261864532272562526233432251173547354232322410676536544632231474375242336454322213782344235334332219656636629322021624454534464626457554321912653464486553321886253353432171365344323423433216116745445726632151582344644353574432141464354673354536321316665246352453264332121663547664436582333211116432334537232101464522433452546329146258853442344232884325243232710327344324432666685433251753336332442536254324247443324232535243263683443231865424252453242266232288223326532113313427444243334334434372255563442313331656366632432452325342442464554231322244237435543545264463543131194435322526455245223313016652436425234243331292546343433426545265625442233128114442543535231272144424542444246542524331261065242682233125156262352466832643124744362563123156444253765453333122156544676343434433121216436734645242544263343120304433334425253654555238223342433119116474242542531181645232424523353433117186323252356248463323116254442433522822424423522432311529643763234245662863322322423633114176382425263343577631131544525423243553331121843433354543342655431111444282425346433311027432247362742243342552563483319866334346318864386552317164554523623736444316184435473444246352533158826423353149627366665313385331246643311133060106257324325305986254344430581963425564543226325543057982375542630562062465345334425385554305512654435284644305424663424543323233323232544305314637423427254333052116436443642430519642555464305019432336532535434443530491074254232533048288235242244524544643626556444304718835346528875344264304617664285565286642533045118323428655530449685334532304316654223234232554430421466332553375252304115655437544364263304022636632424272262625254430392282643642534343552532533038168264365336483623303715645322543544244303615623643453354554303510625353656230346647737303318654434363246442524303211553324655523031982636764630302262544553445255344455443029166233432433475542302827646446784357225274223262433302718663682653443525443302686226822330251664352453256642533024216453225352536255455533023146453224297665330221385322877683533021207453225454576623325330201173432425253301914655355425552443018864568253301766453463016116626657655430159642386554301457564430139686572333301258464430118642525443010138364552665532309326654743385763475734355255337526430822745525344536368432627430710626236625630611625444442433058663424443041284633325343230387532354230225430113296998343584662968178442443532443534329671564669525644534429666649737296516623435452644525429641565273653433663329632262623524653252536232642962144334225524354429611364466546832642960126636645424252959574455295817833467524452886562957765255322956975542555229551364255633526632954696437929531262349664357102952198255675668224564532295115645532254646354295016443543642324444629491483743555425422294813863643424243329471983743242532667664652946256244665554546455342536373294521624544577246264624423294410843225684329438836356742942126633242524422941196528464345846432653294028665474336255252565255462555429391365352984546662938168662577347234355293776527676293617652535564632455442935764434542934126536246333632933238246355343326434334542429321682463574343544232931156552633535775442930685362329292382324555234433662667665292814823235276453252927188362462477652665262926126623335343242925276233574554547326625464326442924206453225246526523443329231344365255645562922174332432336235274329218654254242920194323426644253375252291913443325254434429181366363352333632917276427754374362432652476432642916136423346465328291568387682914166376453334443464291311653737727772912187432727237666555542911697554729103184235454336323344554342445442532997828865629821643763633223225634776297126544974686562961082442555432951266334334443229410623727653229311875547525442921062346262542911328881965524343223323442332887168253334452344253288615855332436442433288519442236324324356434228841865237554373343373228831478535246256653288226842634542245524354456655552881179233432732233562628801683635433344555542879214233542333266653524342878288624345333226242424244433643287726832425263344435625336544452876297324242423254756226275443235228751765243342675553226287486456357428731366428377533532872216436464332733565432622871196456433273355543262287015655376252233243286976363244286814636456332642442867118242454432428667823575528656854574286413654265383675428631865524653865545525328628645635742861178273226646353446428601564534337665326328592066355336545424354333285817834535242747442632857256264424325444434452535426285613943424445242328551585254747363655428541267467753555528531564233424324554428528622426752851675535428502385424242344433376452823284913642554243255228482663366553244364442344552454284718825555554476435625284620754242524532446255332845186356544325335565652844138233543526533284316755455666232645428421092274463292841962745354828401085335428672839126254544526272838298254433444255352254323425425428371884235524342633434428361776245353332557454283515873576536455443283414624364365342542833962544432328322564545533275525453325442342831207233344243533544443328302082433422628626542454282927655242445444365345423545434282815442353534745433282729824326432434345335623554524332826116572327327428252685243235434434236532473476282415432353324434244282327436643425623675245523434334282211646233345442821108524235544282019822357275242347423428193382424352542342644362542343254242428181644342376744557252817985433532328161366232425443232815384333732334445424352484245237544524337428141084554664342813176264243264353233728121662337333525327462811106233225455281017825535242542542452891862345262362323355528813658652543552728722827453535342643462423728612652486545235285128747528533252841982336774456454523522839645643244282466432811327931163533956353279215823432355553643279117824253235463242442790136423525264733278911553234337322788186343324443623356642787186434323523822452442786156453225737553432785862353554278413645436366353327831163743432244278216627552652436553427811463742342725533278011643644364232779764334352778866355432277748544277612732447333632277510442366252327748636325332773106264533333277298433342322771764253372770963323354327699853375252276812763323273353276797475345542766144422422226255227651464634356822422276419642752424662635254327632063454245334643645263276216625424557554364327612162624245734534664553327602763224245623324352736235683327591263345553535227586834457275778276358275615744623265234433275511634263246652754865765325275355655727521164432253564275196673553352750762346462749147444525625757527481063526347242747136342436334265274613654846378232327451376244625543642744288236264432462433362535445533274312632444324425274214645257244453442741126252426453532740384333335453342573323346344442324362344327391644445242324342532738116623664542327371363449333259542736166742533453473634273588426555427341365454674536242733126464643534352732136345324265424273156635327308664346232729944343542427281164543255364272778232553272686522332427251463525682544363272417623625773443256662723114343226654327221444325232344434272194672725572720128232632224552719248526755435435454262452552718206236672765424453343327179636642574271619653323227545542456427151585243543554755427141185335546103627138433556642712196454553432332544235271111444334323232710208342332424353354444427976643342278148246535224245427716653552446443543227674432654275108262363355274106373476252273962736666527238532716456432262271975255652328546865532622656226526225763224232622437682622346755262225442342622168423622622046623262193826262184434426217466352621676343343262156825355262143865262139825344233262124852426211583353262104825326209463342620876334263262076652442262065652522620544726262042892620346327262025623472620176643262262005842642619966252552619858336326197973552333426196473342619534452619458254326193465232619248264261915663332619086633432226189104343353466261885634332618798232624552618698343533332618558234526184577546261839652537563261823885261816826355261801182334232463261793746261784443326177653433226176486532617556633326174866334322261736834457261723752261714825326170365726169563542261685726332616798263242352616611534272433262616548276261641182334232463261633746261624443326161753353322616048334261595663332615810663343226626157367726156743474632615595334334332615411823243533322615358234526152663526526151483632615037462614956562726148445452614735422614655522726145118233423246326144374626143444332614275345332261413844261405663332613910663343229626138373326137573332261369823225545261356434543261342552613335652613256354626131374626130465542612946557261285633362612711823342324632612637462612544433261247533533226123383426122566333261218663343222612047362261196752338261189823354645261175542232611699263242352611554433226114485332611376233362261126653433261115862552611037462610911823342324632610837462610744433261067533533226105483342610456633326103866334322261027825332326101344326100462332699483532698483622697644332526964743526953655269448247269377282432269266423342691376526903756268964443232688643342326874635326866723345268556342726846723425268369742222682853624245268145265268045344267946625267845354267768232352676387426755642732674664652526734528226725528232671663464526706625532266947354266856633326678663343222666376226655633472664372726631366324655424372662663323326618734537542660268265947394265834552657454292656365426553735265446652265356725526528646324372651118332743424326507743332526492169427666555473332325326483642264748345264636652645862424445264498435466662643754254332642683353326411283325336563426407825264526395742542638553664263744435263676725545263586555262426347453245326336852434263264524452631782322332630544443262989274453326289642637623262776544623262657634326255734332624964263682326235823532622873423544262111826432453452620672436326197824445526181044245544332617573442261678243555261577437633261466253342613853555345261266243232611453532610885324343269566333268866334322267114322462534426688252585326511635346232632641163743625432263666344426246643261132577125445364334222576566446257596446536552574135774387232466257310735524553625729546445626257195434454332570165544574465444323256985357362525682253343535343456334425262567115334636263625664664425651153624434466256456456625631255864453556525621354242434753432561115554456234525601356635635663342559175256535243263683425581355524544244352557145334232332462225565653732555145336453622432725541253454545234325531565564434433734325527552783325517542264325509535447564254910566536442525481353627533464432547115645655334325465545622545165455255334233323254415532283226266242254395445444252542175326436455246263225411154344437244254016552526645354634425397654725425388533646552537135587358855334253696875553552535955436645425341154525436365253386555346325321567525454643455425311165448243355253010663642226425291157745235253252875542552252712562552443634252695834464552525768476442524755635552523964732523625221064785428432521195456283432854465254252020534744567266743824632519155544434348363632518214465437646242423532652517166422556554326364251610643336624325151364347345323422514855655552251395546454542512965354425325118573377522510175257524432423324525995835725342581764362844432423442257165353444725646336256125533682444522559644437766254165453534663332554253225343463433763634624427252196532452423344368324251958543734524642243355374644424268223232463274462462427565475442455564622462394442437433454846565595283624333546555842461766563444464324636554625624536265227427426427427427427426426262633363336333633246023445337357364245455266282459194455344452563105473424585044563444335565453533546433726545432444562674595542245711655752655522456865676567245538826333342628453293545375256352108645543245423663633663526324553674622453176344264622663735724521082654464332451188266562556434383342450168252654426272363244976454333244811644355643442447159533324452685472446116434245646324453143234242444342553425434253242352444107553227544244338844344226422532442625524545524425442232442764468342441216345753225668222442232440333223424423532343335544234235332622439226455544444243336555756243814444245427524472437198635466665432335624243614764244454243422435484335574542544333352345453526642434575275464368342434137652452564564243348447324363663754263763544326445287436664246355258243217445424556276294772431786583543662525753653625526264382742262732732727527274262836536367432365366725832430156344234367725822429176352453446356245324282246353427633334373445232427196533453783635625542242616445363657878898824251164242745465242496537775432423134447625888552242226445344253874421096452645443242135445424444324326543578447543756255422420944436543524192062545762443552742552241874456345241796424562452416144536452342472524151644334832332878622414154435225762654352413148243685235645424121243364798272424112844244455252443332233624465522410944436543524998232543282481183356442645247982324442824617833564566353337562451144437332553244198264536346856522856243188334423362852534262422682576565642432446344542777241965544788423118783454232311718842333552252344233231161165223324546231158625547472311496442535232311387533245523112743525232311188245356323110864546351023109148347354465243323108563463231077644346423106854465445231058635545332310466435642310310642655673323102682674323101108355535234231001663346362443445442399862355333239856222523977852242323969534364254239577524234239468526322393662532223926636854239124534533553332433233332442239057557223895642372388146424434332542223875542372386865358222238556423723848642435322383127633232373532382884654445238167323522380106475635443237976552543237810625885344323771263234424553323768735837742375116725223267323748762762532373564374237298333354622371166523672436857443237010647552326223697623662223681076322525642367465282366967355454223657623456223648623775332363146323325432426223621262354465344323617633727523601064344742562359562526235856452623577644225223567622723523557532254723545336252353955332455723528644535332351124633577245422350115434393443623496656454234848268234776375656234675469553234584675546223441962456845756332245622343783532422342655526223418855485672340566433233955362323381272334435332223371083354663222336463552335964655334623347734545423332563536345333266296565542542332145443232462454723316545262233077335322232988346562323281585254353533336423273264552734543235552245645346754247232655362323251033273233222324267624526543355245333242555423231754432324632443464232246546232115655544623657233232097464532452319136555436424237231813724345274362723171065233535542316567342231556334223142184463472466566466465223136442462231273252754231166427552310382523957732623855692623777263453236106357422733235467262344662623356522623256622523138422278446464625865675357556533328527533252533725242722771265574776554222761064445363242275114442534825422749444242452227329863382466327356243255228335422272296455455423826556566554245654422711842833233362422432722701844332423266224424322699734473544226876344363226717634333452736255332266105726262643226527456425353326555246522334223226412653435238222226315444255536244223226217652436242523424332261154443526562544332260164442474322424433225974543658225818833434448525244266225784436765622561264286565435522551643462466334255432254216435544362527324355562253164438368362547425225227445544274245627443333424263225186557624622508445386562249944334542222481164625335425224714533433434443710224623624644742536423643552642245144454635353842522441143462864446224343474224295433543632241176546258665665262522403544425247543446645545543544623246265223910553435575322381344232425525422237208452347354465463644222362765374767456444543734345237622351567468623964433522342084634367525234375534223311653524335432232964254543322312144252425662265432633522302453872585423735332334543322298668675622228206674575252374243735722271442225424555524222616669844424225485322252544244633363645646744265522224964355253522232244763252457524486554422222126464622462642221442542220676222422191766323324345642754221837424424223433642552576776652382224422322172243234273544266789565522216942443547522152242452652634676245223322214174244275244865544222131065644243342212146623523422432422112567237634354632535333442532210965343443322915647363622442444228134433334425253227126224434324632261343234644424332257043226455564554433245543325525572462433427243554542242242242745232425422241164364452343223124525344252532222244446235545332453524632211043652455422111210523865542321111833534443211108625525432110913624254343635321108116434354344221107584373211066646322211051285552532625421104166335453353553643211031164453886562211029665223662211019645633452211007624344321999643624532219811634434326342197206323242325255552445621961063223654332195762484352194126245534382432193665255721928744535322191118368524655521901963654872754427426282189118344522342621888845427282187238233633322725442236325321866824629218578225368218416855244647222262821831084444334252182126343347262832181146334464535455821801064352734472179146465652654546821781466453342526276217712693354755527217612652572832425217568236282174166335474446275465217315636666573576548217286545652621718846453572170588427216987364432421687642675521679644326432216611534622432832165965243635221647844663621639652836423216277273445216186554325521607724635521598833733252158864535356215776523766215613824345468242321557823256521548442744332153563655215211634483255322151962432475421507626753421498662364552148875576454214720634354235334343745842146126335263424542145116236443664221441884726543445533755221431463236382526432214213643222627662221411382524564424642140106234837462213916623623562523554221387642533721378835632732136176264364444372553421351066465755322134108324542453213311632266753432132866236466213113654546342552621301864232526945682552421291384445442334332128156523533635363242127665367221268642646462125157333234434242632124226346262424323375244262212366343422122135352466434532212176252462212056275621191383628243682232118135354424663542211711632428442522116766366532115865736343211466335252113106583623762211276423554211110545754425321108645355632198874395722189653662473217146242537545346321686484254221514743474226255522141066366254332131565575333255666521211637344232622117642365520135115356528752220134195323255555446425833201331365224543246462013212685345256744201311853343766446252354320130204466454364543344623520129944543244520128175553227256256233420127125366354342452012684557644320125853346223201241247364523424320123184333443337434554532012264443622012115433453266574445201201442454342323745201196434424201187434432220117135528362332325201169353646843201151142334323354201141744234442327434546201131443425562365575201121143443438243201119432336464201101042635363242010912424623237425201081343436752326652010764344322010635462010574363628201041243525642634320103643525820102845855243201017473343620100847344342209913442633225243420981243232332445420972844272754344355252342426223532096164245763245262343209555243320942044373344243536422323209344653209284624252320919454364425209017478643254323253342089124333434543442088124445364244352087157458542655656252086275742353252555444533234543442085976424424320849524543523208364242532082952544335420811733444345435372524208015745665495282732207953345420788524266572077184344245253563243642076124244467524342075105736832543207413434424235332320731453552473735543207219663443324557252352520712655347542942767554733323253207085534546520691633643435452452242068663332420675444252066124452446645232065124234244234252064106254335257206313686752726742520625665582061155233574436254332060632445520598354363632058143533352555544820578425527632056644466420558446565742054955532276420531934262736254434453342052114333242335320515663332050932432444320495425332048105323625423204721542373245263734535356204674454523204510422542444420448425444252043533535204284243653420412582040354233324324556427454353233752352544220392243634462423574642772622038642336220375434442036642452320354533320342562033355220323426203134242030235202954252520282462027452452026342420255424232024533534202346625202211433325453352021766733432020543247201944253201813444343345542320175426332016105453422453201510433256446220141156473332434201354366420129366355333201154245420101835332445444365443220944443208867223324207754446432061253363523822220545536204659533620344353202556462201121998144342324323256319971034257256651996936358655219955473451994435631993104633682222199264426531991446421990936455368419894344319884464619879463423762198654438519856463743198473334543198393583863231982635787319818337443271980547425197993622442531978746342541977854647346197613445333893654519752545522286463624333626723221974955423256319731645538255553565441972844845542197195433363431970843426442196910463344226219688443829851967104233263744196683442247519651242427666368219641843333335363223435319639432624453196211544545344621961115433656343419601246356654432319591135477663524195829544645438548743325434272544551957345719568453356251955953347744419541145454337625195374546226195274765428195110454533462519509434366236194914454652543263741948144354333543253819471042333274431946134774237252353194512475624424332194410463727423219431445474225252332194216434343422423253219418453376251940866535333193912623423532637193811442583735341937114342554527619368643753431935165224543363242332193496344343431933934444433719326456374193111332777323661930846654333192910452324354619281243433443253219271144334255524192618554346435452444464192584445644419241044332535271923145443325246336719225452761921155443553733233431920114233634243419199452434343191884323743419171144355575526191610555262462519159344443345191464533741913644542619128457462421911115452557243419101344454343324231991442332533323343198144524356542432319713432242445535219684265224519513442235655273419414426334563533231935443421925543431911518110244364354634433435434533421810918454335423543655322181086445246181071047434865521810694557534631810514473343756455551810411464636625251810356962218102144846364256255518101114826424264518100548546189911485243245561898153334443334324331897842836273189619444534433637343363518951246544833342318942036542342435266527225189313466246236333318923442189164435341890154523423345543331889344218881345226643543241887134563332543233188625444244237224454432455433318852451884104322752243188394355272281882354442253425332468652355644344726746418819454345726188010567266546418791745243646255267573187812445226654433187724446323642454582557434337187613442427353252318759436232333187416443334445355433718731044263437231872843623333187115443355735724337187012432433263733186910424354326318688423223441867643623318661144352352423186512442752466245186494736332331863204525552737354463525318621243525364535418611145255646444186013442744342543318598576538541858195425243263453726264185730436353534636246353442445353343185618463574277556763843185519466273623495526253318541443474322563254185310545384558418521355638365565441851134743363368372185026483333426693324423536468431849284343552663535526336273368464184816534352337373333618471144538554644184613445333896647518452363234465555426627466335184494453243751843116334327323318422044425256353442344555184184263454218401545562655424523418391954333325332432344251838844433424183716442422424556352318361264453344563318351243423235434418341344434363643241833114764343537418321446649525755435183128656373467424573252457524343518301244234238655218292865636464683734486363363342431828304444552462336644453346674552451827156423374234244241826234424332423252468325344218258484445261824174325352334335442318237334345318223344453543443436264325747645647565718213255653553344655655824326324327565182013436352727562418193843537347544673365753445332455524435975181822446545552764664637436718173454233436343244233423636446352543541816195523552434535436310318151844353433655444265518141943434424268246526361813113755445543318129453472572181174452636181016452344424465363218910462575524218864552741871144473453253186114646226344518516436272444733223218464445551833436182154432865854254541811142436434435171112165423233524233442435317110225335353643673523652452171095575761710887433245717107184755434255526222521710696733536661710596537336761710414534633456744251710395338527251710216652545682354243317101196425352452735543454171001457474733456422179923538433243454234683442441798145484653467556317972756344645463737426333436343317961155633645532179514546256756523221794155444523552625331793265433235255543543624242324217921259542454364217911166754423242179010652343242617891453544322632554178819545335526345235563217879543423243178613552232246564417851453526333252528178411542345634221783125343464473641782135384385422625178195362644331780145642253473462317791265352325255317781463542555335563177711663352462231776135356244752953177512552322646373177495454336251773135744564642853177211544623432331771155636666543742431770176534387286428335417692252535225375255544362521768155352255424434271767185746435443522524441766145333427525344417659544552352176419537535872755555462717631064643443431762155357733533443631761134435353646843176025563637628754364653643224317592163743365646733237425317581866233557273373342317571863342575644743655517561363443634255521755155563373546823441754145573632263234417531654737254724246631752953526596317512554232237648335426286243421750552552174995484653461748958357253417471964362842423472273431746195734462344463624636174512657625445644174421553376245433234365824174365463661742135523736343322174110536376325417401154745825748173918654253442436234433173876334332173713464354234523317361663352765232232331735116533885435617341763526644342536363173322633524365536335343456317328545335631731135435266354763173012556335435432172913655526343634317281264336324645417279547485582172610643648362317251258346626234417241256372362444517232554437324336265453610436334172296653442421721116554733553417201263433342653317191265364353464317181866642524342425743217171355554433262631716146855346754425417152154363343533535235555217147545535417131365573254257531712236633763842475636536575617118574655741710955367625317916543286585424463217811584644362431772364283353686763344537662176115485695535217517644646434355573341741354655266273361739543332524172125426374376461712166236254646636624544516128862655242161271463322354353435161261283354262476316125229435223423242576873433161241773547355333753534161231282335734246216122983624462716121764356651612011822353533721611919455232733252655532216118156654733245255541611754444416116226254365254374443573363161152244433333432443374565341611413644244745453516113963666445416112246536544745542245664444441611115623423255253243161101845523266252326532216109782624321610811826866343551610713854243636675316106244444236463248554236325321610511826456255541610412444462456252161031644445464435464441610213854555532534216101176262434543453435416100962267536416991074455352331698867256644169718652559448434232532169615652555573433452169515642332434544463169419444442535763345476316931764374254234536433169232734273372464324234254766332545631691206244255453737636344616901665567725626864421689248554336646535256255322441688136536356442555168710652435543616861974556424357545765341685116234436553416841482355422532244168378782446168266645531681256555345574563466234533335168025336588737453957423446233516791864532243626226534316781565885344627426516771943234242254363368341676296433643252432555323334246544416752762623562533434436333426444316741062544273631673158346824342243271672216246697265472346623351671226474337423555535233535167020444243342354332572551669247443225436546244336722321668136453562525335166715644322454368653166617855433325236572331665166443225352536245166414645437435364631663174445537734423363516621765532326325746237166123834825344336442532654531660126636545376251659196233624233623232526165894354275341657762466371656126436573562371655664773716541065443443321653126544324342331652115455536822316511275432455624416507627524616491482394252382244164817633486255324323441647845434362164677236262164516623266253442755516441276532555476816431562425375453426316425744551641186524654628523242661640105224263454163911654556374351638186254434434244273571637146233324243534216362885337526743254325784625322541635326635335253432425363332425243265416341082523452571633226654453525343342862362163212643565465875163115744462437524834163020735365463265454445541629894546457162819643442332432566587516272183655255534645635673216262162326652553727445253216251552333475537357716249765444334162313103236352442321622118356762643516217646353516201063462432561619663524516181045426244531617764423441616462771615116557342552516142166428355484394437534316131364432266523331612156453225676675341611167443227238785234161013633443336244216910663345634416896225587761671445426336623375166764634441658656343581648442442731637635568316218633323625242342684161963668343315995653351598682334415977634434415968643442651595310631594682543515933653159236851591446551590493631589566333158815855543462523542158776772464158656623215851465556353636853158466524431583366715826556266158156466815805855341579546648157857653315775843221576346515755953221574842557666157336671572566345157166425531570582445156945346156866345231567487341566965542534615651463634537552454156447457156376353525156246343156158323415606834563155966733231558663363515575845331556873342433155578233565155486354239315537455342515529543356452155147326155056625315496663353154887423345215471083362262261546355715455542721544853433543154346743154211725235523521541563433154048453153910695236732315384753315374824315366633723153565336431534544453153311532525453231532982432252315317824235315304648415299625423554152812532524438333152776323266152685325275415257443623315247105441054152368454441522127243113627567152111543536533231520872435436151911532247547761518744655231517545228151678756254151587332744615149635624553151377333262151258425415118825342631510773242641597724553315896353538421578823296221569635434426155783532421548544342631537645686415276525534151645643314521374643248285431451106442423245145065655281449672658414481066369535431447116244244445314461263553354455314451473635335655526144426423232664555343354555663551443948554265614421373446484354531441864397244144094545364621439136532675323435143818623523243434342434143726657275452556746433234525341436154445334535255421435137424745342733143415457262445372226143397534665341432257345525534347225362568344143121433323423273737665562143012536362526636142946474142812635644455323142718424584463662665544142613423253255554414251275574544325414241562645454444332314231744644467524486555142244443823283436437326673286235252338743542533741421344232526548452532442354343338574536142055433314191444463256834223141822662333536243252557555314171644534234225654361416743254521415544249141410445333525914131686455526252865541412179744823755343533314112987444436623335242334453332534141033466643362653342543376235668424354149374473234263536726585643625265433525353148134443552346244147115525485344314626442443687763852262544654331452144353224565372442746414419663425424435453426314316442548442663667514214442845238222441411666434453725547431343156343645532535551342185436632424554525331341166435424572654344134013666457254352313398625542441338214334434425335636424641337193332422252457545475133625354424344244244273443667613351958555435457524734531334143242333666624313333932234436255553252525242372525364332342413321343462556424641331517424243435253255365543554442255445532623252426245231330284554233232276346455352323274132983434865513281165443446655132719424542342232344455513261643626636765435441325235346355274224327632436613247544535413231532256988623383413221954356777373767436561321136374642243256132077634455131915745442343244444131827644763352735552232228266585131742744452554244554744444342465246454566553624131645663324425565553526752276522334762642824268222131511767546822441314274238436233553453438242564421313196434273423575529555131296655455421311353242332334444472634242424327434326213101475652323353244139576854138156433537434242441371533443432344455513620653353553337523363710135256425567276555543345345443134276453225233554445455452583531332474532265455437237544524313226645564544442654535263483441311562544432445643412111236454326434545532754523312110198525334245552455633121092964553655255337526453254534263121081782334663353434532121071462346624425627121067633564312105116435568232512104108332232463121036743543121021463562533455523121012197557624368485275262212100476623434325447323252345262243335232553324425535412991454323645434354129896623336331297963363652512962062242433333554356324129566533551294126244343535441293126665333363661292118433445552312919733544355129023834243532354223443344451289106425552523128822944255534565464642545412872185343242343263542763212861362242543534431285128242443444551284134352564342445128318662353624344463423128211744646434651281186533533533425265361280378332442324354342523342553252636345384127913733465234244312781682435535432264251277245345524335342463222334251276334322442544423532453254444282443841275118445342325512746642535127312633525425355127212424432345445127156457512701574554324327375412691665353433344343541268306254463334553243324244325532541267289755433523242443652743262324126624442343644342327425534523126526433436555553734252553756541264178435353243633452312631772445455335255354126214655373856276741261674436512601063433326231259178345434352336375412589623646444125775655365125617834342744345525451255844355363125414445533445726541253154432332366524431252128342436423531251298344263444654324523334246252312502246326466326334364426541249116454333324212481563533525433324212471463535255344363124622655344643644364532564412451177633355344124487763355512432566425265426436443645333541242184352433763365332441241208345342555544356355212403262544553436333352523442748534262123910664237655212382662544545432332542332667536123726627356233433535723773747231236278243753544434535444536355341235113376423233212341066235343271233178245353444733352312321982764242474264364541231324333243233465654545545244365564412301844263352425565724412291082335832441228134525233322534122710823532253312261982353225325244427231225234424234542424535632545712241986238535435324332341223238423543344323575425224712229845546434122132625444345852752545452623557326441220982366534512191763455643423456755121818523854446342333536121719633353355634655352512164545612151762336847452627254121497334454351213136355525262733121287245434512111272443522252512101664273645264624431291464427533346246128154435244353355521277846423312625443267325353524454852636512516437724275354232312416626665334332543212316834233634635443312266555731215664331112316635334563545683411122373811121963736625311120178564325524255243411119156652463445533231111810763535433311117866455333111162666362555463535262544526235111157834243511114148437572525646411113176226243233565536311112124633533334361111110463373833311110184323554324453664541110920536743264336254342231110818534332368424653554111071543432332368424611106954435345411105105355334233111045543531110316534525336433432211102124442535333351110124536333333243254644365473111009544445523119997537443271198975457734411971055335375531196646746411951044354345231194186627655535356555341193204438423545263437363311921646332569425353231191195533745545443542425119094432452491189235433343233233423625723311883645545363627342362372434436324332632311872166434272422642425642511861155336423344118515652537563687533118427434544453876343232463235544118385822333511821254255766553411813055456262636334535245445233332511801143332332223117913425422523243511782743444253463425532376533464511771343344343345441176155345533323324721175544572117411332766572341173144435357444327511721344324444445241171955436855711701833363325445543263411691544323343557754411681254345423452311678662765541166186523253335356555341165115333455264711641844746343246334433311632353835242634363243326323116222446323564242733543242511612844324529495262432324632355441160173344345423744632711591244237454553411581444283535645534115721432332463543752527353115618643328323422534353115576225742115416634374433463634211531672334266335523251152186635336656445248331151146454334244623211501863424323246323453411491977253324336324655231148194435274333446354323114719823724432232522432311462482424332232534333423332311451584444342422433511441985446365454543453241143238245643234325423526334311422082334432424435732343114111453276434641140264333333543235552244464533311391044445452641138196344436233542342555113711645527367551136176535332234242333511351263446472266211341865426244323424246311331074332426431132148232535667232511313183336234444626554333435434543431130106462426233112923645545455533433424462331128206351055424632433263231127296523253335472535435434242555411261143454343622112594433434641124116447277678311231464255543786552112278262432112196524365551120246535852635624323335266251119116273484425511182383443435557543654435343111739625443243342235672243265554443346324334111616652545245362335511151462434753766432111416643233234444738411131864243272674345266211122743235434333234446242544234511111044535865531110134433736443564119114533724375411822825234463633526633645411731433325565327434444753444326834311616442297554335242311519644363524673338654311484323364311325434544534322443345645248311295433443631111044324255431010911833443544251010823553353523555534245254221010724663524224533443232433453101061682344343522432331010598253554331010427824257444443265434222425422101031083534565421010215924382524543373101011462326643682462101001462535544342433109915663545545224333109821338662544553433764445109786643326310968623453521095108254555253109422825332443426655463223310932473547354325537372834735410921476252533435556109178243434109027824732443323435533546575747108911625463875231088296643636357344526466274554344410871684674675474254371086585265108510854624643610841364265554232441083228345245362652334243533108278337444108117834242642524243541080105425433634107964436541078167433528456453765107711843345347431076104432552454107514646975536452521074228434432253753875344252107317853357557585233761072168242543342326363107134633523553228575444575533232532335410701365366626526241069962543652210682562243745252523822252644451067156453225737533421066256323436254325543523822323106510662535255310641565234652636626310634565510621062353246231061424423433243623523523243362553332634234332431060196264533342735436523105920643233426536323442621058106332857442105715854623542562542105656554210551662642432368223231054216236546437626522433231053117433342223101052136433525455532105111824342532331050128364525552621049228348353333343234335422104876425337104712623653634434104615623442667254354104520653455532586243623641044106654454242104311625354544251042116253445472510411563444364544235310401294424225242510391985335525346545623521038166424327264552662103722822332664345443252633310361763442442424233643103529633342342342343444442434272221034176452544252542722210331062455334341032116463435444510312754348543425552443854366262210301665243464355232451029107723265554102818654274568466542564102727642555552465542423237644756102616642555333643666510251164342563345102443746446323585245556453665433854354266274663410232664376526646354542445252364102241826327352644344542256436364435524336426421021226265244426233354324554102016924383543323444710191773454324458533533101829636652382423472437576352243271017148423632443534310161864424443263552432210153943434243342342452522422423353652535654410141063552525721013178544753857535266410122765283432352323354525255472410111867265254554694544310101482352644475646109156427524846865521086653565107156622638675652521061454568243375622105236464533432763755464534210428653454243566865555254334356410329647444432342254535243268344421022645328343333255454243362454101566433912915652354233244353912814449544244624539127216235643723252335345249126166236225233226444912512636534736254912418836755463544254524912317724274476265655429122226555358528544223547833912118652447333563535463912052834242432333432636455344253333625342763442727253743291199826455542911831662427532434242256554355433557491172744335324444323264265810534339116174332432335468324291151843342523435234443391142245723433324445523577339113206543423244538825653291121684459628878888889111376524264694254378723447744275338682542911015445642362444742910927854254322633336322364243634910823835725433423332633543329107247445635273264437837555669106124455446344569105166437854379654563910416662437552642426391031644533525337647229102174442542434454577691012244352576362635733772549100256534467544343544367689279999274442524734436643542556542739981644555573654242739971644553442463564379961485242434534636995186534473447475733579943064378543526545724523427225535799319623634472634639536499223625345247546232374235339912644542832635336252533633733990174445556455435728498913653467524434398814826736786356639871162363472634986188234645475275524549851663656236244487539841863665544333434333398325827337544373436236945344398286534575898127652334324262644278726444783980258542565553344335362362236979204444434753526728286597811644374442639771565452463633625797696362542549751282764253442597446433252337625546633426342646235362357365454525697312644755106454297224652344263424646752449843971244442475647666762686365999702666547433855104674543352535396932826762745555752563797976534355269681644446524643710943967198292644677267632510996616655544523273527296513846662543466496417624428262364542949631665345432364523639621265252365735696126443445645558554333232755559602244542564443963685997749591964336424745664524439581662345234453725259571163455262452956106364235457955176365662374447375395422633635336537554374425395312644445242462952227437724254623548433622951148744623432362295016537325526543544294915964356235324425948166343443362632663947179453656768536245294615826468434326663945147523675656257494414845787256565729431385552533423439422374456646725855447555432941156423344427876569404344562456554452554645442426425232545552443639391643235453547556639382943626643626765374426333325542937318542573334326432384846552352564936367242749348764635533546833442434436329351964267523776354325439342945644283656644267557872525542933148333536446544293215833432345843626931236362332547353437432687693023634632553785343675434659292963226536552436364326356356256928284442324246444335366633845542927124454233324429261884455452558453644292523652435554433672445524539243385425544375256425376656106888863229232082646373572686625542922843442446921104443563546920168264344784427755919248542543624425565336665569182382625443336465565324544917186253745663645628329162463455835343263465444625291511445423456359141163445767467913206425235833636657547391218653524547526532753911136465528656753910108263334262991365234525544569816676587333462563397237342393836636535443384396186235355244435782339526444265656753423786838756549422734253556457347228265393324555445347633334368244264353642592148443453474552691982653642587522433424424457546477325687418445338256464427756873134552436336556872454635565333565293733272327356365564644278775528711344545324536638702544535433454624426262325428691144424645535868104454534244867204456456365243424243286626825445634336654433442444348652762355524644336665432638354286498253445428632044353446342552252634862121054424436263861126623435355538603362553442326364825266432654332723685986245555385814832424355532548571065523452748561252332256245585510623554362285417653527794555265248531844437263336452243385217643427464555265248519653436433850136468668555233849184443435355236269428483664544342233443453375433452534247733384717463544265546256638461382427557736478451365547735355428441964446344562756272838432064433445296563552462842354543422254232563445472873446673674284133432357537353635542649864743332547840106463642753839164634363335544238838167333633223462552837188254265633465526458362164356624542104426765528351364366643536338342162647372753662534633383312836433447433832194552625554242332553831177633233542525654483016835457626275524382919652535745634452554282810434434874782712658774625542826196572656657265284427825136442744555246824216445534427635373855428231163663744433822106255443622821862355663820126535364655428192482434345443363333635538281868344348172144424438634442435447381620644642433336256345538151276345553554281465483648131364436453645538122342477375554255564383342811227256367345273625534662810184442432353627434438911682453374828878336544872384574324534633263494453861163536545428851178253542353841144643533825836674665821774466554464433584811864264753746737272772061163862823352720516823376525455423572048657286347203236454425332342442845452472027622427872011262467244355272001044356372647199782564527198126234666253637197106635824256719698536344427195266352752364323643236332354471941464231077443255271931264295472536371927663438371917634422771901263466452456471892982656354454245446455544532542718828645433254352854334323334542271873762544435424347436268242366233542646277186106726243442718522644455242333243368526471841144322327274718354423571828623297567181763553547180146526626553667471793082532285362443624436243642555471781082643734327177965775554371763075557555334524442545455345374371751372476466643547174566645717315833852443264462717226632337362535546376623323337171195532747243435345553717010834236776671694064553663264343622655436435335763366535247168146588833584452871671945465326362733563437166116453434224471651865345556525562524471641956435555626445243437163276536462624453762525255446277162176536245733434455471612085834457364345636333716043665463725247457656642324453755424724374645871598635534337158326577544556565423326832455443542271574382534457662565448544755734627868725664556657156306726665583246422453443634632357155418347355342542335322373375327322366484544671541565255363735423471531445523265252756715215845662442375652715111844527524237150398526372438695223344444754364285345434347149188263546235424562347148226665636234342445242435714713652352746575671463664675535644435625443362324344527552571452083676444533753227226714415823523785373423714341834436344443345344545535344523444233584347142238443542655444635349464771411844244368766385228371409835346443713910652532245271382463434334344253536335574771372965355432653733634446485585557713611646755429487135116236233545471342373372653434333334255534713313646964586775771321272333732254671312262644364333564533356647130106572475254712922635529542433523362326571281678524263527585437127216546775365527544532547126166645446345423343712557433571248682427667123196454772743233232553712236427121483457120366571194685671186652444711711624244324377116114461054554537115117342442342571145835337113118332532556471124443571117672554571107655262471099453253253710868524347107645244571061182323343323710518733542552434342234710498224352447103168533536553745252710297653327537101238434443253753856472435371001962363577422532555347991085343434377989633562535797963556253579618653854662556655323795186234876622643664527941365785533242637931663334353673324457921382555545235557916652767790127345634255547894283455454464343243444234423434452352424437278822634352626235642742855378719833544376262555453378624853376542748232442664363785386423347352637563856424624323246323554478488533545778378246358782137446275234433781116342632466478013823235276532577915852435357332445778665276777716823253542643256677686255385377523624335324527433854285537742565253447567562652633255277733544746343246334434246243232463235544772136537554635368771259243852343274852104342532377017823253564324445657692765447452633325527743342352776874434366767118224552332376614825452534255537651654432324632345347641444547557523686763136677433423527762116224253536676111822455233237609442534253759214345434323246324434637581764644434235345456757296564472227527345554335334644375615824442546735263755883235545754328245652356766556545352432683444275338652436524343532375233543423245464363627521064533365647511967533544366666545657502083642545325256255555749156435325654626567481484354425785755747138526245555744746186372542556736474477451067348442557442883442544353432533452522555557433664395426543434524633454356752422622674215642555534428656741108454534423740238456225335636534249755273914643663253337657384062433352455654764547335434452642523232637373765463634543254235856336266563244353437361164255549756735196235335435554373332734118348253433473329622436362422563446633432733427322664644735662552252864444322731168323637542364332730166474326864752635729166535266423676332728226224378424223556555554727316256853623262537775452643772332726206544233365565556233272576565543724123355524345637231282673423654472228434724465263585326657436445772158343872025825255236325624725424574571917826635353245534337181264464436644371715663373735363272716785367437154823371456336371313823545224345371217326326333352434237111682325364684272747101162554365264791167536556733789826743456776633456766875457751263352355263374106225568423731462564263425426721385253342334447114616521454643252275335455543616429734376432435335332433223344426163883445242616298236655226161168233573446433542616016623534373373373261591965362435432434655526158377372472423243274423434334342342862362615735653636265544453343544245344465432626156147723352736446261558656757446154176455543374435645261531755254523556377533615235652545454233744534426856443425363636151426525453434563334327636635276361042635432362615027653762675554344353334265732614986633754261483763434362373252255352534325363624326556147138524335424353614628746734522727423755653322555461453944333333432443423453263244235435342232261444085424234544435343445254285463823725535536143236424685463823725535525661421643337563453455736141318323635335434246477846667474443614020653424364526344755326139224435753343373575734226613826653746543626646642362345366137206355243355877738253561363162373333334333833846336585233366135198423552426443736322613477433622613318534263425276326254613296353353546131106645433223613028654636666635535495554353644261298653483456128364432432346653344564564528452824425646127106535343633612696465273446125286253544462454444423374452433612429653454346556434443423434253646123156373634775422556122246528344537243522442684346121207483983683444434236361201275365652654561193094232348653472353233344333633361181066424433356117119435232423261161863234362442552243361151166374254344611423825353243667656544345456113127229776255466112236355233355433545564335561112266444237524325666855436110136726332623875610921624346343642363637357610825653764325334434446432555361071355335563624336106138252332324424610586474864561041555336336434255261039663743752610216432337324233244461011843333245233324368461001553663454266453669944645422543436646785255552537334437324273624436981364652765326436971664652645237633436961266536664547469517644442555244644426942964243543544557433647263373574693498525434364354556665955282334423533343334324435343692227633267665352643445744691446524242634622656767544423464223233442524245369016843224462257435568917735435353437667556881665244635242244336879643810886368688354556868578226556684218456555755332555365266831444324254437754682116353547635568122642638365242256463624468025744323343423262434342834567912823356834443678186343323444333355346771875263523334333553467615732334333535424675982668573567414442543465357336732466385452435344524456834367286443666367139835652432255365255287545237345362243252670456534542435365544232434334323343342246665456536691255443262553366823852634376444263456265446675645336669553243424665276564343355462632252554236226641064232346426631782632635566452622662128435234643426611762355553334555363660226436264243536275256743659314423433355233634243642252362555658149456454282422265722833433352282422632433265621823334274224325542432655684864565427444542326443236434354376544653159544525426745456522582573255233262424667455436511755433423343626525650287476522342342333435434543422649865365756648156235335337638436471485342424445272646236226434264332634854326264598236555446442062447535333255525244643146527346346552564211757884233646411262632452554264015642544652445272639176435335432724275663822643232625273374435242363719626434234422323434663610642467656463528825353643347624252452637433363422832444643553652364234463314645847256463426321364553664336636312752336376345236254663345553263019643663535534343523362998336632266281675343643325523326271782545433526535233626116363633635362532763325548533362324346362463645256241065243635346231263245523632262212645736542564621148423632443534362013623655763767561937634543242422444227533276335644425432261876635363617174323345323243345361696544353426159434342432614248253423424324343684444426139663752323612256236553327338643332682232611108533625252610138252456442464699625747463681362254463344466716433325547652545366315452779524766567342252632526243651282525645355364116453442326363126256445382436214642444432325426114655526746834355120114323343683351192465335443446752443584334351181166343435562511729432345633744325545346226233325116456433422434224534323232422426343254753443424335115178245255443435634351142283473466434625544543435113158255622566442455112226424536255423624342932511113655457252935351106443332455485237343564357655454555552438876535525454526445443424325109156433332554554435108228542574673532625385243510726833373823857855527664653335106527333454342334252625763295585254252524335635533555542510520643756437322526555425104246346263464525564442363345103216275436554335353524325102963625235251012644544333643463533252625542510016657424664536652259911635245636325989444364426597274334352382244273866655656435962064446442435483565333595516245346333343445533264526444332452323564433556255425942444333536524576552448554259324835752652866523544865533592136663476376747591206436343267528754274459016658732388754554258945655344477537534553234526266242645775374726472588126244464545355871883242633432562554258676557656585148444675244534758416852462542535423358321827446425352463634254582268257643353555546666655553558115645467244365653580196263543263424556453579106524542725578176643343554373255357724642556324235634352526322576166625433342243272575256342634346645454232434362574844510436457325444555636234333235442553357234528356544335423534673264436242553357119634544542543255443657019665564234544577355356920623533545653289565525683185333563244245742543876333463225672585424252556434233244236425662462345634633526425438764356512641074665632356447832555264654647338757563244245743484253663642655631365245655289645621365245685274545611665345252365345645602764245257496444444243532362255921663324354354233626322558126235354763645572464246675265525456562554255611824335664435551363666655664545543844542543344634427834834754444424425542553156774547356565555522866252374232642445624647362545512385424244463365686625542550106444243585549337525364624445534442326277434435435485173437564378522745364337445342437434435547624335564754716826443423344373654626764724336433777243354356365453182644342325324347556666666524565444182644342354663655354644283810556573443476354315953332624347674542268342655434534434425553565654168446243623642432554422435433752353626632565254656553643845525275526425401943235435424683242435391444424443543233538134454254347787537124444723526265362444444273422735552232255253514655277474555425341344427562325535333444624623335252427642626255266475445324075233452285645546635536524234432373353325312682534663342552344535524544530982554342552913844552555424352816824436435327334352724724543735253625642534354526148533352636555352513854554434232352417653643545246234255232164274465745566446525352218644634636246442425521156873633434756325202382432265664325446325433519294323554534342526252433465263251830656368344254343334276327453865517424323542463683455234436424244243243624255335161864375537276364242451524453425242562543534652632514256534647338757253357553553513328342544453453443253356256566675451245642343333752449746444795666653434453446735434511248744464636562322544655425107655765659104453865543582763442466426633347365365554257196444246654226475447566265555744325544237774573536626243323324437443737777376763435542554382623433843553736683526552982932732655573355431644246443755354538672537332334753614443463524347355565355663525535348835333523533899924433745654525364424685373743862662523473854742466543735365345525542512442442355435423753475554241765043355234482365545333756533332253323433323342726428417515754743428285554417412545742552542417326534432353557985442767865544172185487626388334426624171545545238222324264344346563556344366444346443436352526324170245544682233633464256525424169115433444644341681257335432655241671155424425552416613554695544344341651555445334354476441641464444625324725416325556765558668737428336346341622654755659686942434436945283416114554877556343564160145442634555552541591455474432636323415885544444241573455345332232323375333453534443465364156656436741552253636543236624864567544154195646525235456358556415337564632676232562677444632445362554263541521755446635433635556415185587382541502253362745447543627556524149145434332525245241481455443235265432414711554465274424146185484348263575875534145115333526529241441856536278326862554241431652334435335323374142195346356556354634792414136583844373545827563548334335423333375414033542994425344426346337344453262533413914535355783268654138655339341372057335432472525252552413629552356558543324475334765555424135385633436253625634455243298263335665554241341455447644464432413312533446454632413210554523822441313254445238223363452652655545238224413011554442343634129225534366387526353636283412829563343663466364652643625524534127405234332636763721172733272665262543464262941261253344523822441251757455735433443443412416563566434232824341232053443223323442635383412221442433434467524478656412175453465412075375375411921563343247434378747898411886552644441171156353534252411620552354343332524242424115205545424843552423265341142654544563435352525323624232411333544344322576445326363535245464435411214556535232425434111115544435544341101355434624424434109195542273445366246542410821563445242262434273527410714553232426752534106755342474105155833443535564634104225544522426636566256253410320658346267846465476544102625583425575244232333254354578726255285837524556285478345563543441012354358255624262624545254410031554443433552643642434565234425349910544444243649812563482876210349727554664854333552835435658652496855445635495335483944643448378943784421054382852494405633427543324455446636536543637442535542493165524544445466543492605544424855323546435456532335464333323362343545463533335425334913256535783866655682346634225772656490365534335568383956433572826462565335534892853446383865344273646347536244882252334434325275365592334871754243332733823324486155323342524555544852253234443234543442345424842264435553324384434244254833053776543549554544634326525235448213573643323367448124554435456245443453425447480125573434436324791855455843425343425247836566255443222423645343236453542435665477485634337464243364654246432455544365346567643353234762053732767742756442755475315423544235566326465876211442723347421545442544253766554427473195454352455323642364472175432234423573634347111562475455424707554425346918554989725445267433468375946765442844662764344262543443526262662553346519674346252253463624346423554663749565243445342634631654623354562244554621676352565264357344611553594644423633446030555275262537382642434435465323459296533565642743532734556746554245825553422544266253545385264245720537554344675244786564562055342675576444637552455115543225232545418548767253424523562453105552452432452115233443455545120555245557866625553234501054245436344491456342442655323448205453543433325242424244729643455436273654232435535655424463853636454534475655435258364356576256552445955445484544414652776625553234434954342777457353662624332332443734534362635566255424421454635342655535441125532553224344401554424742335424243915534445375655255438185452733563563547664371555874245276576543632563232427436467566269864610426347435225534264465252542476443434405434255536387286667433566972643354336366433195323342667469833554432275333424247634773463352432634311255774435257243013543344545634342924533426634425423757625542428857444244427135462765554245426144455552537354442558445336345333628323664344563736866548325845872742388424452342442553427322745435664283736862442345447423629423545534232237363725765433562335662626866728768554587877544221754553332236263263421115645335437442017556843636663437534193554345462483885652382477346523325542418245536543653433355333765654172055445446426265654364416145534257643748741522534425736285345596275741413443454555643341318654467524456433443412884454244332344325253324535544322352543333235432535433333332253543235432435433333332273234411715534242543445286323443255423355553232332323355437545433244634238235724641013574626447565249155484755545252554813643638986463447196532323983347983346463755457755486533843362667375744536533774516643674853434775344145554332333476543286343742266343554623327726343421654337376366737754129553428274465555354453254455423200116546776554231993064424353554456236543543543632331982173433432446752443455331977644624431967625545231954363454325752449746675266276632542324434234373194147423735343625431932072673463545552756544319211528363542343191215446534246832864654653190117557576832231899432356834318820444626736236264365523187216245427646735765554333186246323366353653526552777263185236436633355524373655553231841267685423335331832864283468423522556635435342553182965343643331812264552486525644425534333180304635685473252732223424245365533179364346635564242544537433526434423844323178174444834473344555331771244444528565231762244462334344445245275533175116426737474431741543254573624425831731764456667352525335317215436465562327385317111834243442583170196235335236269424535316913643526442555331681664256272527268553167336345623286744552954256244266346563166986457536331652043234263222334652575316425443325376775546254328342331638634543523162136446424334544316121623423242732334332433316018874442642363343462315930934243544527374442754333334244315876445234315714633542632442543156374635545624345535255235252538656625542315521444244345247747534552315475644562266224773553546242255235233262522625335223252326824355662645454432542315325634562352365337626733536231524083325434845264256424525232652853357244543151198445762422563555425315068336423149136873655625542314810835644644631471985377452863445235333146218358353442635345343253145248644643344643355443424333144278464433535373732345423243433143126573523255443142138546544456252314168555463140248325545554653764435233623139964275635331386764543313713853375263523231361583446752454256531352363523534364379456525536313413835528597626531331174685442537313256574731315844563130136546665625542312916445425434523822431281265625423522331279686255245312617664323532673434433125156824546352766233124136824645263842312310654645445431221287446552473231211144565844243312021463424552663364535462311928644426525275444455437773754231183164263424643727324245725256255423117236644537653352434663262331161864255644273744255231159845633263311415826728626875656311314635444553632453112356643324874565537554246524424352355431111162276833362311023878434463335762686553343109116444523822431081184443546443310710642443655431061764366736655445443310514443675232866633104148266268753534531033465534444752433566763454254476354483102136535352455542310117643335535544545643100156736655256255423992063543554732442526322398136234545626322397258234333546252534434374543396108464453332395118233573743239411826332543533932464278527423243732374336239215424332635363462391246233443525345352434365523901472664247273552389114443733255338896236442463879669445265386188542576262673544433851382623343473433842962443342428544386687343543542383146554682243543538278263343381338244736544367382643445254263754333801364236768862633792864466437544322555427664524323782963543743223432276223627775643377274446373543463623425548446523769734355423375366354374725355354323442652254465226333748652542643733244542543522437262334243522533363372176547635534556325537111654774626323709654562632369136363537263253368138355654658542367148233553473673236620625453233463323465423651664423875372626323643264665343264543424343436544366322363694435336215663434332345332361258344552777787363524232343360782333243591552232424344343235876662453357118325678655435613623376255755435531734455632733553655552636634243235468354463539827675344352206455445393436235443435186437534235019746424653433572333634945642343226263637446576544453555523434245237336348588766347235224543342444336332432434678355255345218376254346435542428423442072533444752533455523343882664542342138437564242843341208645354345543433242334017424443475534243233392082565425555427244386338156434442222335353373544424424322432342345375534564573547336246727264464754434546324643351866333554222432554233474453254333118353735354233211832435374623311444563546845422330267454475455223324353242323332922432355238225455262252232827644447445233242434383268842327214442542555245526562543262543233544244244355425454523251562342325332473432415652525753552553323206344525544356255532332211623376274553211845652665724774565232026745645536363786553533453533192664434543545523236555374352318186623326555923323433176811999831611544635444653152474542656467524443554247231424534566436876652897627253313297553224254553665544253652333231296443775523111464574675526524310165426442737442552391374242332454343815633442336236324374674343432224652943643676635273625484622643644423613662332437264235116235234424234186245443455527553323311875433556433276423324311322864985376373534234226345253534543462527246264235344422285276546656423342558532932443632284284323542543542752622535238223228332463543463763345654545336555333432282129433547463446343443737734545855423735754344435256263423733675732725384552362696462326225254443343433454446644342433645674334735542228115623423242433646228014642336353542332279176362744436424662322781464252325455542227719623533435365678655222761144232575544227545642556334353236325435454453545534276443362565227417623533435473767652273304243326365627662666524824426572272286255332634363638326342444543227120463572453337763257522270155283543325242632269167434354436334264226813445535558755722673043427362365636635236452526554222663575634447335754356722427524642324254226527463534523554465346274567654226439854255333624546445455654354445657625542226311435364236532262246235334353333626224427652261244454355345225353444276532260394442546524432342455253346433443643427332259674323424324446263635537535526535344233324434234234465343433635343252225843854253446233626443735433544373254423273432322572464255573528785653726553422562444536267635584342542525222555065365368533334246353632453444225238222333526423324225422829533333234232736554222535242444724333253257476232525524335477434655443243355532252983454644322512783324455455435435754555444722501585377445445665422496082544534532245455366534253562544533644523345233433347423753422483064234322855342335425376243253422474344542445652455642352333363455243545332425342246549454535653486263442533357365325234425434345243273253232245166554556274444422224494442744272243286254453334262543453436255323224276553444224167338492240274455262422543435353584664662239156622534754626432238863667736223735463425553645364444252352453536232832236258338546446375362622652542223547444277622442746436463646233824944362626422545432234254635862445435445457666466223364463427468525354378253643654255333645253654253342875274732436575922323362545534456544322438563752735565422314543342746257625435447444634333437573662685565422303064644444523272643534443322335322294682644437344325464344534344535234836233365266562228404454578543466232538565422724325233345769222774443653222613444353454625522251444564374726472222414445537652844632223168464746764355336222227948342453265453736268322628222139755555853455355634234563863735235543863222026444274336264588333527287622219267563444526486247564352752722181644544554427665522217576425567627464344245382526396352474343466724442343423465272216256254532345243334624333653221522424332636498993262264722143044323433356643777552453545625222134964342455423735544547623255335337453556457674453532212204442457355655276655322112064435232444343272732221017644454962324623622209124442776232532208164333756345265542220711745456442532206126545655432342205146325655455234422041763342234566245253220325644746434334343352437424722028645534352201145444634624442522002442622362444253432664775421991244424954326221982673424353766347525442462453219730742665337453263424343334433744219673644274666543233543535424553235263437435432424254232254334543663526363374621951483427737534427219422724274655244755348666521931583353633554423821926444363219125844873383663835237732883821901383242639544272189276546726542446265344556226272188176565525763367576321876555554447344372658353652526526535375343277544546744433453426356433218617652821043544443544218544665234858534353443424332533654338526536344532184326423363233443544754342433254337521831555525333653554221821644424335542432332181134442753454543218016733898643255335321799557424624217838443335354253645863422337766546265355422177517265555477296368646563964986333548795653244763652432176144436275356343321751153638767655217429444637346353626255427624426522173254442433333343442337456534217215644237725245542217118623332543423444554217022634626346462425442633421691162243638664216817433375634552345422167235272355745436346332265421661273665652654221653164435352642553333356437643242532164436456636766422435352532624435435244675768322216396623324362162962364424621611366944554365522160116645466755321592087465625523267262652215824444344344244352523452752215798265425552156106443355735215512848772465249215413624525442436321531182427685542215266327682151176622776776544546321503166555763455335544465424663434332149176354332446634343321481943234254336237862442147782533242146146347453763767521453283335242327543455365335523365544214434635434243765534654246634364862443221434545642754334353364353536425353465355655357437521422164342476325546252527521411565363524423323321403063543424533434245252458668726221391462474745434292213810624442434421371966349422553632524532136316244334242743544386687343543545213515823357322652456213415653635244233233213327624546875444542625325532542213217653535354232647342131983534323221301883624628443237324321291666337767554454542128176633537525363267421271466333448527743212630645435256333565432724544342733212522669844287364742755555321241984423533555336637532123186235633443432342462122128364554567322121158262432656266752120314332422252443754524322543736343211910652436557321182464642665352534362464625421171152245434684211614622682222644462115124442433567642114304462436236372332562444424533432113317354735455362534653336475337465211217623533334343344232111186427527352432354262110174634243532763656721093343234254437643423263245732726324221081864238553324336626221071743324323368324243210619432342435244352324221052565254264542325428363255322104134497665625542210312652343266543210274652624254262226354635284433226235532625843434533263655734355658463363384272101226256444655243434432454210010626244446629910833435446429812834366583432297188544335444344643222962563454262723334253653435482959945643463294176425653254365342229327642726526562765574724556753292116542562845429130642324663243543537543454435334290274493346524234244244436262652892683452552545538326434432454288106266452366287286656864234565477434664266454286136236443766655285496354363357466233434243476487543756386576245766542284156562626636627532832965453626567456986361043627355328210642555865628113642556626432328023622436244434436265355262792463346433454274323627665427811532353662552779635244264276236443285433953353445554427519635232724464433362827437635434424343535434373537234328333263227311655664446652721064245484532712465375345432554354424443327017743245552223433352691883545444335234333526823627334334244433223433352672082425434754626425433266976535335826512645355246554264138256543533262263155532747245567532622462353343545456532985655226160664334477456553424685555233463254249366675254334334443424243260286525343274642324453755455463259186536245537334345542582086734364574434563643257186654637252474576562567655327225515657744332424243254276623546333467636586543254332537658645325286533245225112654256246463250106552795353249184424436876638522732481962334435443432342462471283645545673224686454545524588336576924410646556655724378276567242865477463241186554663243634355362401475635655456732239106425557656238176235334333374546423711662344532352361933555243456534384772351982663535344455343252341382473536468432332364352568343333386486323232126633623332652311564256748352473423028622433255446544245555243833322919433363663525522334222813642626276556322720825527422432763243652263983233525523444447554424375545352442624222534643554472532543544245475244328655422413848564566362322320642432764255535332432222365636334722536254755334221125552654465422202543234286443355443434474542191994553726276445362422186623332217176252664342544644521611653743676552157672636421416834435834445554421319624724373355533533421276248243211116345526233421012653444446362291063636356472811723575442532712444574546343261162622854552258826423352412628424344366238674676652277333263211317973573555416386515465441435341326612482351146643"

#### 7.1.1.2 Fact: Rewriting of Quran at verse level with sums

In Evidence 7.1.1, we had witnessed that we could rewrite Quran by concatenating the 6348 representation numbers of each verse at the verse level. In this fact, Fact 7.1.1.2, we will observe a similar rewriting coding, also in the second type of the text with 6236 verses.

Basically, we first sum the chapter index, verse index, the number of words and the number of letters in that verse. This gives us the representation number of that verse. We then place those representation numbers where we see in the text as this is a rewriting test just as in the case of Ultimate Evidence, Evidence 7.1.1. Then we concatenate all the 6236 representation numbers and obtain the single representation number of the text of Quran considering only the numbered verses. Let me first remind the numbers by presenting the head and tail of the table of the numbered verses.

knitr::kable(head(nQuran), booktabs = TRUE,
caption = 'Table head of numbered verses of Quran.')
Table 7.2: Table head of numbered verses of Quran.
VerseI chapter verse vwords vletters text
1 1 1 4 19 بسم الله الرحمن الرحيم
2 1 2 4 18 الحمد لله رب العالمين
3 1 3 2 12 الرحمن الرحيم
4 1 4 3 12 مالك يوم الدين
5 1 5 4 19 إياك نعبد وإياك نستعين
6 1 6 3 19 اهدنا الصراط المستقيم
knitr::kable(tail(nQuran), booktabs = TRUE,
caption = 'Table tail of numbered verses of Quran.')
Table 7.2: Table tail of numbered verses of Quran.
VerseI chapter verse vwords vletters text
6231 114 1 4 14 قل أعوذ برب الناس
6232 114 2 2 8 ملك الناس
6233 114 3 2 8 إله الناس
6234 114 4 4 17 من شر الوسواس الخناس
6235 114 5 5 20 الذي يوسوس في صدور الناس
6236 114 6 3 13 من الجنة والناس

And, here is the proof.

x<- nQuran
tmp2 <- x$chapter + x$verse +
x$vwords + x$vletters
cat("Head and tail of the representation numbers of verses")
## Head and tail of the representation numbers of verses
head(tmp2)
## [1] 25 25 18 20 29 29
tail(tmp2)
## [1] 133 126 127 139 144 136
tmpr <- paste0( rev(tmp2), collapse = "")
as.bigz(tmpr) %% 19 
## Big Integer ('bigz') :
## [1] 0
cat("The number of digits on this big number is", nchar(tmpr))
## The number of digits on this big number is 17790

As we see the remainder is 0 and thus has 19 based coding relation. It has a similar approach to Evidence 7.1.1 but using the second type of the text of the numbered verses and also sum operation to get the representation number of each verse. We could perform two tests and observed one success since the sum operation is different than Evidence 7.1.1.

As we see, we could again rewrite the text of Quran after Evidence 7.1.1. This means both text types with 6348 verses and 6236 verses can be re-written with their natural numbers and they have strong the 19 based codings up until the last letter.

There is also an additional fact in this evidence in which we concatenated each representation number of each verse. If we sum those instead of concatenation, then the resulting number reveals an interesting fact. Because the digit sum of it also divisible by 19 as shown below.

tmp3 <- sum(as.numeric(tmp2))
#The sum of sums
tmp3
## [1] 951202
#The digit sum of it:
digitsum(tmp3)
## [1] 19

For the reference, to the best of my knowledge, Fact 7.1.1.2 is first time presented to the literature in this book, and it has been hypothesized, tested and discovered by myself.

You can access this "17790" digits length big number from the following link:

https://github.com/quran2019/Quran19/blob/master/6.1.6_Evidence.txt

One can just copy the big number and paste it into a web based big number calculator and test it herself.

Also, here is the "17790" digits length big number:

"136144139127126133138142136128132136131125128136135133138132150150135133138135136129130130125128130129137124135130131143131135119128131132131138126129133127129129126126123167124111136131121132124120121118122128121129126128134136125114110135128141129126128119118118117116134134143121122122122124210156186197158115129167125147126123124140128125130143132128123130119121122117123124116116117120128123152122131116108112117117117117113112112112124124123119116119120122116110101124138138131125123128125128119130117114120114111116110117111109122151141119120118117122113114114113112110106126147128161125120129111122118116113116117117121119107111110131134143140134139139164135136130132135130155164120125121121117129126111119116108106101971331291381281271281281281271361181171161171151181111101131191191101081031071101241291221271201171251221141111161091341091081091051031071301131181141121151151191121131201081131151021081031201221261281151221151161171161141751741441421251081071071011021051591261281281371221221181161161231161201081111231161151171361061081021031021491371531401481511361561341261471281341251251191141211311321201301351361241181121031091181179811411512197144125122118115116115111106110112113111123110104102104101150132131119129128127121115126119115114110112113111110109107103108105104103102101102971451331431331351471301261361301321231221231201241251251291231191171151181131181061061071061051061049810610599991061039791170148139140151140160139136128136139137132126134130132124137130135124113114110118119119119126112110112115110121102104101102999897969520315818817213714312412512412613612912713111512013212011311912312312811910711312211011410910710610210010598941019691149145155143154141144155137143136139146133135130130125131134134136124149117123120121113119120115115112110111114101102104104103102102969796959493159158145160151138127142132136169132151117129120136130143116131122135128125122124121118137128149145135136137127123130122122126124118114122122117113114110116112117113117107115120109971141029497103108108107101971851421421511661381421491481381411411381401321271311301341421221261241221174121191151181181111201231131081021091061051041161051049910710510610310293969290878590500132123133126150135113108125122127113107117104107999489165156132144152175146125126142129138135119145151134129139145129121135124111117118135185149144162138160111154115116119116125125102110136107114115991711031091581041021371671621621501521361441331351261331301351381521241211271211111211201041121091109910698981121029613010099101899392132929391142136143144137143136133141133141143128122127128127129128131139115110114115118113149141105104108114139119138115104119111116117113118981591081019792817714419314816716914114813616617415715512816612812812212913414814912812712913111012211412411312410410312198145102123102981019599989312589889194948914715816815913612913015714814215616312314413415511512712611412715714111411415212315313311017419822414931413620217018321212813919826316411315118724913821516222928111614317512618412314614914422213315816813514412512414112917916517818015714819312112816318215918116712315719511511017712727512416515913014413415222819112210510611617328418638419118014515813433713814333017818814518213713916713616013219012916022719823318326918013712613628711435212212316416615412712316421018523916719227127514316220317218615019320131417124814915316921129620114414221915119022920012325715214915312710723110911310617317216216218017217416716816716717615916216416315715614814815715415116216415216016515013813415615013715616115514513113813212913312913013713512812115913212711711211212711211010810510811010211010198969697113103112102101879795101102979486878483828597968279777871767416615516315315715114914914114714614514114312814113413914313713613515713315913113112912412711512512512312513012014211812911612911413211218311010810812910611597103116101104999794969794969891919685104848982807170686313613212812913713612614612613512412314113911913011111914312412013510712213410410912212310812012994112951071181011079098989411396901151051099684939494811351271311351371221341291211211461191251201201231161291161151151171101191141081161121051032451731531341481361629896200939694939891928584858685868574787374767476691311511511401361441371341191261161391241261221211141231161171201201131121061151161071761121061169413395979287838082747773727167666014916214314714013612913116215213813612813213613514012913412913212113113112211810810911511012112812610510612310912010195951019199113911048885857476787673747069686716113912613112712015015514115511611311911011112211812012412796101100129100991121021121371111098699106871148311912196998710768122161146173206176222259122232922111521141031461721303801502232322921681241341351751111712022162351371131652471881148810319116516574126732441251611521511461861361551271331221531511111141241282111531451021912781221281891131489991110777225614914891215177186161152174173164130242145163137134187222117147204161299112124149152175153178126106133185136835013212617215413217714715013214113415915416818613616810414313118814811513413413410914611012470116159928582491231361331581261211291101191191181241201021111001021231291121271261431091199511311111011411898958792101969591941071021049594899288808872101968378708961481641661751942041821761691631821491621661541461491491571981471461541511591661522021411591471541631421271401401531401791301511591281561541191301261161341311421251281431121702111261181201109711811114117012210513114010411897104801601151161091149090789181826047166230192150168232178160237178121165127153116155139169122109145109135123150135154144130179212195169159108178122147240200245123161126127140161113156949848461461861611612531441412231441762441541421302081931461851381291631389115818316514413313019012411916715812910291146165183172103161135133126989213713885846645212187205251155191171273189166172191143141149163158164255202172223143155203175153180162212160118142148155179155145188160137146191158132191139124194126191209141106140122197253128153171105100138210137931401171301349912012912913211414020298164109113774420820222616529515019720620913518014417013816117815315113716117415819816517314319314120817817814215021417511912826112914714411411414410789168102121136114137228158211159106137128133158809079901661772032032191721222019675147148170161143145147141139147145140158182146137155150143149122120148154129137148150154145115119119117120117116131115116132118115139150137112136106112101991151371201071231041081261451512171052311361769697829911094988194927910685111931078396886858242237246234233250232232229233228242229230233222222220227221220215220217252223211204209214212214222220209216210207209206202201202198195200190194194192192191185189188185192195184183184181178181181180181186177208181171166163168162168180164163267157158165169173156154150154146160145140145146150153142142137141140141138138143143134139133135129130130134141127130126128123121130111126117118110131112118116102109115102106989596981001051011011121209510093991139299938480819610492879175719579747165106826791678084565554511621621941711621661661571481481441471691471601411621571691291251421251601241151221311261431381541361261281211991351371081211071201491191211191411161241299712312510312497100848213297931131021218186121118951201139010899817961565653402022292151791712401981272051611391251381871471101561581789514011974135767779225758010814819120219517713715911711211893145124160160135131130157120115150193152136241171146135166126194132116136261150240115100128121117103137164175146109159151941411431841531801081101771241181229698192122119214215177152190146154166139133173150134199213170167166244137450195256412208151121114124120154941171561461683141853211372131661421491401561341521481451491581361782421331541211161211771168613516291137211192192689010993116971511451131181281181111681228910811512812412713596111115738576117152119733719221717714913518211115710713692133134160192106119135154187138113131110173838612112777915356361391291831381921521891521391311701262211821761371221451431531771781561391431181041521181181741351981549513616013113215410112395811159775957381113223158918976927243351541791841371741731981551671541181901211341531271591911591571511421842121841281221261772211501601121561011251751441459218412816111119814912512790140108112191114901281141458319088148118879186998134198191188198205192249191194206236236242190150176208196171132168148136132169193138181169189176207147172159151122114193139208179171172137162128122129131203152154153133103185152160193130194113185117186105101143199134901032291011231208612212211214910110413678533318219519818216720419819215318116319517816314114712916214914014814013513814515414715116318819217519821814712213015614012811313413011515812713814714320912514212724113712313714810913512512286999811389881281451031101021031761509613912611084130841317110511568858686485836427828027427627027826726426326727527526228226126425825526826225725424925125526325525625226724323724723924224325326623825925623824426023224225722522222922822723723621521921722022023724421824120920621820821123520622022122920621120119620619618719822219018720018619221918018620719017217818717718018218020417216918116717418416817919316418716216317116816815618615415116315315616616114114414814715014514014515414613813714113913414213813914114712912612812513212412813412012313112511812013011011910915911413310211210110710099103109121131110192899792110127102991301059293831031049391888780100102908076997588104778492688181698264577661718378858662513115913215317615314814018013820015011514812116115014515917314814011014913815711710912713014113298143139114152121150104108144119111118103141116106113881131049690951081501611241511269110385898383114851151189486111142119791962343054762101893511451362902031701311761571081311561282061222451081692051841341671293101323221564831351401611551651091041281932309114880881101251161161071658179937712883141118174851772211921861801781661781842071581681741701611831611772041601431531641521491421532181441391731361501351441651531321601391591561511541431251411851451261431151391231311471461241381081091121131131011241161381321089911511311517110096120908611411282109961921248485971282207388177126701259211111091666116264706951626467815351525141343174149153136246259174170141126173141215143155161158154123175128149157186165207122121111126143188142128871091652451161171682131481651099915517610516411414018093165108627112722116385144125869615976107888487359818113273186169171193182158156190207192170169154164172213164155176150154180222164157214144147190155166181156186174171160131186192140142125131131131140131129132122125120122124120145114114104129118111115120171126123165133126131116137961031461151051121001221491141238393114149721087672110105917981659269867683801017098791117660216252219223244255193232209192181203231171221206166167199187182216209185175178185197153144164183156166158159176169249194137205135148157195165168197238150146129146183190123143184157151149168187232135164115111147136136163117155109120152119110124122166118971089111317510011010287101762251748481827367686764607260675965676693806557996083848961785511648656482486142502417717116714213416014113016212613115213413713515214014112613813214317021713718213513312613413813412415216212413813714214123595116124132108114121115142136111132122113126127103101116116114981239697861109196999813987911137011288797598877765637387878593846389894445262442131571831752031821511991771501761801582101742101751231381761201691642201141461482831481591901562221531311721391251691431331181121321461251861411391401281702231841751401321481412052171451281441881081111599713513992128116106115112134200108204205114148881177322421310724816719613312612990786610579598081975537104722212391611682121771771961692022151942312002551711861842281741641541732001431661701521651691431671541691471661521371661391731851951571751511261961311581492151891671761381551401571221939112011615916413216996120112127141861151261191391629112010711410710198107104173849994100124100115135691021687978113851579111594608813418420820725423220018917919022521515824823720018225919320915919119824018418020418720116616616220719118321219427121620323217615621215716514513323224018118418323022114216620720118020215116316815815716816619614615912011414111111812412713010513714810297144135135881531031191451132022011031621241291569714516214912589101104768766836758911519111411486798196606958621046814114314715313214212512913013013018114512518312912013313112512712211610911613811011611711310611210813015610611497101110104105100108109112103113889296101112818597821098079110757381807498878071891007782728873112897797695875747761556760607164675458645447139111101101122114123137193111129102102120131191123117124991781521096810414310210611213726720757103144109625781121121166200217858016312611210984103135144138124921541431751561142241132881778810412612915574123155101741051762542629416113176180915794911291551551411568924022027320419215517716214718523932818015415720014016517316115120915022320115815816018315818326815416919724414311714514011516215922021819021715916316210811716011811115710814113412320217611112813017611810518514215921110718018719096971301472061339396851251491311498620383125121128521207392667810694925614996959551402231541822172061811712631622072071811752112172121901631621401871692301561611641621441532092061842001472012722011501852321331622401321462251491561131441581441391671581351271681341631821782111561321441701501011461411631281421541501401571271581631461111711021411141221101299211619689155140180888010711567821559115221310810210511714580907813417697120511375758175228226187162241168191185177184223148144159211236177136245161258196127153159200132172139121181146134168199187158251152123199153191127154981182541651621221459313916911712711112516295118134162106109110126107149130152123171124921011821199514518212491275172239137114117180951092027612715312510010854103921391681551373820721123620720023322725522538017828526220320323322624633119524622625718121519619320223126224819419117821026520721422919616718715319518418222914223521720114516813114831915621223623027817220015815116315213821020916914512112016218012117613014013613715914113814411718713626813419821124114721111612016516919017888136153236149708412516214912715180931351181016887110144107173133179896020018515133414619713412517320721511816713513123511013511812011116114715110513814923214813412715915923423210412912114416311415610513112512813894108148104148917973941485813212589589214614010380561397671705110911627229726032224727026124526926125132727926823923326435032738424330224221323722627033823724034525921325930927623938826627322526927131525928141020633842932237323923324321536824826623034226123135628125119619226831221419625423319825419424622725521515918022614415214715515617618917314817713915915415714714416019515419715923320516015215320620217318017113716229721019622428613913315614515316412416612820121924715821016521611212414514515614212411810816315421614310523824411417216413914112915811018923613410017412224623811213599179176118131121151203136739196187591571139110566424783931077683694755706481721327830320921624924626133934223721325225134237930119933321730231835727823432324926228725930123517422818418529818132118418226927721325224319727117417320318024819323623918922624217916916318416117719018933617618817618725734922231217819316915814413221116115120220315016717015114015220912427629613420099113203116159128155183209137162157102195145188139187106133123165102149126116105123133148129102183152119111175131831101189019681849795107199639667591366514368856880951817663737190178250181259319207238199225190459188234266376216233214150232194160149248207347227238182208193344157179138171168198241171182136171196155203127199250173183186233191199144334148143150202162129195120141255153201183110223332134194221285131186395135107120103153122104212239168821031131551079511514912011114016018722111913616319126914762711571173542541773473021274212672403322814452972282342252442502403233282522382342023231972842673562512062762162192102602052512212563423142281762392993402141981862961882572873491872192102192421641662531661752072202412851841721772112151791471912242334492242571531782561453043081833912892982492021691621881972521552101451742613331982491921711561351091839610420416519614815514521922418918117510815610411016910412114120126510212630112110011412614513423015327014417110310015674104105351255346106851242151521311041488611440335790999512123310480150104159271353307237235429269311251315261239297310321310254334231301335364272245288243256270259232270239261354225261299206231253256313196227353268523287361257185229211256258271281209218183272192176207224265221202169166208209188182214212200183194184232277277241214167216189302173249167171163207187191297172195187199164224151156152219166209169146137146190153242162121263163230230223124258119223171137121139150145164154228100134203951241001301322219311116196152284911528916014891118144123154108213172122719593110155133171137146961071278613017115511180801491661616796957280253725699703685334324174559643523483703483853345083724394143823443523514244514174793203803844495774724013844963655153044023445513944575193322933792822833853212924143744843835874144813764704472652953063063223734443663703085233363433734783273073012722932692722802883332472743232623363505612773252752243482643382945402824163412612552502752293814962502493272932512572832322552882373213962092102402302722732102132352192191922573212342441832353093263862542122992181872373042152052762211752242282232082802642282101942082651772471771881812592871892032052672011851882301841664862141561551671892251501802531562422262251462551643671722641461501962071361242021732541431291941511601731721221331331501963802081561751679513220499921181121531381199410211193941401251021259314313611215994118171120103131222206105123146881491264510886581051115067757068746648706038761292920182525"

### 7.1.2 Evidences: Rewriting per chapter

I will show evidences in which I rewrite the text of numbered verses of Quran per chapter, with the 4 main descriptor numbers of a text. To remember the numbers to be used, I first provide the head and tail of the table I will use.

knitr::kable(head(dfVCwl), booktabs = TRUE,
caption = 'Table head of numbered verses of Quran.')
Table 7.3: Table head of numbered verses of Quran.
Chapter_index Verse_sum cwords cletters
1 7 29 143
2 286 6140 26249
3 200 3501 14985
4 176 3763 16332
5 120 2837 12206
6 165 3056 12726
knitr::kable(tail(dfVCwl), booktabs = TRUE,
caption = 'Table tail of numbered verses of Quran.')
Table 7.3: Table tail of numbered verses of Quran.
Chapter_index Verse_sum cwords cletters
109 6 27 99
110 3 19 80
111 5 23 81
112 4 15 47
113 5 23 73
114 6 20 80

I will concatenate the numbers per chapter in the exact same order of the text of Quran, namely from right to left, as I did in Evidence 7.1.1.

#### Evidence on per chapter level rewriting
tmp <- paste0(dfVCwl$Chapter_index,dfVCwl$Verse_sum,
dfVCwl$cwords, dfVCwl$cletters)
tmpr<-rev(tmp)
cat("Heand and tail of the chapter level represenation numbers: ")
## Heand and tail of the chapter level represenation numbers:
head(tmpr)
## [1] "11462080" "11352373" "11241547" "11152381" "11031980" "10962799"
tail(tmpr) 
## [1] "6165305612726" "5120283712206" "4176376316332" "3200350114985"
## [5] "2286614026249" "1729143"
tmpr <- paste0(tmpr, collapse = '')
cat(as.numeric(as.bigz(tmpr) %% 19))
## 0
cat("number of digits on this big number is", nchar(tmpr))
## number of digits on this big number is 1205

We can only use the default test as we are testing the order of rewriting as well. It has a similar approach to Evidence 7.1.1 but at the chapter level numbers resolution of it. We could perform two tests and observed one success.

For the reference, to the best of my knowledge, Evidence 7.1.2 is first time presented to the literature in this book, and it has been hypothesized, tested and discovered by myself. In case if I find out Evidence 7.1.2 had been available in another article, then, in such a case, I surely add a citation and update the online version of this book.

Here is the "1205" digits length number of this evidence:

"11462080113523731124154711152381110319801096279910831043107725114106417771055239710493313410331473102828123101113616010011401699983615898894404975301159619722889583416294827102931140165922171314911554253902082342893013958488269238287197229686176125485221094698425108445833616975082198133381291044358042133552794617978578401747967750181841763124310877540164676745625610357320200854722828611097128227965704421797169522601133685230112896730333134766122541105651228912036418242109163111818016211177768611422696660133521560592444719705822475204657295752545569637917565578352164754553421469536236014335249312132451603601546504537315074918353153348295602510473854224234635645266745374882085445934614744389836360942538603522415479433654085122651083975117748693888735306537182865389936837303068354577832383454884359433731303578832303721563313455021713060817347229699784317288814385930279311594790262271320563025778963878246413195754231181052448322781279531421112117450942013513535399199897139351811015836552171111558664316128184478321599657288214528303539134385335451211117957307111231946781710109183975899129250511115875124253877206334114435616530561272651202837122064176376316332320035011498522866140262491729143"

### 7.1.3 About the probability of the evidences of rewriting up to letters

Since there are only two levels, chapter and verse, to rewrite the text of Quran with its natural numbers and we witness two evidences for each category, no need to set special counters for this main chapter on rewriting evidences. Considering the two text types (numbered and all verses), and the verse and chapter level rewriting cases, we can try at most 4 trials and we observed 2 successes, one at verse level and one at chapter level coding evidences as will be presented in the following sub-chapters. The probability of these two particular evidences of this main chapter on rewritings is approximately 0.015, which is statistically significant.

In case a more skeptical people argues that they want to include the without the letter cases to take into account as well then we can try at most 8 trials and we observe 2 successes. The probability of these two particular evidences of observing the rewriting evidences becomes approximately 0.06. This probability is still very close to 0.05 and might still be considered as statistically significant. This is because, for the sake of simplicity, this probability is an approximation and calculated by Binomial test with the assumption that the events are statistically independent. In fact, as we know they are dependent. Because if any of the letters change the both of the evidences would fail with about 95% of chance since the probability of random success of a trial is only 1/19. Also, out of the 4 evidences, 2 of them are in chapter level and 2 of them are in verse level and this is the unique situation that convinces me that what we observe is a coding pattern that we observe the same coding pattern, both, in chapter level and also in verse level text data, and thus they are evidences. If we also consider the observation of the same coding probability approximately as 0.5 then taking this into account observing 2 success out of 4 would be approximately 0.007 and similarly observing 2 success out of 8 would be approximately 0.03 and both are considered as statistically significant observations. Moreover, number 19 is not any number but a number mentioned in Quran independently by God. These events together makes the probability of the successful observations randomly to be less likely than the measured probability in favor of the evidences.

Before going into details of the evidences, let's update the global counters here for both of the evidences. I will add 8 trials and 2 successes just to make sure I calculate the global probability of the 19 system presented in this book as conservative as possible.

global_tested_nums <- global_tested_nums + 8
global_success_nums <- global_success_nums + 2

### 7.1.4 Facts on rewriting the full text of

In this section, some coding examples as facts on rewriting the text of Quran with its natural numbers are presented.

#### 7.1.4.1 Fact: Rewriting the full text by main descriptive numbers per verse index

Evidence 7.1.1 is the main evidence to rewrite the full text of Quran with the 4 main descriptor numbers of a text. If Evidence 7.1.1 was not successful, I would not be able to confidently hypothesize the additional follow up potential evidences such as this one. Because, when we mention a specific verse in Quran we naturally refer to it by its chapter and verse index such as this "Quran 74:30". Therefore, any natural test must consider those numbers first as I did so in Evidence 7.1.1 and proved that when we rewrite, or in other words decode the text of Quran with its main descriptor numbers, the resulting big number is divisible by 19, which very strongly supports that Quran is intact and has correct order and unchanged as we Muslims already presume and accept so. However, after witnessing that great test, I decided to perform a follow up test. I wanted to test if there is any similar design with respect to the general order index of each verse from 1 to 6348 (column VerseI in the table). Then, the question was at which location should I place the general order verse index for concatenation. The previous natural order was not quite suitable as it does not fit in, for instance, the natural "74:30" like expression of a verse of Quran. I decided to place the general order of verse index at the beginning just like I naturally did myself while generating the table of the text of Quran and placing the general verse indexes, VerseI, at the beginning. This make sense because we also sometimes refer to a verse like "the first verse" in Quran without referring the chapter index. In a sense, these general verse order indexes are at the outer domain of chapter indexes and when we give only this index one can find out which chapter and which verse of that chapter by following the order of the verses in Quran. Thus, I locate the general verse indexes, VerseI, at the beginning and then follow the general order of concatenations afterwards. As I show in the following, rewriting the full text of Quran as in Evidence 7.1.1 but this time regarding the general verse order indexes results another big number that is also divisible by 19.

x<- data.table(unQuran)
tmp <- paste0(x$VerseI,x$chapter,x$vwords,x$vletters)
head(tmp)
## [1] "11419" "21418" "31212" "41312" "51419" "61319"
#Revert the order from right to left as in Arabic.
tmpr <- rev(tmp)
head(tmpr)
## [1] "6348114313" "6347114520" "6346114417" "634511428"  "634411428"
## [6] "6343114414"
tmpr <- paste0(tmpr, collapse = '')
cat(as.numeric(as.bigz(tmpr) %% 19))# "0"
## 0
cat("number of digits on this big number is", nchar(tmpr))
## number of digits on this big number is 58714

Since I used the number 6348 for general verse indexes of the full text, I also tested the unnumbered version for the number 6236. This fact only passes the test for the full text of Quran that is based on 6348 general verse indexes, which is more assuring in fact as we are rewriting or decoding the text of Quran.

You can access this "58714" digits length big number from the following link:

https://github.com/quran2019/Quran19/blob/master/6_1_1_rewrite.txt

One can just copy the big number and paste it into a web based big number calculator and test it herself.

#### 7.1.4.2 Fact: Rewrite the full text by word and letter numbers per verse regarding verse indexes

Although I designated the coding of this section as a fact, in my opinion it might also be designated as a weak evidence as it is very meaningful coding example. In Evidence 7.1.1, I had used the 4 main descriptors numbers to rewrite the full text of Quran. It was the natural way of rewriting the full text by the 4 main descriptive numbers. However, we can also refer to each verse by their general verse index that we assign from 1 to 6348 to the full text. Since we refer to the total verse number 6348, we also consider the unnumbered version 6236 as well for testing. If we use only these general verse indexes and refer to each verse, we can similarly rewrite the full text of Quran by the number of words and letters per verse in order. Because as mentioned before, these general verse indexes also incorporates the chapter information inside implicitly and enough to represent the full text of Quran precisely. As you will see in the following, I will rewrite, first, the full text of Quran regarding the total number of verses 6348.

As we know, Quran is written from right to left and I again follow this same pattern while rewriting the text by the descriptive numbers. This represents the whole text of Quran with respect to number of words and letters per general verse index and supports the hypothesis that there is no redundant or missing words or letters in each verse and their orders are also correct.

In the following proof, I demonstrate that this hypothesis for the case of 6348, which represents the total general verse indexes of the full text of Quran.

#Verse index (VerseI)  as descriptor
x<- data.table(unQuran)
tmp <- paste0(x$VerseI,x$vwords,x$vletters) head(tmp) ## [1] "1419" "2418" "3212" "4312" "5419" "6319" tmpr <- rev(tmp) ## matches the coding from right to left as in Arabic. head(tmpr) ## [1] "6348313" "6347520" "6346417" "634528" "634428" "6343414" tmpr <- paste0(tmpr, collapse = '') cat(as.numeric(as.bigz(tmpr) %% 19)) ## 0 cat("number of digits on this big number is", nchar(tmpr)) ## number of digits on this big number is 47284 #### 7.1.4.3 Probability of all the evidences so far and calculation of the rewriting evidences Considering all the 4 descriptive numbers (chapters, verses, words and letters), we could make two trials at verse level and two trials at the chapter level, which makes 4 trials and 2 successes regarding the evidences, Evidence 7.1.1 Evidence 7.1.2. Here is the probability of such an observation: tmp <-binom.test(2, 4, p = (1/19), alternative = c("greater")) tmp <- tmp$p.value
print(paste("The probability of", 2,
"success out of", 4 ,
"(with p=1/19) is:", tmp))
## [1] "The probability of 2 success out of 4 (with p=1/19) is: 0.0154771679161455"

If we try all the possible numbers regarding the general rules described in Chapter 5.1.1, then we need to consider the numbers witout letters too, which brings additional 4 numbers. This can be considered the maximum number of trials and free from any objection. Here is the probability of such an observation:

Considering all the 4 descriptive numbers (chapters, verses, words and letters), we could make two trials at verse level and two trials at the chapter level, which makes 4 trials and 2 successes regarding the evidences, Evidence 7.1.1 Evidence 7.1.2. Here is the probability of such an observation:

tmp <-binom.test(2,
8, p = (1/19),
alternative = c("greater"))
tmp <- tmp$p.value print(paste("The probability of", 2, "success out of", 4 , "(with p=1/19) is:", tmp)) ## [1] "The probability of 2 success out of 4 (with p=1/19) is: 0.0627572792839142" The probability of all the evidences so far, including this chapter, is as follows: tmp <-binom.test(global_success_nums, global_tested_nums, p = (1/19), alternative = c("greater")) tmp <- tmp$p.value
print(paste("The probability of", global_success_nums,
"success out of", global_tested_nums ,
"(with p=1/19) is:", tmp))
## [1] "The probability of 30 success out of 67 (with p=1/19) is: 6.27791944710998e-21"

## 7.2 Evidence: The unique numbers

This evidence proves that the number of all the unique words and their letters used in Quran has 19 based design in it.

$u, U$

$14870-80068$

In Chapter 3.6, I provided reproducible open source codes that allow easily to reproduce and generate the 7 main descriptive numbers of the text of Quran and also provided the two unique numbers that are distilled from all the used words of Quran. Those two numbers are unique number of words (denoted by u) and also the number of letters of the unique words (denoted by U) of Quran. In total, all the 9 different descriptive numbers about the text of Quran can be reproduced in Chapter 3.6 from the text of Quran. The unique numbers u and U are not independent categories of the text of Quran but they are derived from all the used words and letters in Quran. In a sense, they are offspring of the words and letters categories, respectively, as they are dependent of the main descriptive numbers of the text of Quran. Thus, they are treated as a separate category. These unique numbers are also important and that must be considered because it reflects the richness of the word set used in the book of God. I expected them to be coded under the 19 based coding system of the text of Quran and also designed together with all the 7 main descriptive numbers of the text of Quran and thus developed hypothesis and tested them as such.

Regarding the general rules, I do not test them alone but concatenate them together. Since u and U represent a separate category, I concatenate them in the natural order as well, which is first words and then the letters. This is the most basic universal rule I keep using while concatenating numbers, which is "the concatenation of the natural numbers in the natural order". Both types of the text of Quran, with unnumbered verses and with only numbered verses, has the same number of unique words as the unnumbered Basmala verses are just repetitions of the numbered Basmala (chapter 1, verse 1). However, this is just a coincidence and this did not have to be so. Because, for example, one of unnumbered verses could be different and there is no reason why it is not so. For example, there is no numbered or unnumbered Basmala verse in the beginning of the Chapter 9 and this shows there is no standard in that respect. Therefore, there is same concatenated number to be tested, which is uU for both text types of Quran. In summary, in this evidence, I will prove that the unique number of words ($$14870$$) and their number of letters ($$80068$$) together, which is $$1487080068$$, are also under the 19 based coding system of the text of Quran as follows:

suppressWarnings(require(gmp))
tmp <- paste0(u,U, collapse = '')
tmp
## [1] "1487080068"
cat("The mod 19 of the unique numbers combination is  ",
as.numeric(as.bigz(tmp) %% 19))
## The mod 19 of the unique numbers combination is   0
cat("The precise result of the division is found as follows:") 
## The precise result of the division is found as follows:
cat(as.character(div.bigz(tmp, 19)))
## 78267372

There is only one combination of the unique numbers according to the general rules as described in Chapter 4 and I proved that both of the descriptive unique numbers are together coded by the 19 based coding system of the text of Quran. Or, in other words, "74:30. Over it is Nineteen"! Specifically, Evidence 7.2 holds the divisibility by 19 rule of Chapter 4.1 of the global Test 19 (Chapter 4.2.4) and they are under the 19 based coding system of the text of Quran. Feel free to test it yourself by reviewing and running all the codes of this evidence.

As I discussed in detail in Chapters 3.8, I argue that it is practically impossible to count the number of unique words manually by the people of that time that is 1387 years ago. Therefore, I conclude that this and any other evidence that includes unique descriptive numbers are beyond the ability of the people of that time to fulfill and thus must be designed supernaturally, or in other words, by God.

As the last thing to do, let's add the number of successful evidences and the number of trials to be tested regarding this evidence in the global counter so that in the end of the book we can calculate the global probability using the counters. Since we always consider the two text categories, this success is valid for both of them as the Basmala verse is a repetition although it did not have to be so but it is. So, we can say that, we have two out of two successes. We add them to the global counters as follows:

#Because we apply only the default test to the single number in this evidence.
global_tested_nums <- global_tested_nums + 2
global_success_nums <- global_success_nums + 2 

For the reference, to the best of my knowledge, Evidence 7.2 is first time presented to the literature in this book, and it has been hypothesized, tested and discovered by myself. In case if I find out Evidence 7.2 had been available in another article, then, in such a case, I surely add a citation and update the online version of this book.

## 7.3 Evidence with the pairing coding pattern

Under this main chapter, I will present many evidences using the the pairing coding pattern mentioned in Chapter 4.1. We will pair the natural numbers of the full text of Quran between the two text types, namely all 6438 verses and only numbered verses. This pairing coding pattern is applicable all the three levels of the text numbers. The following evidences prove that the pairing coding pattern exist in the numbers of all the three levels of the text and the both text types are designed together under 19 based system. Since we witness a coding pattern, at all levels, these stand as proof that the design is unchanged and thus the text is also unchanged and intact since 632 for the last 1387 years.

Rule: The name of the special coding pattern of the evidences within this chapter is The pairing coding pattern:. In this coding pattern, we pair two corresponding representation numbers between the two text types of Quran. Namely, between the numbers of all the 6348 verses and the 6236 numbered verses.

### 7.3.1 Evidence: Integrity and intactness of all the main numbers

This evidence is based on the pairing coding pattern mentioned in Chapter 4.1. This evidence suggest that all the 4 main descriptive numbers are together designed by the 19 based coding system of the text of Quran. For convenience and its importance for this chapter, I present the descriptive numbers again here in the following tables.

dfnums <- data.frame(c,v,V,w,W,l,L)
# Table:
knitr::kable(dfnums, booktabs = TRUE,
caption = 'Table of all the 7 main descriptive numbers of the text of Quran.')
Table 7.4: Table of all the 7 main descriptive numbers of the text of Quran.
c v V w W l L
114 6236 6348 77797 78245 330709 332837
dfunums <- data.frame(u,U)
# Table:
knitr::kable(dfunums, booktabs = TRUE,
caption = 'Table of all the unique descriptive numbers of the text of Quran.')
Table 7.4: Table of all the unique descriptive numbers of the text of Quran.
u U
14870 80068

Let's first remember the main numbers of the text of Quran. There are 4 main numbers of the text, which are number of chapters, number of verses, number of words and number of letters. However, as explained in detail in Chapter 4.1, Quran has a different structure, which makes it possible to be defined in two different forms regarding those main numbers of each form. Specifically, if we prefer to describe Quran with numbered verses only then we have these 4 descriptive numbers in order:

$c, v, w, l$

$114-6236-77797-330709$

In fact most of the scholars mentions Quran with regard to the numbered verses and cites verse number as 6236. However, some scholars like to mention all the verses including the unnumbered Basmala verses and thus cite the verse number as 6348. In that case the 4 main numbers are as follows in order:

$c, V, W, L$

$114-6348-78245-332837$

These show the two different aspects of the text of Quran regarding its textual structure. In fact, both of the scholars are correct as long as they emphasize the difference. However, do we have a 19 based coding evidence that supports the current belief that Quran is intact and thus all the numbers are correct? A 19 based evidence on the main descriptive numbers of Quran that verifies both of the text forms to be under 19 based coding system and they are designed in harmony together should be considered superior than any other evidence that only verifies one form of the text. In this evidence, I will present that both of the main descriptive numbers are together coded and under the 19 based coding system of the text of Quran.

Also, I ordered the 4 main numbers naturally from chapters towards letters by following the general rules as described in Chapter 4. Again, according to the rules described in Chapter 4, there are only two ways we can combine these two main descriptive numbers by concatenating them either way as follows:

1. $c, v, w, l, c, V, W, L$

$114623677797330709114634878245332837$

1. $c, V, W, L, c, v, w, l$

$114634878245332837114623677797330709$

There are only two possible combinations and both of the number combinations are divisible by 19. This means that they both are in harmony and designed together with the 19 based coding system. Specifically, Evidence 7.3.1 holds the divisibility by 19 rule of Chapter 4.1 of the global Test 19 (Chapter 4.2.4) and thus it is under the 19 based coding system of the text of Quran. Or, in other words, "74:30. Over it is Nineteen"!

Proof of Evidence 7.3.1: We have to use a special R package, gmp (Lucas et al. 2019), for the computation of big numbers. As a double check, one can also manually copy and paste this big number into a web application (“Good Calculators” 2019) for a double check if wished.

#First number
tmp <- paste0(c, v, w, l, c, V, W, L, collapse = '')
tmp
## [1] "114623677797330709114634878245332837"
cat("The mod 19 of this long number is ", as.numeric(as.bigz(tmp) %% 19))
## The mod 19 of this long number is  0
cat("The precise result of the division is found as follows:") 
## The precise result of the division is found as follows:
cat(as.character(div.bigz(tmp, 19)))
## 6032825147227932058664993591859623

Similarly, we can prove for the second number.

#First number
suppressWarnings(require(gmp))
tmp2 <- paste0(c, V, W, L, c, v, w, l, collapse = '')
tmp2
## [1] "114634878245332837114623677797330709"
cat("The mod 19 of this long number is ", as.numeric(as.bigz(tmp2) %% 19))
## The mod 19 of this long number is  0
cat("The precise result of the division is found as follows:") 
## The precise result of the division is found as follows:
cat(as.character(div.bigz(tmp2, 19)))
## 6033414644491201953401246199859511

We all witnessed that the two big numbers of Evidence 7.3.1 are precisely divisible by 19. Feel free to double check it by running the codes yourself or by just copying and pasting that big number into an independent big number calculator, such as this (“Good Calculators” 2019) and test it yourself.

Evidence 7.3.1 and its reproducible proofs demonstrated that Quran has a 19 based coding evidence that supports the integrity and intactness and order of the all the main descriptive numbers of the text of Quran from chapters until letters. Evidence 7.3.1 demonstrates that all the main numbers regarding the two categories of the text of Quran are not random numbers but they are related to each other in an orderly manner and they are all coded together and in harmony regarding number 19 based coding system of the text of Quran. In other words, "74:30. Over it is Nineteen".

Let's know calculate the probability of Evidence 7.3.1 being observed by chance alone. We had 4 trials and two successes as we apply only the default test per number, which was set as the rule in Chapter 4.1, for all the descriptive numbers. We counted 4 trials because we also need to consider the numbers without letters as per the rule described in Chapter 4.1. This means we have two success out of 4 tests each with probability of 1/19. We can use Binomial test to calculate the probability of this specific observation.

tmp <-binom.test(2, 4, p = (1/19),
alternative = c("greater"))
tmp <- tmp$p.value print(paste("The probability of 2 success out of 4 tests (with p=1/19) is:", tmp)) ## [1] "The probability of 2 success out of 4 tests (with p=1/19) is: 0.0154771679161455" Even if we had only observed this single evidence in whole Quran, then as we see from the probability result, Evidence 7.3.1 alone is observed to be statistically significant event independent of any other events. Moreover, number 19 is not a random number that we observe by chance in the text of Quran. It was the only unique number mentioned in a special way in Quran as in "74:30. Over it is Nineteen". Therefore, as I discussed in Chapter 4.2.2, the probability of this number mentioned in Quran was approximated as Probability P2 (1/114). As discussed in Chapter 4.2.3, we can calculate the combined probability of two events occurring together by multiplying them if we wanted to get the probability of observing only this evidence regardless of others. Thus, the approximate such probability of Evidence 7.3.1 is as $$((tmp) * 1/114) = 1.36\times 10^{-4}$$ or $$0.0136$$%. I calculated this probability once in this evidence but this situation is similar for all the other evidences. I will not repeat it for all the other evidences again and again but we better keep this in mind. In the end of all the evidences, I will compute the combined probability of all the evidences and then will consider this Probability P2 along with the total probability. Also it is important to emphasize that, since the numbers passed the default divisibility by 19 test, it confirms that, not just the sizes but also the order of the concatenated numbers are designed and in harmony and interconnected too. Therefore, since we have a rule that dictates the ordering of the numbers while concatenating, the divisibility by 19 rule further assures that the order, namely the structure and organization of the text is also designed along with the size of each component of the text. Any evidence that has similar situation should be considered similarly in future evidences. Therefore, Evidence 7.3.1 provides a strong rationale evidence that all the numbers of chapters, verses, words and letters of Quran were designed from the beginning and also it was not changed and still intact. It stands as a strong evidence to the hypothesis that the text of Quran is authentic and unchanged from the beginning. Because, in this evidence, we witnessed that all the 7 descriptive numbers, including numbered verses and unnumbered verses are in harmony and connected to each other by the 19 based coding system of the text of Quran. It is important because there is one chapter (Chapter 9) out of all the 114 chapters that does not start with the unnumbered Basmala verse in Quran. It was deliberately left so and unconventional to the rest of Quran. If they had written an another unnumbered Basmala in front of Chapter 9 as all the rest of the 113 chapters of Quran, then Evidence 7.3.1 and also all the rest of the evidences that includes this information would be collapsed! From this evidence, we are assured that the content and organization of the text of Quran, from chapter to letters, as a whole is designed and as is from the beginning for the last 1387 years and unchanged. As the last thing to do, let's add the number of successful evidences and the number of trials to be tested regarding this evidence in the global counter so that in the end of the book we can calculate the global probability using the counters. #we will repeat below after each evidence global_tested_nums <- global_tested_nums + 4 global_success_nums <- global_success_nums + 2  For the reference, to the best of my knowledge, Evidence 7.3.1 is first time presented to the literature in this book, and it has been hypothesized, tested and discovered by myself. In case if I find out Evidence 7.3.1 had been available in another article, then, in such a case, I surely add a citation and update the online version of this book. ### 7.3.2 Evidence: Pairing all the numbers per chapter In Evidence 7.3.1, I showed that the number of each category over all the text of Quran is coded by the 19 based coding system of the text of Quran. Now, I will show evidence, regarding the descriptive numbers per chapter. This means, we are going down to next level of resolution in the text of Quran. The pairing coding pattern as described in the rules in Chapter 4.1 provides the current evidence. We will basically pair the natural numbers at chapter level and get a single big representation number in the end. Now, with regard to general rules, let's first concatenate each category within itself in the natural order of chapter, verse, word and letter. We then have to follow the general rule and concatenate the two combined numbers in both directions. This results two different numbers to be tested as the chapter level. Also, regarding the rules again, we only test the default rule on the concatenated numbers of both types of the text of Quran as follows. tmp1 <- paste0(dfVCwl$Chapter_index,dfVCwl$Verse_sum, dfVCwl$cwords, dfVCwl$cletters) cat("Head of numbers from the numbered verses", head(tmp1)) ## Head of numbers from the numbered verses 1729143 2286614026249 3200350114985 4176376316332 5120283712206 6165305612726 tmp2 <- paste0(dfVCWL$Chapter_index,dfVCWL$Verse_sum, dfVCWL$cWords, dfVCWLcLetters) cat("Head of numbers from all the verses", head(tmp2)) ## Head of numbers from all the verses 1729143 2287614426268 3201350515004 4177376716351 5121284112225 6166306012745 tmp <- paste0(tmp1, tmp2) cat("Head of the paired numbers", head(tmp)) ## Head of the paired numbers 17291431729143 22866140262492287614426268 32003501149853201350515004 41763763163324177376716351 51202837122065121284112225 61653056127266166306012745 cat("Tail of the paired numbers", head(tmp)) ## Tail of the paired numbers 17291431729143 22866140262492287614426268 32003501149853201350515004 41763763163324177376716351 51202837122065121284112225 61653056127266166306012745 tmp <- paste0(tmp, collapse = '') cat("Mod 19 of the number is 0 as seen:") ## Mod 19 of the number is 0 as seen: as.integer(as.bigz(tmp) %% 19) ## [1] 0 cat("The number of digits of the final number is: ", nchar(tmp)) ## The number of digits of the final number is: 2415 As we witnessed, this big number is divisible by 19 and passed the test. Regarding the rules, there were two possible numbers to be tested and one of them passed the test but the observation is still statistically significant. This success of Evidence 7.3.2 shows that the descriptive numbers of both types of the text of Quran are also designed together and in harmony and interconnected at the chapter level too. The structure of the big number of this evidence is structurally similar to the ones in Evidence 7.3.1 but now the similar design pattern observed in per chapter level too. And we see that all the chapter, verse, words and letters sizes are intact and also their order is in perfect harmony as this ordered big number is successful on the default divisibility by 19 test. This evidence perfectly align with the previous Evidence 7.3.1 and they both reassure each other at different domains of the text. Here is the "2415" digits length number of this evidence: "172914317291432286614026249228761442626832003501149853201350515004417637631633241773767163515120283712206512128411222561653056127266166306012745720633411443572073345144548751242538787612465406912925051111591292505111151010918397589101101843760811123194678171112419507836121111795730712112179973261343853354513448573564145283035391453834355815996572882151006612901161281844783216129184878511711115586643171121562666218110158365521811115876571199897139351999975395420135135353992013613575418211121174509421113117851132278127953142279128353332311810524483231191056450224641319575424651323577325778963878257890038972622713205630262281324564927931159479027941163480928881438593028891442594929699784317297098243363060817347230618213491313455021713135554219032303721563323137615823373130357883374130758073454884359434558883613354577832383546782325736837303068368473430873718286538993718386939183888735306538897393084397511774869397611814888408512265108408612305127415479433654155798338442538603522425486435414389836360943908403628445934614744460350149345374882085453849221044635645266746366492686473854224234739546244248295602510483056425294918353153349193571552504537315075046377152651603601546516136415655249312132452503161343536236014335363364145254553421469545634614885578352164755793561666569637917565697383177557295752545573057925645822475204658234792065592444719705925451198960133521560601435615796114226966611523098562111777686212181787631118180163121858206418242109164192461110651228912036513293122266122541105661325811246730333134767313371366685230112896853305130869522601133695326411527044217971704522199071282279657129231984722828611097229290112873202008547321204873745625610357457260105475401646767541168695763124310877632247110677501818417751185860784017479678411788157946179785794718380480421335528043137571812910443581301084548219813338220853528336169750833717376984251084458426112464852210946985231134888617612548618652738719722968720763158826923828827964018930139584893114360390208234290218636191155425391165827292217131492227533393114016593124418494827102949311219583416295938181961972288962076307975301159763413498894404989984239983615899940177100114016910012441881011136160101124017910282812310293214210331473103418921049331341041037153105523971056271161064177710652196107725114107829133108310431084146210962799109731118110319801104239911152381111627100112415471125196611352373113627921146208011472499" In the following Evidence 7.3.3, we will see that this pairing coding pattern also exist at verse level too and not specific to only chapter level or the total level as shown in Evidence 7.3.1. As the last process to do, let's add the number of successful evidences and the number of trials to be tested regarding this evidence in the global counters so that in the end of the book we can calculate the global probability using the counters. In the Evidence 7.3.2 with these one success out of the two possible numbers as there is also the other direction. Also, following the general rules, we need to consider the two other trials without the numbers of letters, which makes 4 trials in total for this coding pattern at chapter level in this evidence. Let's add them to the global counters. #Because we apply only the default test to two numbers in this evidence. global_tested_nums <- global_tested_nums + 4 global_success_nums <- global_success_nums + 1 For the reference, to the best of my knowledge, Evidence 7.3.2 is first time presented to the literature in this book, and it has been hypothesized, tested and discovered by myself. In case if I find out Evidence 7.3.2 had been available in another article, then, in such a case, I surely add a citation and update the online version of this book. ### 7.3.3 Evidence: Pairing all the numbers per verse In Evidence 7.3.1 and Evidence 7.3.2, I had shown that the number of each category over all the text of Quran is coded at the total level and also at the chapter level. Counts of both of the the chapters in both types of the text of Quran are the same, which is 114. Thus, it was straight forward to apply the pairing coding pattern to the two types regarding the general rules in Evidence 7.3.2, where I showed evidences similar to Evidence 7.3.1 but with the corresponding numbers at the chapter level. Now, I will show similar evidence and apply the pairing coding pattern with the numbers at the verse level despite the fact that the two types have different total verse counts as 6348 and 6236 and their lengths do not match to pair and concatenate! Since their lengths are different, we need to mention some specific adjustments for this hypothesis. Let's first see again the table that shows the total numbers of each category per verse in the numbered verses as I will concatenate these numbers of both category. knitr::kable(head(unQuran), booktabs = TRUE, caption = 'Table head of all verses of Quran.') Table 7.5: Table head of all verses of Quran. VerseI chapter verse vwords vletters text 1 1 1 4 19 بسم الله الرحمن الرحيم 2 1 2 4 18 الحمد لله رب العالمين 3 1 3 2 12 الرحمن الرحيم 4 1 4 3 12 مالك يوم الدين 5 1 5 4 19 إياك نعبد وإياك نستعين 6 1 6 3 19 اهدنا الصراط المستقيم knitr::kable(head(nQuran), booktabs = TRUE, caption = 'Table head of numbered verses of Quran.') Table 7.5: Table head of numbered verses of Quran. VerseI chapter verse vwords vletters text 1 1 1 4 19 بسم الله الرحمن الرحيم 2 1 2 4 18 الحمد لله رب العالمين 3 1 3 2 12 الرحمن الرحيم 4 1 4 3 12 مالك يوم الدين 5 1 5 4 19 إياك نعبد وإياك نستعين 6 1 6 3 19 اهدنا الصراط المستقيم Now, in a similar manner to Evidence 7.3.2, I will concatenate numbers of all categories regarding all and only numbered verses. Since, this evidence is about the total verse numbers 6348 and 6236 of both types, I will use the general verse indexes to be able to concatenate the unnumbered Basmala verses as well. Because otherwise, there is no real representative number to be assigned to the unnumbered Basmala verses within the total of 6348 verses and thus we can not correctly concatenate their corresponding counterpart in the numbered verses at the 6236 verses. Let's elaborate on this more. So far, we have observed that the evidences were mainly by concatenating the numbered verses version of the text of Quran and the whole version of the text that includes the unnumbered Basmala verses too. This seems to be one of the main patterns in the 19 based coding system of the text of Quran. We have observed this pattern at every level so far, from total numbers of each of the descriptor numbers of the text to per chapter level too. Now, the question is, can we see the same paired concatenation coding pattern in the verse level as well. If we think straight, we would probably first say no as we cannot match at the per verse level as the numbers of verses in the two categories are different (6348 vs 6236). Second, even if we try to concatenate, what numbers are we going to assign to the unnumbered Basmala verses at the beginning of the 112 chapters? Since the unnumbered Basmala verses are unnumbered, we cannot use any other number, even 0, to really represent them. As a single solution to this point, we can fairly utilize the general verse index of each verse for all the verses, because even the unnumbered verses have a unique general verse index in order out of the 6348 verses. I mentioned this process as a general rule in Chapter 4.1 for the paired codings at verse level. This way, we solve the second problem but how about the first problem of concatenating the unmatched total verse numbers of both category (6348 vs 6236)? Well, solution came by itself as I had not even thought about it before running the code myself at first! I just tried the default approach of R programming language, which is the natural one. If you try to concatenate two vectors where one of the vectors is longer than the other, then by default, R keeps concatenating by starting over the smaller vector again. In a sense, the larger vector wraps the smaller vector as a circle. As an example, let's say we have two vectors a an b. The longer vector a has 5 elements as this a=(1,2,3,4,5) and the shorter vector b has three elements as this b=(7,8,9). Then, if we concatenate a and b, the natural way is to start using the elements of the shorter vector from the beginning again. A a result, the concatenation of a and b gives us this vector ab=(17, 28, 39, 47, 58). This is the natural way and also the default behavior of R as well. This means I did not even need to write a special code to perform this concatenation task and just simply concatenated them as if they are equal. In this evidence, we will test exactly this and see if the concatenation of the descriptive numbers of the text of Quran per verse level is also under the 19 based coding system of the text of the Quran. Here is the proof that shows success on this evidence too: x<- data.table(unQuran) tmp1 <- paste0(xchapter, x$VerseI,x$vwords, x$vletters) x<- data.table(nQuran) tmp2 <- paste0(x$chapter, x$VerseI,x$vwords, x$vletters) tmp<-paste0(tmp1,tmp2) # To see what is going on in concatenation head(tmp) ## [1] "1141911419" "1241812418" "1321213212" "1431214312" "1541915419" ## [6] "1631916319" tmp1[6235:6238] ## [1] "996235419" "996236420" "996237318" "996238416" tmp2[6235:6236] ## [1] "1146235520" "1146236313" tmp[6235:6238] ## [1] "9962354191146235520" "9962364201146236313" "99623731811419" ## [4] "99623841612418" # tmp <- paste0(tmp, collapse = '') as.integer(as.bigz(tmp) %% 19)  ## [1] 0 #Digitsum is not used as evidence but just presented as a fact. as.integer(digitsum(tmp) %% 19)  ## [1] 0 cat("number of digits on this big number is", nchar(tmp)) ## number of digits on this big number is 117196 In the analysis, you can see that the digit sum of this big number is also divisible by 19 as a fact. This means that this big number would pass both of the tests at the same time but as I set a general rule before, I only take the result of the default test as a proof of the evidence. The second result is interesting and stands as a supportive fact and I decided to present it as well just as a fact. As the last process to do, let's add the number of successful evidences and the number of trials to be tested regarding this evidence in a global object so that in the end of the book we can calculate the global probability using the counters. Considering the cases without letters as well, in total, we have 4 trials and one success. #Because we apply only use the default test global_tested_nums <- global_tested_nums + 4 global_success_nums <- global_success_nums + 1 For the reference, to the best of my knowledge, Evidence 7.3.3 is first time presented to the literature in this book, and it has been hypothesized, tested and discovered by myself. In case if I find out Evidence 7.3.3 had been available in another article, then, in such a case, I surely add a citation and update the online version of this book. You can access this big number from the following link: https://github.com/quran2019/Quran19/blob/master/5_5_BigNumber.txt One can just copy the big number and paste it into a web based big number calculator and test it herself. ### 7.3.4 Overall probability of the pairing evidences So far I have presented many different evidences based on obtaining the numbers of interest in a similar pairing fashion. Basically we first concatenate the numbers in the natural order within its own categories for both of the text types of Quran. We then pair them by concatenating the two combined numbers. This concatenation of the paired concatenation approach appears to be systematic pattern in the text of Quran and I presented the following evidences Evidence 7.3.1, Evidence 7.2 , Evidence 8.2, Evidence 7.3.2 and Evidence 7.3.3. I have been counting the number of tests and number of successes out of these events in the two R object to be able to calculate the overall probability of what we have been observing in the end. Although, I will keep adding upon these counter object, it is a good time to have a look by calculating the overall probability of all those pairing evidences so far as they have a similar category regarding their structures, which is pairing. In total we have 12 trials and 4 successes with the three pairing evidences so far. Here is the overall probability of these pairing evidences. #Subtract the counts of the evidence of the Unique numbers tmp <-binom.test( 4, 12, p = (1/19), alternative = c("greater")) tmp <- tmp$p.value
cat("The probability of", 4,
"success out of", 12, " tests ",
"(with p=1/19) is:", tmp)
## The probability of 4 success out of 12  tests  (with p=1/19) is: 0.002698548

As you witnessed, the probability of observing those paired evidences so far is significantly small and cannot occur by chance and thus suggest that they were designed. Even, if you do not read the rest of the book, these evidence should be sufficient for someone to witness the 19 based coding system of the text of Quran, which can only be fulfilled with a super natural power. To find out about this supernatural power, I suggest we should read the content of the book, Quran, for the answer, in which we will read that God has sent Quran to all humankind and it is the final and ultimate message and the Author of the book promises that this message will always be protected. The evidences we observed so far, assures that the book is indeed protected based on the 19 based coding system of the text of Quran. Let's now see other evidences as you still did not see the ultimate evidence yet!

Let's also see the probability of all the evidences together, we witnessed so far.

tmp <-binom.test(global_success_nums,
global_tested_nums, p = (1/19),
alternative = c("greater"))
tmp <- tmp$p.value print(paste("The probability of", global_success_nums, "success out of", global_tested_nums , "(with p=1/19) is:", tmp)) ## [1] "The probability of 36 success out of 81 (with p=1/19) is: 1.13073607547557e-24" ## 7.4 Evidence: Totals All the evidences with the sum coding pattern is gathered under this main section. Considering the rules in Chapter 4.1 on the total of all the descriptive numbers at the three text levels, we get 6 different numbers to be tested overall. In the following, I will present the two evidences out of those 6 potential numbers that come out of the set rule. For the reference, to the best of my knowledge, the three evidences of hits sections, Evidence 7.4.1, Evidence 7.4.2 and Evidence 7.4.3 are first time presented to the literature in this book. In case if I find out that they had been available in another article, then, in such a case, I surely add a citation and update the online version of this book. ### 7.4.1 Evidence: Totals of the main descriptive numbers The first and most important rule of all is that each evidence must be meaningful and answer an important question. This evidence answers a very simple question: Is the total of all the 4 main descriptive numbers under the 19 system or not? This is a meaningful question as it can simply prove that the total numbers of each of the 4 text category are designed together under the 19 system. Since we have two text types, then we have two numbers to be tested. The first one is 417544, which is the total of the totals of each of the four text categories. Let's remember the 4 main descriptive numbers of the text of Quran regarding all the verses including the unnumbered Basmala verses. $c, V, W, L$ $114 , 6348 , 78245 , 332837$ The sum of these 4 numbers are calculated as follows $c+V+W+L = 417544$ As it is proved below, the total of the 4 main descriptive numbers is divisible by 19 and thus under the 19 system. It represents the integrity and intactness of the text of Quran in total. tmp <- sum(c,V,W,L) # 417544 cat(as.numeric(as.bigz(tmp)) %% 19 ) ## 0 As we see, we could have two possible totals from the two text types and one of them is divisible by 19. ### 7.4.2 Evidence: Totals in chapter resolution This evidence answers a very simple question: Is the total of all the 4 main descriptive numbers in chapter resolution, under the 19 system or not? Let's remember the table with which we will compute, in chapter resolution, the sums of the numbers of the chapters, verses, words and letters. x<- dfVCWL knitr::kable(head(x), booktabs = TRUE, caption = 'Table head of the numbers at chapters in Quran.') Table 7.6: Table head of the numbers at chapters in Quran. Chapter_index Verse_sum cWords cLetters 1 7 29 143 2 287 6144 26268 3 201 3505 15004 4 177 3767 16351 5 121 2841 12225 6 166 3060 12745 Basically, sum of all the numbers in the above table is tested. In this evidence, the total number at chapter resolution, based on the all verses, observed to be under the 19 system as proved in the following: x<- dfVCWL tmp <- sum(x)# sum all numbers at CHAPTER resolution #423985 cat("The sum of all numbers at CHAPTER resolution is", tmp, ".") ## The sum of all numbers ## at CHAPTER resolution is 423985 . cat("The modulo of it by 19 is ") ## The modulo of it by 19 is as.bigz(tmp) %% 19 ## Big Integer ('bigz') : ## [1] 0 This result is not surprising and expected because its numbers are mathematically related to the totals as observed in Evidence 7.4.1. However, this evidence is the result of the set rules and thus it is also taking into account. Because when I set rules, I test all the numbers that are testable as the result of the rule. This is implemented even in the cases of negative results. However, I wanted to try another meaningful, but mathematically unrelated, hypothesis on the same table that includes all the numbers at the chapter resolution. Then, I hypothesized that if I count the numbers of each column that are divisible by 19 and get a new number by concatenating those numbers, I end up with a meaningful but mathematically unrelated number than the totals. As you see in the proof below the unrelated number of the table is also divisible by 19. # mod 19 of all the numbers at the chapter resolution y <- dfVCWL %% 19 knitr::kable(head(y), booktabs = TRUE, caption = 'Table head of the mod 19 of all the numbers at the chapter resolution.') Table 7.7: Table head of the mod 19 of all the numbers at the chapter resolution. Chapter_index Verse_sum cWords cLetters 1 7 10 10 2 2 7 10 3 11 9 13 4 6 5 11 5 7 10 8 6 14 1 15 tmp <- paste0( length(which(y$Chapter_index == 0)),
length(which(y$Verse_sum == 0)), length(which(y$cWords == 0)),
length(which(y$cLetters == 0)) ) cat("Concatenation of each column's mod 19 counts is ", tmp) ## Concatenation of each column's mod 19 counts is 6783 cat("The modulo of it by 19 is ", (as.numeric(tmp) %% 19) ) ## The modulo of it by 19 is 0 This stands as a further supporting fact for the Evidence 7.4.2. As we witnessed, the table that keeps all the numbers at the chapter resolution has an additional and independent 19 based evidence in it. Interesting enough, just the opposite of this test is also successful in the second text type of Quran, which is only the numbered verses. In that text type, the counts of each of the columns, which are not divisible by 19, yields a number that is divisible by 19. Here is the proof. # mod 19 of all the numbers at the chapter resolution y <- dfVCwl %% 19 knitr::kable(head(y), booktabs = TRUE, caption = 'Table head of the mod 19 of all the numbers at the chapter resolution of the numbered verses.') Table 7.8: Table head of the mod 19 of all the numbers at the chapter resolution of the numbered verses. Chapter_index Verse_sum cwords cletters 1 7 10 10 2 1 3 10 3 10 5 13 4 5 1 11 5 6 6 8 6 13 16 15 tmp <- paste0( length(which(y$Chapter_index != 0)) ,
length(which(y$Verse_sum != 0)), length(which(y$cWords != 0)),
x$VerseI <- NULL #removes this column knitr::kable(head(x), booktabs = TRUE, caption = 'Table head of the numbers at chapters in Quran.') Table 7.11: Table head of the numbers at chapters in Quran. chapter verse vwords vletters 1 1 4 19 1 2 4 18 1 3 2 12 1 4 3 12 1 5 4 19 1 6 3 19 In this fact, the total numbers at verse resolution, based on the all verses, observed to have 19 based relation as shown in the following: tmp <- paste0(x$chapter, x$verse, x$vwords, x$vletters) head(tmp) ## [1] "11419" "12418" "13212" "14312" "15419" "16319" tail(tmp) ## [1] "1141414" "114228" "114328" "1144417" "1145520" "1146313" tmp <- sum(as.numeric(tmp)) cat("The total number: ",tmp) ## The total number: 272053930879 as.integer(as.bigz(tmp) %% 19) ## [1] 0 When we consider this fact along with the Evidence 7.4.1, then we can see that this fact further assures the conclusion of Evidence 7.4.1 and suggests that there is 19 based design in the full text of Quran when we consider the sum of the descriptive numbers of the full text of it. ### 7.4.6 Probability of the total based evidences Considering th simple total coding pattern as we witnessed in Evidence 7.4.1 and Evidence 7.4.2. Considering the two text types and three levels of the text of Quran, we have 6 trials and 2 successes with this simple total coding pattern. Using Binomial test, we observe the probability as 0.036, which itself is still significant. Let's add these into the global counter and also calculate the probability of all the evidences so far in this book. global_tested_nums <- global_tested_nums + 6 global_success_nums <- global_success_nums + 2 tmp <-binom.test(global_success_nums, global_tested_nums, p = (1/19), alternative = c("greater")) tmp <- tmp$p.value
print(paste("The probability of", global_success_nums,
"success out of", global_tested_nums ,
"(with p=1/19) is:", tmp))
## [1] "The probability of 38 success out of 87 (with p=1/19) is: 1.28617492549299e-25"

Again, If some people think that we should have used more tests, although we tried all of them regarding the rules, I will not even look at the possible further successes in that case and keep the success number same but double the number of trials and see what would then be the overall probability so far. This should calm down those skeptical people.

tmp <-binom.test(global_success_nums,
global_tested_nums*2,
p = (1/19),
alternative = c("greater"))
tmp <- tmp$p.value cat(paste("The probability of all the ", global_success_nums, "success out of all the", global_tested_nums*2, " tests (with p=1/19) is:", tmp)) ## The probability of all the 38 success out of all the 174 tests (with p=1/19) is: 6.80277555062269e-14 ## 7.5 Evidences on Chapters with multiple of 19 content In this evidence, I tested whether there is any 19 based design in indexes of chapters of which its content, the words or letters, is multiple of 19. You can test the numbers from these dynamic tables easily: require(data.table, quietly = T) require(DT, quietly = T) datatable(dfVCWL, caption = 'Total numbers of each category in all 6348 verses per chapter', options = list(pageLength = 5, autoWidth = TRUE), rownames= FALSE) # datatable(dfVCwl, caption = 'Total numbers of each category in the 6236 numbered verses per chapter', options = list(pageLength = 5, autoWidth = TRUE), rownames= FALSE) #Get the indexes of chapter with multiple of 19 tmp <- dfVCWL$cWords #in 6348 verses
i1 <- which( (as.numeric(tmp) %% 19) == 0)
#10  21  41  76  87  95  96 112
tmp <- dfVCwl$cwords #in 6236 verses i2 <- which( (as.numeric(tmp) %% 19) == 0) #17 27 30 43 54 58 80 110 tmp <- dfVCWL$cLetters
i3 <- which( (as.numeric(tmp) %% 19) == 0)
#9  90 107

The way we get the number to be tested as follows: Firstly, from chapters of all the 6348 verse, I obtain the chapters whose number of words are multiple of 19. These 8 chapters have words with multiple of 19 in total:

"10, 21, 41, 76, 87, 95, 96, 112"

And, these 8 chapters have words with multiple of 19 in total from the 6236 numbered verses text type of Quran:

"17, 27, 30, 43, 54, 58, 80, 110"

And, these 3 chapters have letters with multiple of 19 in total from the both text types of Quran. Since the Basmala verse has 19 letters, it does not make differences between numbered or all verses types of the text:

"9, 90, 107"

First 19 based design: The total number of unique indexes is exactly 19!.here is the proof:

i <- unique(c(i1,i2,i3))
i <- sort(i)
cat(i)
## 9 10 17 21 27 30 41 43 54 58 76 80 87 90 95 96 107 110 112
cat("The total number of unique indexes is ", length(i) )
## The total number of unique indexes is  19

Second 19 based design: When we concatenate those 19 indexes in their natural order, namely, from first chapter to the end in ascending order, We get a long number and it is also multiple of 19. Here is the proof that it is multiple of 19:

tmp <- paste0(i,collapse = "")
cat("The representative number to be tested:")
## The representative number to be tested:
tmp
## [1] "9101721273041435458768087909596107110112"
as.bigz(tmp) %% 19 #mod 19 must be zero
## Big Integer ('bigz') :
## [1] 0
cat("The length of the number is ", nchar(tmp) )
## The length of the number is  40

As the last process to do, let's add the number of successful evidences and the number of total numbers to be tested regarding this evidence in the global object so that in the end of the book we can calculate the global probability using the counters.

#Because we got the special pattern from the 19 indexes.
global_tested_nums <- global_tested_nums + 1
global_success_nums <- global_success_nums + 1

For the reference, to the best of my knowledge, Evidence 7.5 is first time presented to the literature in this book, and it has been hypothesized, tested and discovered by myself. In case if I find out Evidence 7.5 had been available in another article, then, in such a case, I surely add a citation and update the online version of this book.

## 7.6 Overall Probability of all the novel evidences so far

In this section I will compute the probability of witnessing all the new evidences we witnessed so far in this book. As you know, I had two global counters to get the total number of tests and total number of successes in the whole book. Using the two global counters and Binomial test, we can calculate the probability of witnessing all those new evidences that proves the 19 based coding system exist and thus the text of Quran was designed from the beginning and it is intact and unchanged for the last 1387 years since it was first written in 632. Here is the probability of observing all those evidences by chance alone:

tmp <-binom.test(global_success_nums,
global_tested_nums,
p = (1/19),
alternative = c("greater"))
tmp <- tmp$p.value cat(paste("The probability of all the ", global_success_nums, "success out of all the", global_tested_nums, " tests (with p=1/19) is:", tmp)) ## The probability of all the 39 success out of all the 88 tests (with p=1/19) is: 1.52460597949908e-26 cat(paste("The probability of all the ", global_success_nums, "success out of all the", global_tested_nums, " tests (with p=1/19) and Probability of number 19 being in Quran together is:", tmp*(1/114))) ## The probability of all the 39 success out of all the 88 tests (with p=1/19) and Probability ## of number 19 being in Quran together is: 1.33737366622726e-28 As we see this is extremely small probability and the evidences we witnessed cannot occur by chance and thus must be designed by the Author of Quran. This is my rational conclusion after witnessing all these reproducible evidences. Let's try something else for extremely skeptical people. If some people think that we should have used two times more tests, I will not even look at the possible successes in that case and keep the success number same but double the number of performed tests and see what would then be the probability as follows: tmp <-binom.test(global_success_nums, global_tested_nums*2, p = (1/19), alternative = c("greater")) tmp <- tmp$p.value
cat(paste("The probability of all the ", global_success_nums,
"success out of all the", global_tested_nums*2,
" tests (with p=1/19) is:", tmp))
## The probability of all the  39 success out of all the 176  tests (with p=1/19) is: 1.94719144375318e-14
cat(paste("The probability of all the ", global_success_nums,
"success out of all the", global_tested_nums*2,
" tests (with p=1/19) and Probability of number 19
being in Quran together is:", tmp*(1/114)))
## The probability of all the  39 success out of all the 176  tests (with p=1/19) and Probability of number 19
##           being in Quran together is: 1.70806266995893e-16

As we observed that the probability of observing the new evidences we all witnessed in this book is still extremely small and cannot occur by mere chance and thus it must be designed as is. This shows that the text of Quran is coded by the 19 based coding system, which also proves that the text of Quran was designed as is when it was first written in 632 and it is intact and unchanged for the last 1387 years. Furthermore, as an interesting fact, it is revealed to all humankind in 2019, which means 1387 years later, which is also 19x73 and also its digit sum is 1+3+8+7 is exactly 19. This fact (not claimed as evidence) is very interesting as it also incorporates the two common operations I used in this book.

How about if we increase the tested numbers by four fold to make sure even the extremely skeptical person is satisfied on the point of the statistical significance of the presented evidences.

tmp <-binom.test(global_success_nums,
global_tested_nums*4,
p = (1/19),
alternative = c("greater"))
tmp <- tmp$p.value cat(paste("The probability of all the ", global_success_nums, "success out of all the", global_tested_nums*4, " tests (with p=1/19) is:", tmp)) ## The probability of all the 39 success out of all the 352 tests (with p=1/19) is: 1.19248400000551e-05 cat(paste("The probability of all the ", global_success_nums, "success out of all the", global_tested_nums*4, " tests (with p=1/19) and Probability of number 19 being in Quran together is:", tmp*(1/114))) ## The probability of all the 39 success out of all the 352 tests (with p=1/19) and Probability of number 19 ## being in Quran together is: 1.04603859649606e-07 As we see, we have statistically extremely significant probability and there is no doubt about the design of the 19 based system of the text of Quran. Before closing this chapter, I again increase the tested numbers by 6 fold to make sure no one has any doubt about the 19 based system of the text of Quran we witnessed is statistically significant and not expected to be observed by chance. This also helps compensating any possible mistake that I personally might have done unintentionally while calculating the probability of the presented system in general. tmp <-binom.test(global_success_nums, global_tested_nums*6, p = (1/19), alternative = c("greater")) tmp <- tmp$p.value
cat(paste("The probability of all the ", global_success_nums,
"success out of all the", global_tested_nums*6,
" tests (with p=1/19) is:", tmp))
## The probability of all the  39 success out of all the 528  tests (with p=1/19) is: 0.022469854531463
cat(paste("The probability of all the ", global_success_nums,
"success out of all the", global_tested_nums*6,
" tests (with p=1/19)  and Probability of number 19
being in Quran together is:", tmp*(1/114)))
## The probability of all the  39 success out of all the 528  tests (with p=1/19)  and Probability of number 19
##           being in Quran together is: 0.000197103987118097

As we see, we have statistically very significant probability and there is no doubt about the design of the 19 based system of the text of Quran.

## 7.7 Evidences with Abjad numbers

#See github.com/quran2019/Quran19/blob/master/abjads.Rda
caption = 'Abjad numbers for each unique letter character in Quran',
options = list(pageLength = 10,
autoWidth = TRUE),
rownames= FALSE)

In the following sub sections, I will decode the text of the full text of Quran at the word and even letter level by replacing their corresponding Abjad numbers (Wikipedia 2019).

Since Abjad numbers are not from within the text of Quran, I cannot rely on them in the same level as I do in the natural numbers of the text. Information of Abjad numbers are from historical resources and they may not be as reliable as the text of Quran. Therefore, some people are very skeptical on them. The evidences of this book are always based on the natural numbers of the text of Quran and no Abjad numbers are used other than this particular section, section 7.7. I want this book to be recalled mostly with that aspect and do not want to fully merge this section with Abjad numbers. Therefore, I will not include all the probabilities that come with the many evidences of this section. The best way to make sure, it does not cast any shadow in the reliability of this book is by not merging with the overall probabilities of the general 19 based system of this book. However, the evidences of this section are also quite strong and I will only take one success and two trials as representative contribution to the overall probabilities. Therefore I add only once success but two trials to the global counters as follows:

global_tested_nums <- global_tested_nums + 2
global_success_nums <- global_success_nums + 1

To clear up the point I just raised, the only way we can test whether the sequence of the words and letters have any 19 based design or not is using Abjad numbers. Otherwise with natural numbers of the text, we could test the number of words and letters of each verse regarding number 19. The following evidences with Abjad numbers suggests that even the position of each letter and words are under 19 based design. It also shows that, the natural numbers and abjad numbers are in harmony regarding number 19

For the reference, to the best of my knowledge, All the evidences and facts of the main section, Evidence 7.7 is first time presented to the literature in this book, and they have been hypothesized, tested and discovered by myself.

### 7.7.1 Evidences: Replacing each word by its Abjad and rewrite the full text of Quran

In this evidence, Evidence 7.7.1, the text of Quran will be re-written using abjad numbers. Basically, each word will be replaced by its corresponding abjad number and labelled by its chapter index and verse index. We will replace this representation numbers with the words in the text of Quran and concatenate them all. The resulting big number is multiple of 19, which suggest that it is under 19 based design.

x<- nQuran
tv <-c()
for(j in 1:nrow(x)) {
#for all the numbered verses
tmplett <- AbjadSeqofaWordSumValue(x$text[j]) tmp <- paste0(x$chapter[j],x$verse[j],tmplett) tv <- c(tv,tmp) } tmpr <- rev(tv) # matches the coding from right to left as in Arabic. #Each number represents a word as this: #[Chapter index|Verse index|Abjad number of the word] tail(tmpr) # tail of the vector.  ## [1] "1265" "1283" "11289" "11329" "1166" "11102" tmpr <- paste0(tmpr, collapse = "") as.bigz(tmpr) %% 19 #tes if mod 19 iz sero ## Big Integer ('bigz') : ## [1] 0 cat("Number of digits of this big number is", nchar(tmpr)) ## Number of digits of this big number is 497719 As we see in the above evidence that when we replace the words with their corresponding abjad numbers along with their chapter and verse indices in their exact position in the text of Quran and then concatenate them, we witness that this big number is also multiple of 19. You can access this "497719" digits length big number from the following link: https://github.com/quran2019/Quran19/blob/master/6.2.1_Evidence_bignumber.txt One can just copy the big number and paste it into a web based big number calculator and test it herself. It may be helpful to understand what is going on in the coding if I print out the outputs of a few steps using the first verse, Basmala, of Quran as follows: x<- unQuran j<-1 # FIRST VERSE, BASMALA is input tmplett <- AbjadSeqofaWordSumValue(x$text[j])
cat("Abjad number for each words of Basmala in Arabic order: ", rev(tmplett))
## Abjad number for each words of Basmala in Arabic order:  289 329 66 102
tmp <- paste0(x$chapter[j],x$verse[j],tmplett)
cat("Chapter index and verse index is concatenated
to each word of the Basmala: ", rev(tmp))
## Chapter index and verse index is concatenated
##      to each word of the Basmala:  11289 11329 1166 11102

### 7.7.2 Evidences: Pairing verses with Abjad of both text types of Quran

In this evidence, Evidence 7.7.2, the coding patter is similar to Evidence 7.3.3 and Evidence 7.3.2, where we pair representation numbers of verses of both text types of Quran between 6348 and 6236 verses. Basically we first replace each word in a verse with its corresponding abjad number. We then concatenate them per verse that gives us representation numbers of each verse using abjad numbers. We do this for both text types of Quran (6348 and 6236 verses). We then pair the two vector that contains the representation numbers of each verse. As you will remember, the longer vector, wraps the shorter vector as if a circle from its beginning. The resulting big number is multiple of 19. Moreover, the digit sum of the same big number is also multiple of 19. Two tests results success on the same number, which suggest that it is under 19 based design. Here is the proof.

x<- unQuran
tv <-c()
for(j in 1:nrow(x)) {
tmplett <- AbjadSeqofaWordSumValue(x$text[j]) tmp <- paste0(rev(tmplett), collapse = "" ) tv <- c(tv,tmp)} tmp1 <- tv #only first round # x<- nQuran tv <-c() for(j in 1:nrow(x)) { tmplett <- AbjadSeqofaWordSumValue(x$text[j])
tmp <- paste0(rev(tmplett), collapse = "" )
tv <- c(tv,tmp)}
#
tmp <- paste0( paste0(tv,tmp1), collapse = "")
as.bigz(tmp) %% 19 # mod 19
## Big Integer ('bigz') :
## [1] 0
digitsum(tmp) %% 19 # mod 19
## [1] 0
cat("Number of digits of this big number is", nchar(tmp))
## Number of digits of this big number is 419869

As we witnessed, not only the big number is multiple of 19 but also its digit sum is. You can access this "419869" digits length big number from the following link:

https://github.com/quran2019/Quran19/blob/master/6.2.2_Evidence_bignumber.txt

One can just copy the big number and paste it into a web based big number calculator and test it herself.

It may be helpful to understand what is going on in the coding if I print out the outputs of a few steps using the first verse, Basmala, of Quran as follows:

x<- unQuran
j<-1 # First verse, BASMALA is input
tmplett <- AbjadSeqofaWordSumValue(x$text[j]) cat("Abjad number for each words of Basmala: ", rev(tmplett)) ## Abjad number for each words of Basmala: 289 329 66 102 tmplett <- paste0(rev(tmplett), collapse = "" ) cat("Basmala verse is represented as a single number from Abjad numbers as follows: ", tmplett) ## Basmala verse is represented as a single number ## from Abjad numbers as follows: 28932966102 #For 6236 verses we get the same number # as the first Basmala is numbered. tmp <- paste0( paste0(tmplett,tmplett), collapse = "") cat("Pairing of Basmala verse representation is:") ## Pairing of Basmala verse representation is: tmp ## [1] "2893296610228932966102" ### 7.7.3 Evidences: Pairing verses with Abjad of both text types of Quran with chapter and verse indices This evidence is similar to the previous evidence, Evidence 7.7.2, but this one includes chapter and verse indices information per verse as well. This, its the coding patter is also similar to Evidence 7.3.3 and Evidence 7.3.2, where we pair representation numbers of verses of both text types of Quran between 6348 and 6236 verses. Basically we first replace each word in a verse with its corresponding abjad number. We then concatenate each abjad representation number of verse with its chapter index and verse index. For example, for Chapter 1 and Verse 2, we concatenate them as "12a" where a is the abjad number of the verse. We then concatenate them per verse that gives us representation numbers of each verse using abjad numbers and its descriptive indices. We do this for both text types of Quran (6348 and 6236 verses). We then pair the two vector that contains the representation numbers of each verse. As you will remember, the longer vector, wraps the shorter vector as if a circle from its beginning. The resulting big number is multiple of 19. Here is the proof. x<- nQuran tv <-c() for(j in 1:nrow(x)) { #for all the numbered verses tmplett <- AbjadSeqofaWordSumValue(x$text[j])
tmplett <- paste0(rev(tmplett), collapse = "" )
tmp <- paste0(x$chapter[j],x$verse[j],tmplett)
tv <- c(tv,tmp)}
tmp1 <- tv
#now for unQuran
x<- unQuran
tv <-c()
for(j in 1:nrow(x)) {
if(x$verse[j] != 0){#for all the numbered verses tmplett <- AbjadSeqofaWordSumValue(x$text[j])
tmplett <- paste0(rev(tmplett), collapse = "" )
tmp <- paste0(x$chapter[j],x$verse[j],tmplett)
}else{#For unnumbered Basmala verses
tmplett <- AbjadSeqofaWordSumValue(x$text[j]) tmplett <- paste0(rev(tmplett), collapse = "" ) tmp <- paste0(x$chapter[j],tmplett)}
tv <- c(tv,tmp)}
tmp <- paste0(tv, collapse = "")
# PAIRING both
tmp <- paste0(tv,tmp1)
tmp <- paste0(tmp, collapse = "")
as.bigz(tmp) %% 19 #mod 19 of big number
## Big Integer ('bigz') :
## [1] 0
cat("Number of digits of this big number is", nchar(tmp))
## Number of digits of this big number is 467765

As we witnessed the big number is multiple of 19. You can access this "467765" digits length big number from the following link:

https://github.com/quran2019/Quran19/blob/master/6.2.3_Evidence_bignumber.txt

One can just copy the big number and paste it into a web based big number calculator and test it herself.

It may be helpful to understand what is going on in the coding if I print out the outputs of a few steps using the first verse, Basmala, of Quran as follows:

x<- unQuran
j<-1 # FIRST VERSE, BASMALA is input
tmplett <- AbjadSeqofaWordSumValue(x$text[j]) cat("Abjad number for each words of Basmala: ", rev(tmplett)) ## Abjad number for each words of Basmala: 289 329 66 102 tmplett <- paste0(rev(tmplett), collapse = "" ) cat("Basmala verse is represented as a single number from Abjad numbers as follows: ", tmplett) ## Basmala verse is represented as a single number ## from Abjad numbers as follows: 28932966102 tmp <- paste0(x$chapter[j],x$verse[j],tmplett) cat("Chapter index and verse index is concatenated to this verse: ", tmp) ## Chapter index and verse index is concatenated ## to this verse: 1128932966102 ### 7.7.4 Evidences: Pairing verses with Abjad of both text types of Quran with general indices This evidence is similar to the previous evidence, Evidence 7.7.2, but this one includes chapter and verse indices information per verse as well. This, its the coding patter is also similar to Evidence 7.3.3 and Evidence 7.3.2, where we pair representation numbers of words of both text types of Quran between 6348 and 6236 verses. Basically we first replace each word with its corresponding abjad sequence number. By, abjad sequence number, I mean that each letter in the word is replaced by its corresponding abjad number. We then concatenate each abjad representation number of verse with its chapter index and verse index.For example, for Chapter and verse 2 we concatenate this as 12a where a is abjad number of the verse. We then concatenate them per verse that gives us representation numbers of each verse using abjad numbers and its descriptive indices. We do this for both text types of Quran (6348 and 6236 verses). We then pair the two vector that contains the representation numbers of each verse. As you will remember, the longer vector, wraps the shorter vector as if a circle from its beginning. The resulting big number is multiple of 19. Here is the proof. x<- unQuran tv <-c() for(j in 1:nrow(x)) { if(x$verse[j] != 0){#for all the numbered verses
# two write in Arabic way from right to left
tmplett <- rev(AbjadSeqofwordsperVerse(x$text[j])) tmp <- paste0(x$VerseI[j],tmplett)
}else{#For unnumbered Basmala verses
tmplett <- rev(AbjadSeqofwordsperVerse(x$text[j]) ) tmp <- paste0(x$VerseI[j],tmplett)}
tv <- c(tv,tmp)}
tmp1 <- tv
#
tmp <- paste0(tv, collapse = "")
as.bigz(tmp) %% 19 #mod 19
## Big Integer ('bigz') :
## [1] 0
cat("Number of digits of this big number is", nchar(tmp))
## Number of digits of this big number is 872681

In the above code, we also observed an additional fact before pairing. Basically, when the letters of each of the 6348 verses are replaced by their corresponding abjad numbers and labelled by their corresponding general verse indices, the resulting big number is multiple of 19. However, the order is the normal order but not as in Arabic, which is why I did not consider this as evidence. However, if someone argues that the order should have been in the normal number order rather than as we observed in Arabic writing from right to left, then this fact is here for those.

Anyways, lets continue to the main evidence and get the second vector over the 6236 numbered verses in the same way as follows:

x<- nQuran
tv <-c()
for(j in 1:nrow(x)) {
#for all the numbered verses
tmplett <- rev(AbjadSeqofwordsperVerse(x$text[j])) # two write in Arabic way from right to left tmp <- paste0(x$VerseI[j],tmplett)
tv <- c(tv,tmp)}
#
tmp <- paste0(tmp1,tv)
tmp <- paste0(tmp, collapse = "")
as.bigz(tmp) %% 19 #mod 19
## Big Integer ('bigz') :
## [1] 0
digitsum(tmp) %% 19 #mod 19
## [1] 0
cat("Number of digits of this big number is", nchar(tmp))
## Number of digits of this big number is 1743997

As we witnessed, not only the big number is multiple of 19 but also its digit sum is. You can access this "1743997" digits length big number from the following link:

https://github.com/quran2019/Quran19/blob/master/6.2.4_Evidence_bignumber.txt

One can just copy the big number and paste it into a web based big number calculator and test it herself.

It may be helpful to understand what is going on in the coding if I print out the outputs of a few steps using the first verse, Basmala, of Quran as follows:

x<- unQuran
j<-1 # FIRST VERSE, BASMALA is input
tmplett <- rev(AbjadSeqofwordsperVerse(x$text[j])) cat("Abjad sequence for each letters of Basmala words: ", tmplett) ## Abjad sequence for each letters of Basmala words: 40108200301 50408200301 530301 40602 tmp <- paste0(x$VerseI[j],tmplett)
cat("The general verse index and
the Abjad sequence of the words: ", tmp)
## The general verse index and
##     the Abjad sequence of the words:  140108200301 150408200301 1530301 140602

### 7.7.5 Evidences: Harmony of all the numbers: Natural and Abjad

In the two evidences of this section, I will use all the natural numbers and abjad numbers together and show they all those numbers have harmony based on number 19. I had used two function to generate Abjad numbers, each of the evidences use one of those functions. This means both usage of Abjad numbers are in harmony with all the other natural numbers at verse level.

First evidence: I will concatenate all the natural numbers of a verse (chapter and verse index, number of words and letters) and the corresponding Abjad sequence number of that verse. By Abjad sequence number, I mean that I literally replaced each letter with its corresponding Abjad number in the verse. When we concatenate each of the 6236 numbered verses, we observe that the digit sum of this big number, namely digit sum of all the numbers used in this book is also multiple of 19! Here is the proof:

x<- nQuran # 6236 verses
tv <-c()
for(j in 1:nrow(x)) {
#for all the numbered verses
tmplett <- rev(AbjadSeqofwordsperVerse(x$text[j])) # rev is to write in Arabic way from right to left tmplett <- paste0(tmplett, collapse = "" ) tmp <- paste0(x$chapter[j],x$verse[j],x$vwords[j],x$vletters[j],tmplett) tv <- c(tv,tmp)} tmp <- paste0(tv, collapse = "") digitsum(tmp) %% 19 # mod 19 of the bif number ## [1] 0 cat("Number of digits of this big number is", nchar(tmp), " and it is also multiple of 19 as follows: ", nchar(tmp) %% 19) ## Number of digits of this big number is 623884 and it is also multiple of 19 as follows: 0 As we witnessed, not only the big number is multiple of 19 but also its length is multiple of 19. You can access this "623884" digits length big number from the following link: https://github.com/quran2019/Quran19/blob/master/6.2.5.1_Evidence_bignumber.txt One can just copy the big number and paste it into a web based big number calculator and test it herself. It may be helpful to understand what is going on in the coding if I print out the outputs of a few steps using the first verse, Basmala, of Quran as follows: x<- unQuran j<-1 # FIRST VERSE, BASMALA is input tmplett <- rev(AbjadSeqofwordsperVerse(x$text[j]))
cat("Abjad sequence for each letters of Basmala words: ", tmplett)
## Abjad sequence for each letters of Basmala words:  40108200301 50408200301 530301 40602
tmp <- paste0(x$chapter[j],x$verse[j],
x$vwords[j],x$vletters[j],tmplett)
cat("Concatenate all the natural numbers and
the Abjad sequence of the words  per verse: ", tmp)
## Concatenate all the natural numbers and
##     the Abjad sequence of the words  per verse:  1141940108200301 1141950408200301 11419530301 1141940602

Second evidence: Similar to the previous one but this time, we use the other Abjad representation function, where we represent each word by its corresponding Abjad number. Basically, this is the sum of abjad numbers of its letters for each word. We generate the big number to be tested in the exact same approach as above. The only difference is, this time we represent each word by its corresponding Abjad number. Since the final big number that we use is obtained with the same approach as the first evidence, I consider them to have a similar coding pattern and merged these evidences in the same section. In summary, this evidence also use all the natural numbers and abjad numbers together and show that all those numbers have harmony based on number 19. The way I concatenate the numbers as always is the natural order that yields a single big number and no combination.

x<- nQuran #6236 verses
tv <-c()
for(j in 1:nrow(x)) {
tmplett <- AbjadSeqofaWordSumValue(x$text[j]) tmplett <- paste0(rev(tmplett), collapse = "" ) tmp <- paste0(x$chapter[j],x$verse[j],x$vwords[j],x$vletters[j],tmplett) tv <- c(tv,tmp)} tmp <- paste0(tv, collapse = "") as.bigz(tmp) %% 19 #mod 19 ## Big Integer ('bigz') : ## [1] 0 cat("Number of digits of this big number is", nchar(tmp)) ## Number of digits of this big number is 253185 As we witnessed, the big number is multiple of 19. You can access this "253185" digits length big number from the following link: https://github.com/quran2019/Quran19/blob/master/6.2.5.2_Evidence_bignumber.txt One can just copy the big number and paste it into a web based big number calculator and test it herself. It may be helpful to understand what is going on in the coding if I print out the outputs of a few steps using the first verse, Basmala, of Quran as follows: x<- unQuran j<-1 # First verse, BASMALA is input tmplett <- AbjadSeqofaWordSumValue(x$text[j])
tmplett <- paste0(rev(tmplett), collapse = "" )
cat("Concatenating Abjad numbers of each Basmala words: ", tmplett)
## Concatenating Abjad numbers of each Basmala words:  28932966102
tmp <- paste0(x$chapter[j],x$verse[j],
x$vwords[j],x$vletters[j],tmplett)
cat("Concatenate all the natural numbers and
the Abjad number the words per verse: ", tmp)
## Concatenate all the natural numbers and
##     the Abjad number the words per verse:  1141928932966102

### References

Lucas, Antoine, Immanuel Scholz, Rainer Boehme, Sylvain Jasson, and Martin Maechler. 2019. Gmp: Multiple Precision Arithmetic. https://CRAN.R-project.org/package=gmp.