Comment : Charset=windows-1252
Comment : Test cases for update dbms file page sizes

Request : assert attribute,attribute(tuple(attributename(scalar1)typename(long))tuple(attributename(scalar2)typename(long)))
Reply   : 

Request : cmd(assert relvar,relvar(tuple(relvarname(dbmfil1b)relvarpredicate(fullkey scalar1.))tuple(relvarname(dbmfil1a)relvarpredicate(singleton scalar1.))))cmd(assert relvarattribute,relvarattribute(tuple(relvarname(dbmfil1b)attributename(scalar1))tuple(relvarname(dbmfil1b)attributename(scalar2))tuple(relvarname(dbmfil1a)attributename(scalar1))tuple(relvarname(dbmfil1a)attributename(scalar2))))
Reply   : 

Request : cmd(assert dbmsfile,dbmsfile(tuple(filename(dbmfil1a.spdb)pagesize(8192))tuple(filename(dbmfil1b.spdb)pagesize(8192))))cmd(assert storagespace,storagespace(tuple(filename(dbmfil1a.spdb)extentscount(2)pagecount(8)storagespaceid(1))tuple(filename(dbmfil1a.spdb)extentscount(2)pagecount(8)storagespaceid(2))tuple(filename(dbmfil1a.spdb)extentscount(2)pagecount(18)storagespaceid(3))tuple(filename(dbmfil1a.spdb)extentscount(2)pagecount(8)storagespaceid(4))tuple(filename(dbmfil1b.spdb)extentscount(2)pagecount(8)storagespaceid(1))tuple(filename(dbmfil1b.spdb)extentscount(2)pagecount(8)storagespaceid(2))tuple(filename(dbmfil1b.spdb)extentscount(2)pagecount(18)storagespaceid(3))tuple(filename(dbmfil1b.spdb)extentscount(2)pagecount(8)storagespaceid(4))))cmd(assert dataspace,dataspace(tuple(filename(dbmfil1a.spdb)storagespaceid(1)gapcompressionthreshold(5)maximumgaps(9))tuple(filename(dbmfil1b.spdb)storagespaceid(1)gapcompressionthreshold(5)maximumgaps(9))))cmd(assert hashingindexspace,hashingindexspace(tuple(filename(dbmfil1a.spdb)storagespaceid(2))tuple(filename(dbmfil1b.spdb)storagespaceid(2))))cmd(assert multihashingindexspace,multihashingindexspace(tuple(filename(dbmfil1a.spdb)storagespaceid(3)gapcompressionthreshold(5)maximumgaps(9))tuple(filename(dbmfil1b.spdb)storagespaceid(3)gapcompressionthreshold(5)maximumgaps(9))))cmd(assert treeindexspace,treeindexspace(tuple(filename(dbmfil1a.spdb)storagespaceid(4))tuple(filename(dbmfil1b.spdb)storagespaceid(4))))
Reply   : 

Request : cmd(assert recordtype,recordtype(tuple(filename(dbmfil1a.spdb)storagespaceid(1)recordtypename(r_dbmfil1a_1)indexname(l_r_dbmfil1a_1)relvarname(dbmfil1a))tuple(filename(dbmfil1b.spdb)storagespaceid(1)recordtypename(r_dbmfil1b_1)indexname(l_r_dbmfil1b_1)relvarname(dbmfil1b))))cmd(assert index,index(tuple(filename(dbmfil1a.spdb)storagespaceid(2)recordtypename(r_dbmfil1a_1)relvarname(dbmfil1a)indexname(l_r_dbmfil1a_1))tuple(filename(dbmfil1b.spdb)storagespaceid(2)recordtypename(r_dbmfil1b_1)relvarname(dbmfil1b)indexname(l_r_dbmfil1b_1))tuple(filename(dbmfil1a.spdb)storagespaceid(3)recordtypename(r_dbmfil1a_1)relvarname(dbmfil1a)indexname(dbmfil1a_12))tuple(filename(dbmfil1b.spdb)storagespaceid(3)recordtypename(r_dbmfil1b_1)relvarname(dbmfil1b)indexname(dbmfil1b_12))tuple(filename(dbmfil1a.spdb)storagespaceid(3)recordtypename(r_dbmfil1a_1)relvarname(dbmfil1a)indexname(dbmfil1a_21))tuple(filename(dbmfil1b.spdb)storagespaceid(3)recordtypename(r_dbmfil1b_1)relvarname(dbmfil1b)indexname(dbmfil1b_21))tuple(filename(dbmfil1a.spdb)storagespaceid(4)recordtypename(r_dbmfil1a_1)relvarname(dbmfil1a)indexname(dbmfil1a_1))tuple(filename(dbmfil1b.spdb)storagespaceid(4)recordtypename(r_dbmfil1b_1)relvarname(dbmfil1b)indexname(dbmfil1b_1))))cmd(assert recordattribute,recordattribute(tuple(recordtypename(r_dbmfil1a_1)relvarname(dbmfil1a)attributename(scalar1)ordinal(20))tuple(recordtypename(r_dbmfil1a_1)relvarname(dbmfil1a)attributename(scalar2)ordinal(30))tuple(recordtypename(r_dbmfil1b_1)relvarname(dbmfil1b)attributename(scalar1)ordinal(10))tuple(recordtypename(r_dbmfil1b_1)relvarname(dbmfil1b)attributename(scalar2)ordinal(30))))cmd(assert indexcomponent,indexcomponent(tuple(relvarname(dbmfil1a)indexname(l_r_dbmfil1a_1)ordinal(10)sp_expression(scalar1))tuple(relvarname(dbmfil1b)indexname(l_r_dbmfil1b_1)ordinal(10)sp_expression(scalar2))tuple(relvarname(dbmfil1a)indexname(dbmfil1a_12)ordinal(10)sp_expression(scalar1))tuple(relvarname(dbmfil1a)indexname(dbmfil1a_12)ordinal(20)sp_expression(scalar2))tuple(relvarname(dbmfil1b)indexname(dbmfil1b_12)ordinal(10)sp_expression(scalar1))tuple(relvarname(dbmfil1b)indexname(dbmfil1b_12)ordinal(20)sp_expression(scalar2))tuple(relvarname(dbmfil1a)indexname(dbmfil1a_21)ordinal(20)sp_expression(scalar1))tuple(relvarname(dbmfil1a)indexname(dbmfil1a_21)ordinal(10)sp_expression(scalar2))tuple(relvarname(dbmfil1b)indexname(dbmfil1b_21)ordinal(20)sp_expression(scalar1))tuple(relvarname(dbmfil1b)indexname(dbmfil1b_21)ordinal(10)sp_expression(scalar2))tuple(relvarname(dbmfil1a)indexname(dbmfil1a_1)ordinal(10)sp_expression(scalar2))tuple(relvarname(dbmfil1b)indexname(dbmfil1b_1)ordinal(10)sp_expression(scalar1))))
Reply   : 

Request : unassert dbmfil1a,dbmfil1a
Reply   : 
Request : unassert dbmfil1b,dbmfil1b
Reply   : 
Request : commit
Reply   : 
Request : cmd(assert dbmfil1a,dbmfil1a(tuple(scalar1(4839990035526772736)scalar2(2857848697285884928))tuple(scalar1(6781340435375979520)scalar2(8817445042395908096))tuple(scalar1(8047371724147476480)scalar2(2628304788774295552))tuple(scalar1(7814059538188701696)scalar2(2397040157176012800))tuple(scalar1(5095932931968695296)scalar2(5943516670940244992))tuple(scalar1(7129894982926794752)scalar2(6974471735531920384))tuple(scalar1(4207496455360841728)scalar2(6321587532048024576))tuple(scalar1(4631229337015887872)scalar2(766893178396161024))tuple(scalar1(6754122242338692096)scalar2(6002373800475336704))tuple(scalar1(1714092248488558592)scalar2(8414713579622989824))tuple(scalar1(2330131955865935872)scalar2(256779723368284160))tuple(scalar1(1423838234363860992)scalar2(1083821034207097856))tuple(scalar1(7824802922297445376)scalar2(3645683046679178240))tuple(scalar1(7887513320117270528)scalar2(8764904447897390080))tuple(scalar1(6916753805048115200)scalar2(1159954328652565504))tuple(scalar1(8702146395054140416)scalar2(4635615849537565696))tuple(scalar1(8221229736912830464)scalar2(5932822188233768960))tuple(scalar1(3446735654491885568)scalar2(1327656796731310080))tuple(scalar1(9209919835758850048)scalar2(5593427707781060608))tuple(scalar1(4513218929514996736)scalar2(7469274729583222784))tuple(scalar1(6186209988157817856)scalar2(3182187707637922816))tuple(scalar1(7293345123518159872)scalar2(9103260131876784128))tuple(scalar1(9094707447212986368)scalar2(1007812351689274368))tuple(scalar1(2499893244296390656)scalar2(9156490120041585664))tuple(scalar1(4748726164121705472)scalar2(1951555958835014656))tuple(scalar1(8798080613380049920)scalar2(6248671776683143168))tuple(scalar1(66690626039587840)scalar2(8626076629321488384))tuple(scalar1(4996925329172363264)scalar2(9156791602412399616))tuple(scalar1(4035315751548890112)scalar2(1525854380311755776))tuple(scalar1(8192783386196215808)scalar2(8881423830708597760))tuple(scalar1(4924525172544347136)scalar2(533620216885357568))tuple(scalar1(3185808267193832448)scalar2(4361191961064961024))tuple(scalar1(3683586207265588224)scalar2(6470320073277734912))tuple(scalar1(8346551525742301184)scalar2(8699458131081999360))tuple(scalar1(3119998644692427776)scalar2(6046200013424801792))tuple(scalar1(4168171342355288064)scalar2(3705040961489769472))tuple(scalar1(5017603615206298624)scalar2(4092174804842100736))tuple(scalar1(3502527643078219776)scalar2(6266184181105555456))tuple(scalar1(8055993106306580480)scalar2(5310355894902550528))tuple(scalar1(2559896597207446528)scalar2(4257648506671973376))tuple(scalar1(4950731376645029888)scalar2(3980478880871304192))tuple(scalar1(3634218749760370688)scalar2(6510899782212562944))tuple(scalar1(1526329323384415232)scalar2(3606832805599800320))tuple(scalar1(981380207925520384)scalar2(4629299743913255936))tuple(scalar1(3557456222080436224)scalar2(8515373128340277248))tuple(scalar1(6258882146242178048)scalar2(7321252163086186496))tuple(scalar1(6646361722354116608)scalar2(8827172891989684224))tuple(scalar1(1657764502530031616)scalar2(4714908914113824768))tuple(scalar1(3444722929474183168)scalar2(6904688780687942656))tuple(scalar1(5095424016392134656)scalar2(5186890468048260096))tuple(scalar1(1856613951290133504)scalar2(5834379200540582912))tuple(scalar1(4329277644639549440)scalar2(7663017581955129344))tuple(scalar1(9029256226095273984)scalar2(4601398672056762368))tuple(scalar1(7356259035717541888)scalar2(7265814400908761088))tuple(scalar1(8076868017988779008)scalar2(5277652942597693440))tuple(scalar1(1860794542242445312)scalar2(5371185412072475648))tuple(scalar1(8463075696549080064)scalar2(804134471661708288))tuple(scalar1(6098314617667430400)scalar2(4657277754548235264))tuple(scalar1(864448925237070848)scalar2(6929371054721326080))tuple(scalar1(4139072115743441920)scalar2(4901652539590396928))tuple(scalar1(6265603093859452928)scalar2(4292908220054599680))tuple(scalar1(3938150671861796864)scalar2(2321532588874383360))tuple(scalar1(2712551099127099392)scalar2(5842852878806907904))tuple(scalar1(3248110240225940480)scalar2(7943033279125000192))tuple(scalar1(1782530983441627136)scalar2(4913945549702223872))tuple(scalar1(2274573277252478976)scalar2(478352692443181056))tuple(scalar1(2730659832262283264)scalar2(5914607180769461248))tuple(scalar1(7356496577490978816)scalar2(5323604108749762560))tuple(scalar1(4588283377202360320)scalar2(4800829312108020736))tuple(scalar1(1595168934226353152)scalar2(9089562729433518080))tuple(scalar1(8114370652505059328)scalar2(7740596381488902144))tuple(scalar1(5578641715782589440)scalar2(4770726502040592384))tuple(scalar1(5010669372606778368)scalar2(3587431520234101760))tuple(scalar1(5408801555030787072)scalar2(4092574641630726144))tuple(scalar1(8385549356984828928)scalar2(4525498189539677184))tuple(scalar1(5078819719811496960)scalar2(1736325569338493952))tuple(scalar1(4729613080391865344)scalar2(194654520474646528))tuple(scalar1(4205205350305815552)scalar2(3835557978049720320))tuple(scalar1(4624503679701148672)scalar2(3663049704967190528))tuple(scalar1(7291608245401206784)scalar2(8328375935086754816))tuple(scalar1(2570136604784654336)scalar2(2291870019239592960))tuple(scalar1(1159008177817555968)scalar2(3748867506805754880))tuple(scalar1(9190627088336557056)scalar2(1677675553646182400))tuple(scalar1(4575721714558018560)scalar2(8663137454646437888))tuple(scalar1(8159674001097934848)scalar2(9169667399048094720))tuple(scalar1(5250772514634493952)scalar2(7655271440871572480))tuple(scalar1(6744175927008656384)scalar2(8544146403956950016))tuple(scalar1(7137102743304045568)scalar2(6406639705818425344))tuple(scalar1(1628323822612727808)scalar2(629975145829295104))tuple(scalar1(2793840698152989696)scalar2(9045752924782570496))tuple(scalar1(8038256471748947968)scalar2(7570295740504424448))tuple(scalar1(1682508606541820928)scalar2(538358821860526080))tuple(scalar1(8867525599387621376)scalar2(3698946139512989696))tuple(scalar1(3671956271891789824)scalar2(8537793010518258688))tuple(scalar1(7437927091099854848)scalar2(6811459005135687680))tuple(scalar1(3825093173138991104)scalar2(4377034107126918144))tuple(scalar1(2999893114661602304)scalar2(6902566823332416512))tuple(scalar1(2644063544222680064)scalar2(8464938477609747456))tuple(scalar1(7917295925596062720)scalar2(8249747420484517888))tuple(scalar1(8857820961998926848)scalar2(3853489608928849920))tuple(scalar1(9101567316512181248)scalar2(1436250664923058176))tuple(scalar1(2749804841767357440)scalar2(1639272380571231232))tuple(scalar1(2890179049166573568)scalar2(9201641286491277312))tuple(scalar1(7527895991161937920)scalar2(2352210696771914752))tuple(scalar1(7537665703473103872)scalar2(6590411717869082624))tuple(scalar1(1124035049269420032)scalar2(1304373431862165504))tuple(scalar1(226539755578638336)scalar2(5149286515458604032))tuple(scalar1(5166936398938707968)scalar2(6601362877151111168))tuple(scalar1(8340505209504527360)scalar2(3663456583542519808))tuple(scalar1(5855211497759197184)scalar2(4804855139172660224))tuple(scalar1(868702307109987328)scalar2(2390199329152312320))tuple(scalar1(3284208260436160512)scalar2(4087601936922529792))tuple(scalar1(7283330766787479552)scalar2(47381296006519808))tuple(scalar1(7254406617214494720)scalar2(7165361975002775552))tuple(scalar1(3564503214324713472)scalar2(5089074459898866688))tuple(scalar1(6493170770346796032)scalar2(3224601180193059840))tuple(scalar1(7000094387373906944)scalar2(4755151386929081344))tuple(scalar1(4451607186658970624)scalar2(7833662929844932608))tuple(scalar1(8083292791926346752)scalar2(8184835650896994304))tuple(scalar1(43588915993777152)scalar2(6895891301309954048))tuple(scalar1(2883146515185592320)scalar2(3336151002850896896))tuple(scalar1(6074357799902622720)scalar2(2265191113367219200))tuple(scalar1(809913441700385792)scalar2(2241795008603814912))tuple(scalar1(2334641008141454336)scalar2(4435997882404886528))tuple(scalar1(1817232585599538176)scalar2(3985102272250365952))tuple(scalar1(9080007710877841408)scalar2(7672454707087022080))tuple(scalar1(1151347274458776576)scalar2(7863004077434644480))tuple(scalar1(3942379704231855104)scalar2(4856109497947064320))tuple(scalar1(5763460665969634304)scalar2(7594753923672136704))tuple(scalar1(8235515753790431232)scalar2(8547885592092649472))tuple(scalar1(465521394931107840)scalar2(2792395175278815232))tuple(scalar1(3605754308251572224)scalar2(7299134727956585472))tuple(scalar1(5193201029320435712)scalar2(5839538014587920384))tuple(scalar1(8034264257013900288)scalar2(5022445558416125952))tuple(scalar1(5685856827678173184)scalar2(3743154355685913600))tuple(scalar1(3433100627699860480)scalar2(705670995146034176))tuple(scalar1(2007618503158538240)scalar2(3002767833927958528))tuple(scalar1(1921808274420502528)scalar2(8163384796388957184))tuple(scalar1(5515991971165804544)scalar2(4669916845203678208))tuple(scalar1(3140919847916764160)scalar2(3967897355580588032))tuple(scalar1(874021877233328128)scalar2(4225557977448237056))tuple(scalar1(5912158146507713536)scalar2(3864458701810058240))tuple(scalar1(2192975388310596608)scalar2(1240420413159028736))tuple(scalar1(7772494267283361792)scalar2(3356920277660664832))tuple(scalar1(2449784113513993216)scalar2(7395217329411633152))tuple(scalar1(5397744871731633152)scalar2(1521475050216286208))tuple(scalar1(5092022851887950848)scalar2(1526708719922847744))tuple(scalar1(1086125560323586048)scalar2(6026462171478051840))tuple(scalar1(6600314859292545024)scalar2(1303215357535245312))tuple(scalar1(8303443556004819968)scalar2(67350747842360320))tuple(scalar1(4655610062221376512)scalar2(8252160643262066688))tuple(scalar1(5129323004280741888)scalar2(6426501333489726464))tuple(scalar1(8353287924895634432)scalar2(2678782931561381888))tuple(scalar1(3435886524811404288)scalar2(1394606826733777920))tuple(scalar1(2775749368541556736)scalar2(6353331957055510528))tuple(scalar1(7556343348714736640)scalar2(6031087937796162560))tuple(scalar1(8530664038111297536)scalar2(989356767825615872))tuple(scalar1(3343384616284868608)scalar2(584888034488902656))tuple(scalar1(2820073993370059776)scalar2(1144803395374679040))tuple(scalar1(1720932055074223104)scalar2(7729471428395885568))tuple(scalar1(7965655199518190592)scalar2(5022936125322560512))tuple(scalar1(2819488375828235264)scalar2(4574773304108753920))tuple(scalar1(3148773694581741568)scalar2(7107126873092161536))tuple(scalar1(8723704890847522816)scalar2(769238216348199936))tuple(scalar1(2634483351848076288)scalar2(191646533096894464))tuple(scalar1(83706434983519232)scalar2(4065778879112297472))tuple(scalar1(3381785643756532736)scalar2(304263210136171520))tuple(scalar1(8239680691624495104)scalar2(562864424963414016))tuple(scalar1(8561998820478380032)scalar2(5959891163168083968))tuple(scalar1(8617818975946937344)scalar2(1036363902037449728))tuple(scalar1(7311365047687498752)scalar2(6540076774660802560))tuple(scalar1(2405228313057387520)scalar2(7060741298789092352))tuple(scalar1(92114848365453312)scalar2(831207782910241792))tuple(scalar1(8388806764923833344)scalar2(2828783766751387648))tuple(scalar1(8661007618970957824)scalar2(1607200016258970624))tuple(scalar1(5851047144035032064)scalar2(5953997839615677440))tuple(scalar1(7131370328173795328)scalar2(1142623716909382656))tuple(scalar1(8856188303044360192)scalar2(6769939347900072960))tuple(scalar1(3537771953501304832)scalar2(3263706401462872064))tuple(scalar1(6304686117135935488)scalar2(925700301773137920))tuple(scalar1(1313842674151203840)scalar2(1148704320775397376))tuple(scalar1(1862406400913843200)scalar2(1591215875740464128))tuple(scalar1(1943909612041780224)scalar2(8232475111558312960))tuple(scalar1(7055555790444914688)scalar2(2911254936039596032))tuple(scalar1(5774849210991659008)scalar2(692171150239767552))tuple(scalar1(9085859610424805376)scalar2(4994775681561705472))tuple(scalar1(3796192429999442944)scalar2(1673043489843745792))tuple(scalar1(6626814911091339264)scalar2(6091766474610033664))tuple(scalar1(7753117423739576320)scalar2(7799039153331298304))tuple(scalar1(6766901234127046656)scalar2(2222286218993277952))tuple(scalar1(8664251308270234624)scalar2(1403798162322417664))tuple(scalar1(3888653949591842816)scalar2(1096701999899738112))tuple(scalar1(2640077906113904640)scalar2(7299161923005662208))tuple(scalar1(1561695951520588800)scalar2(3276047684454133760))tuple(scalar1(1617882275013161984)scalar2(1102958013120512))tuple(scalar1(8472877382591284224)scalar2(4411067930038330368))tuple(scalar1(2338696518772776960)scalar2(8782750684072051712))tuple(scalar1(7952454172539851776)scalar2(5249838847738871808))tuple(scalar1(7453068630122427392)scalar2(2249201836262116352))tuple(scalar1(1761043734212242432)scalar2(2277808200787751936))tuple(scalar1(9120790018809911296)scalar2(3584743963725154304))tuple(scalar1(2766432960034482176)scalar2(8244154108792012800))tuple(scalar1(3501035048482675712)scalar2(7232437510434859008))tuple(scalar1(8161819940994422784)scalar2(4839875685936271360))tuple(scalar1(4594482270347997184)scalar2(4059512340118118400))tuple(scalar1(8448908128051161088)scalar2(5062047056364438528))tuple(scalar1(39323601876486144)scalar2(8028100447038460928))tuple(scalar1(5200564466560112640)scalar2(2743908367497857024))tuple(scalar1(5699298028571792384)scalar2(8672833204847412224))tuple(scalar1(7095941820040885248)scalar2(5538217613934744576))tuple(scalar1(110545605961085952)scalar2(1253718043523184640))tuple(scalar1(2769178206641990656)scalar2(8114900875232447488))tuple(scalar1(2144556152212707328)scalar2(6221702037826587648))tuple(scalar1(7524528801160273920)scalar2(1862500062026862592))tuple(scalar1(4805535635871878144)scalar2(1028432021221288960))tuple(scalar1(6224181548192084992)scalar2(4405606341478235136))tuple(scalar1(7064321171040796672)scalar2(5671181632949404672))tuple(scalar1(8891120827991089152)scalar2(4925679779753872384))tuple(scalar1(1789173289996362752)scalar2(8097103450396224512))tuple(scalar1(4601928287137315840)scalar2(865119926153255936))tuple(scalar1(3022769429690888192)scalar2(6616355949849483264))tuple(scalar1(3280360566115883008)scalar2(7320250410493378560))tuple(scalar1(6280193139537228800)scalar2(7075454863772914688))tuple(scalar1(7621877796976983040)scalar2(2295315061479708672))tuple(scalar1(1308169098548654080)scalar2(2927369897095880704))tuple(scalar1(5194379203637447680)scalar2(7635722770331111424))tuple(scalar1(4641215536396853248)scalar2(2516804984774390784))tuple(scalar1(657363333314463744)scalar2(2217556361835086848))tuple(scalar1(1261021033094642688)scalar2(3760911517506246656))tuple(scalar1(5945133209365916672)scalar2(2409647323889583104))tuple(scalar1(3529212495481973760)scalar2(5349698386570230784))tuple(scalar1(2753785968856443904)scalar2(8420853749261508608))tuple(scalar1(7622637478426882048)scalar2(3087106617483078656))tuple(scalar1(2289144960000300032)scalar2(1975295865658492928))tuple(scalar1(2480838576493775872)scalar2(3445412745361523712))tuple(scalar1(28265588277300224)scalar2(1488011116963302400))tuple(scalar1(7941857779031706624)scalar2(6430706114264262656))tuple(scalar1(1918804923884452864)scalar2(8848967253788637184))tuple(scalar1(5260807249657076736)scalar2(7720403127857633280))tuple(scalar1(8705971806269244416)scalar2(5903322054537304064))tuple(scalar1(8074259095053142016)scalar2(4470360259160014848))tuple(scalar1(2963967496154960896)scalar2(1062806634609710080))tuple(scalar1(3139893474735922176)scalar2(6791779882637312))tuple(scalar1(7845360192173949952)scalar2(3705978396369713152))tuple(scalar1(4753132636102537216)scalar2(6806546785009047552))tuple(scalar1(2303632451637683200)scalar2(2048366483706333184))tuple(scalar1(3925567781150651392)scalar2(7834861170032221184))tuple(scalar1(619225500442213376)scalar2(4031636521034434560))tuple(scalar1(7101639613715105792)scalar2(2483518624337081344))tuple(scalar1(6783014636648802304)scalar2(7387325807461637120))tuple(scalar1(7630041755222079488)scalar2(7845134814670397440))tuple(scalar1(4155714361642299392)scalar2(3118000809416068096))tuple(scalar1(9123848271546232832)scalar2(2081009869676396544))tuple(scalar1(5290388922190987264)scalar2(2220234645164971008))tuple(scalar1(7210415209993085952)scalar2(7489524555178329088))tuple(scalar1(833594024163087360)scalar2(5154597464182681600))tuple(scalar1(1985636858191510528)scalar2(4902636148867896320))tuple(scalar1(304534918764688384)scalar2(1038710104637375488))tuple(scalar1(2887738675298341888)scalar2(2127444788182093824))tuple(scalar1(6135743913594750976)scalar2(9184979062157970432))tuple(scalar1(6521825046757858304)scalar2(4571555776383741952))tuple(scalar1(6138622066425491456)scalar2(6998870832918904832))tuple(scalar1(2410906152079004672)scalar2(4990733780287323136))tuple(scalar1(4642318719948147712)scalar2(7926015836078169088))tuple(scalar1(7254648455312519168)scalar2(1075848633044596736))tuple(scalar1(6422578633856977920)scalar2(2337192866504373248))tuple(scalar1(383873457713453056)scalar2(8532291082702348288))tuple(scalar1(6112956785146121216)scalar2(557916527248293888))tuple(scalar1(3555925505975648256)scalar2(8058655744276873216))tuple(scalar1(4022406946260225024)scalar2(765467403712657408))tuple(scalar1(5867527135468303360)scalar2(5456983306048667648))tuple(scalar1(5521283049391627264)scalar2(5397718833769778176))tuple(scalar1(8509485829996246016)scalar2(337108547450846208))tuple(scalar1(3752843376814248960)scalar2(1336568012862884864))tuple(scalar1(5305918838146052096)scalar2(6348389102969619456))tuple(scalar1(2145676484491376640)scalar2(5334598927066786816))tuple(scalar1(3580336909357803520)scalar2(7194334303007557632))tuple(scalar1(1129907937866740736)scalar2(8396602009639475200))tuple(scalar1(8386852541018632192)scalar2(2334178632425210880))tuple(scalar1(4541816126002021376)scalar2(1018870184160560128))tuple(scalar1(7076846776267985920)scalar2(5892343287101860864))tuple(scalar1(6598872679142466560)scalar2(7843701300568617984))tuple(scalar1(3934622972554120192)scalar2(8006200238038119424))tuple(scalar1(5868593156622649344)scalar2(7837613877846529024))tuple(scalar1(1646317304070823936)scalar2(805842993586771968))tuple(scalar1(7851806580549339136)scalar2(4357108018200989696))tuple(scalar1(5726691654641137664)scalar2(8522545948608247808))tuple(scalar1(8578542241840757760)scalar2(1036426198033746944))tuple(scalar1(3305745453537713152)scalar2(2576701916952469504))tuple(scalar1(5739007937953816576)scalar2(5205124020337495040))tuple(scalar1(1497045214863054848)scalar2(6059586016802642944))tuple(scalar1(4545715676441902080)scalar2(120050995125664768))tuple(scalar1(3413092045169965056)scalar2(2152888639522293760))tuple(scalar1(3330050119381785600)scalar2(4567033719788943360))tuple(scalar1(8076447300702729216)scalar2(3376302503017698304))tuple(scalar1(3477215102865672192)scalar2(6355161877228382208))tuple(scalar1(6128936013682087936)scalar2(9211432969342185472))tuple(scalar1(5230087796203019264)scalar2(6163208681024472064))tuple(scalar1(4427159334027280384)scalar2(4366762278211058688))tuple(scalar1(1846242937481678848)scalar2(7566494449872399360))tuple(scalar1(8065982183118389248)scalar2(5409874707183266816))tuple(scalar1(3552560243057530880)scalar2(4389608022452207616))tuple(scalar1(5474256445474280448)scalar2(3101954193252814848))tuple(scalar1(8251318289185645568)scalar2(8468949451259698176))tuple(scalar1(8937410588582778880)scalar2(6481270729742478336))tuple(scalar1(3042249425400199168)scalar2(3256056333180269568))tuple(scalar1(6985940417156608000)scalar2(8955027903687458816))tuple(scalar1(3604464543483592704)scalar2(967277542173059072))tuple(scalar1(5970309614976220160)scalar2(5218561798769514496))tuple(scalar1(1797911847341215744)scalar2(7159574015782291456))tuple(scalar1(4453060551249854464)scalar2(912495066203660288))tuple(scalar1(2781557056544835584)scalar2(3298349803848085504))tuple(scalar1(943263082763020288)scalar2(3198429831351955456))tuple(scalar1(3146872589270946816)scalar2(2840221256616807424))tuple(scalar1(5299365619563763712)scalar2(1627701708596257792))tuple(scalar1(8515604538185648128)scalar2(4048960534253384704))tuple(scalar1(4896139734601269248)scalar2(135852672147743744))tuple(scalar1(7402601331268445184)scalar2(289623489070969856))tuple(scalar1(2176715613508710400)scalar2(2910117377792979968))tuple(scalar1(1107721307896280064)scalar2(9099458390477104128))tuple(scalar1(195859410170188800)scalar2(5757220737706313728))tuple(scalar1(8329115544018422784)scalar2(8997379096062339072))tuple(scalar1(6532529037923050496)scalar2(2382041862127998976))tuple(scalar1(8379297696439101440)scalar2(4467721069858280448))tuple(scalar1(6415197962925758464)scalar2(3035138820358725632))tuple(scalar1(2995145103220732928)scalar2(3470451808903031808))tuple(scalar1(4134916250500858880)scalar2(7511798620766471168))tuple(scalar1(7446811943059858432)scalar2(821969578873257984))tuple(scalar1(2182535957432904704)scalar2(6071442140265402368))tuple(scalar1(7560103373090307072)scalar2(8053484441449165824))tuple(scalar1(918065485171983360)scalar2(3888909298846700544))tuple(scalar1(2502382402217417728)scalar2(4918736044152999936))tuple(scalar1(1645248166977146880)scalar2(7732655879743907840))tuple(scalar1(52766245359164416)scalar2(9108683728915731456))tuple(scalar1(6998273112538575872)scalar2(6816426115810117632))tuple(scalar1(7123073798773364736)scalar2(5335821069118671872))tuple(scalar1(5422838224221288448)scalar2(1829599324008078336))tuple(scalar1(8657314203237613568)scalar2(4438965361205220352))tuple(scalar1(2707663171533773824)scalar2(4006786107830552576))tuple(scalar1(3202581327050447872)scalar2(6835683201560112128))tuple(scalar1(176995352252249088)scalar2(8684258582993618944))tuple(scalar1(3701541824979629056)scalar2(4081792420481864704))tuple(scalar1(6585462194147256320)scalar2(5301771429580288000))tuple(scalar1(6244989179969719296)scalar2(2426592569306122240))tuple(scalar1(7987519911210403840)scalar2(7562783200000883712))tuple(scalar1(941012085266428928)scalar2(1821172410270492672))tuple(scalar1(7861027027154265088)scalar2(2591256082998652928))tuple(scalar1(131265649588334592)scalar2(5079028966685928448))tuple(scalar1(4561475460825732096)scalar2(4577322300646481920))tuple(scalar1(2052159732926357504)scalar2(3634723578209421312))tuple(scalar1(7884015338463415296)scalar2(5122771509321790464))tuple(scalar1(4837083926777313280)scalar2(5106227662463859712))tuple(scalar1(7224104241041205248)scalar2(5796658098522704896))tuple(scalar1(72366590695390208)scalar2(7907751229332084736))tuple(scalar1(2211186169955385344)scalar2(4105123455896125440))tuple(scalar1(7930829093405820928)scalar2(7448153073195586560))tuple(scalar1(8756594657178056704)scalar2(8876204355553393664))tuple(scalar1(3129717821260281856)scalar2(572817869685301248))tuple(scalar1(4842950973119204352)scalar2(8739660056715544576))tuple(scalar1(271952198060204032)scalar2(1032743799418874880))tuple(scalar1(7300695111254352896)scalar2(8919942722545670144))tuple(scalar1(4440875411713387520)scalar2(2969012455543065600))tuple(scalar1(6271087807020377088)scalar2(2970735939229476864))tuple(scalar1(8147540423319153664)scalar2(618655854988930048))tuple(scalar1(6697760390058095616)scalar2(7369341579350356992))tuple(scalar1(4105412061998996480)scalar2(383413792801126400))tuple(scalar1(8335904848258407424)scalar2(6594149279706898432))tuple(scalar1(7167440885423833088)scalar2(8681658751045360640))tuple(scalar1(2286235056851980288)scalar2(5796770251983503360))tuple(scalar1(6063357291600783360)scalar2(5818200832103392256))tuple(scalar1(4495840129638070272)scalar2(2393060414157234176))tuple(scalar1(2149120908435035136)scalar2(5467108380014868480))tuple(scalar1(6380919929939938304)scalar2(5680258035173170176))tuple(scalar1(8122266317916775424)scalar2(8547237711936993280))tuple(scalar1(7002612446302986240)scalar2(562205407517307904))tuple(scalar1(6126960338358063104)scalar2(3849779559768609792))tuple(scalar1(3942499542983979008)scalar2(648796984830743552))tuple(scalar1(5265967502364888064)scalar2(2053671697823270912))tuple(scalar1(3419960636037147648)scalar2(6701594190010915840))tuple(scalar1(4414662352131390464)scalar2(5034006615086118912))tuple(scalar1(7952828848973060096)scalar2(5333465320988265472))tuple(scalar1(1092869306564817920)scalar2(2321381209130027008))tuple(scalar1(3931010802950327296)scalar2(3231503371415599104))tuple(scalar1(1178674676076645376)scalar2(7027567035216352256))tuple(scalar1(8159050744476865536)scalar2(1244794249613894656))tuple(scalar1(6090808732390273024)scalar2(6652451661871750144))tuple(scalar1(1920389146026928128)scalar2(1046166799352058880))tuple(scalar1(8478688161559027712)scalar2(7991030404312710144))tuple(scalar1(5760470775358314496)scalar2(5220665757525006336))tuple(scalar1(3761266538136807424)scalar2(2286018341216225280))tuple(scalar1(4664432637656747008)scalar2(8391871540444979200))tuple(scalar1(6057819922322488320)scalar2(4210374326828525568))tuple(scalar1(6099927655487162368)scalar2(7126267936429886464))tuple(scalar1(6262191797253813248)scalar2(7272452793801606144))tuple(scalar1(7344160660414226432)scalar2(6068669083667347456))tuple(scalar1(3928019701210317824)scalar2(3193249452733774848))tuple(scalar1(524568648880710656)scalar2(5408827337880359936))tuple(scalar1(726512626690200576)scalar2(8458875107234571264))tuple(scalar1(7262444700025112576)scalar2(1914017681869808640))tuple(scalar1(837320349413986304)scalar2(908146854195497984))))cmd(assert dbmfil1b,dbmfil1b(tuple(scalar1(4839990035526772736)scalar2(2857848697285884928))tuple(scalar1(6781340435375979520)scalar2(8817445042395908096))tuple(scalar1(8047371724147476480)scalar2(2628304788774295552))tuple(scalar1(7814059538188701696)scalar2(2397040157176012800))tuple(scalar1(5095932931968695296)scalar2(5943516670940244992))tuple(scalar1(7129894982926794752)scalar2(6974471735531920384))tuple(scalar1(4207496455360841728)scalar2(6321587532048024576))tuple(scalar1(4631229337015887872)scalar2(766893178396161024))tuple(scalar1(6754122242338692096)scalar2(6002373800475336704))tuple(scalar1(1714092248488558592)scalar2(8414713579622989824))tuple(scalar1(2330131955865935872)scalar2(256779723368284160))tuple(scalar1(1423838234363860992)scalar2(1083821034207097856))tuple(scalar1(7824802922297445376)scalar2(3645683046679178240))tuple(scalar1(7887513320117270528)scalar2(8764904447897390080))tuple(scalar1(6916753805048115200)scalar2(1159954328652565504))tuple(scalar1(8702146395054140416)scalar2(4635615849537565696))tuple(scalar1(8221229736912830464)scalar2(5932822188233768960))tuple(scalar1(3446735654491885568)scalar2(1327656796731310080))tuple(scalar1(9209919835758850048)scalar2(5593427707781060608))tuple(scalar1(4513218929514996736)scalar2(7469274729583222784))tuple(scalar1(6186209988157817856)scalar2(3182187707637922816))tuple(scalar1(7293345123518159872)scalar2(9103260131876784128))tuple(scalar1(9094707447212986368)scalar2(1007812351689274368))tuple(scalar1(2499893244296390656)scalar2(9156490120041585664))tuple(scalar1(4748726164121705472)scalar2(1951555958835014656))tuple(scalar1(8798080613380049920)scalar2(6248671776683143168))tuple(scalar1(66690626039587840)scalar2(8626076629321488384))tuple(scalar1(4996925329172363264)scalar2(9156791602412399616))tuple(scalar1(4035315751548890112)scalar2(1525854380311755776))tuple(scalar1(8192783386196215808)scalar2(8881423830708597760))tuple(scalar1(4924525172544347136)scalar2(533620216885357568))tuple(scalar1(3185808267193832448)scalar2(4361191961064961024))tuple(scalar1(3683586207265588224)scalar2(6470320073277734912))tuple(scalar1(8346551525742301184)scalar2(8699458131081999360))tuple(scalar1(3119998644692427776)scalar2(6046200013424801792))tuple(scalar1(4168171342355288064)scalar2(3705040961489769472))tuple(scalar1(5017603615206298624)scalar2(4092174804842100736))tuple(scalar1(3502527643078219776)scalar2(6266184181105555456))tuple(scalar1(8055993106306580480)scalar2(5310355894902550528))tuple(scalar1(2559896597207446528)scalar2(4257648506671973376))tuple(scalar1(4950731376645029888)scalar2(3980478880871304192))tuple(scalar1(3634218749760370688)scalar2(6510899782212562944))tuple(scalar1(1526329323384415232)scalar2(3606832805599800320))tuple(scalar1(981380207925520384)scalar2(4629299743913255936))tuple(scalar1(3557456222080436224)scalar2(8515373128340277248))tuple(scalar1(6258882146242178048)scalar2(7321252163086186496))tuple(scalar1(6646361722354116608)scalar2(8827172891989684224))tuple(scalar1(1657764502530031616)scalar2(4714908914113824768))tuple(scalar1(3444722929474183168)scalar2(6904688780687942656))tuple(scalar1(5095424016392134656)scalar2(5186890468048260096))tuple(scalar1(1856613951290133504)scalar2(5834379200540582912))tuple(scalar1(4329277644639549440)scalar2(7663017581955129344))tuple(scalar1(9029256226095273984)scalar2(4601398672056762368))tuple(scalar1(7356259035717541888)scalar2(7265814400908761088))tuple(scalar1(8076868017988779008)scalar2(5277652942597693440))tuple(scalar1(1860794542242445312)scalar2(5371185412072475648))tuple(scalar1(8463075696549080064)scalar2(804134471661708288))tuple(scalar1(6098314617667430400)scalar2(4657277754548235264))tuple(scalar1(864448925237070848)scalar2(6929371054721326080))tuple(scalar1(4139072115743441920)scalar2(4901652539590396928))tuple(scalar1(6265603093859452928)scalar2(4292908220054599680))tuple(scalar1(3938150671861796864)scalar2(2321532588874383360))tuple(scalar1(2712551099127099392)scalar2(5842852878806907904))tuple(scalar1(3248110240225940480)scalar2(7943033279125000192))tuple(scalar1(1782530983441627136)scalar2(4913945549702223872))tuple(scalar1(2274573277252478976)scalar2(478352692443181056))tuple(scalar1(2730659832262283264)scalar2(5914607180769461248))tuple(scalar1(7356496577490978816)scalar2(5323604108749762560))tuple(scalar1(4588283377202360320)scalar2(4800829312108020736))tuple(scalar1(1595168934226353152)scalar2(9089562729433518080))tuple(scalar1(8114370652505059328)scalar2(7740596381488902144))tuple(scalar1(5578641715782589440)scalar2(4770726502040592384))tuple(scalar1(5010669372606778368)scalar2(3587431520234101760))tuple(scalar1(5408801555030787072)scalar2(4092574641630726144))tuple(scalar1(8385549356984828928)scalar2(4525498189539677184))tuple(scalar1(5078819719811496960)scalar2(1736325569338493952))tuple(scalar1(4729613080391865344)scalar2(194654520474646528))tuple(scalar1(4205205350305815552)scalar2(3835557978049720320))tuple(scalar1(4624503679701148672)scalar2(3663049704967190528))tuple(scalar1(7291608245401206784)scalar2(8328375935086754816))tuple(scalar1(2570136604784654336)scalar2(2291870019239592960))tuple(scalar1(1159008177817555968)scalar2(3748867506805754880))tuple(scalar1(9190627088336557056)scalar2(1677675553646182400))tuple(scalar1(4575721714558018560)scalar2(8663137454646437888))tuple(scalar1(8159674001097934848)scalar2(9169667399048094720))tuple(scalar1(5250772514634493952)scalar2(7655271440871572480))tuple(scalar1(6744175927008656384)scalar2(8544146403956950016))tuple(scalar1(7137102743304045568)scalar2(6406639705818425344))tuple(scalar1(1628323822612727808)scalar2(629975145829295104))tuple(scalar1(2793840698152989696)scalar2(9045752924782570496))tuple(scalar1(8038256471748947968)scalar2(7570295740504424448))tuple(scalar1(1682508606541820928)scalar2(538358821860526080))tuple(scalar1(8867525599387621376)scalar2(3698946139512989696))tuple(scalar1(3671956271891789824)scalar2(8537793010518258688))tuple(scalar1(7437927091099854848)scalar2(6811459005135687680))tuple(scalar1(3825093173138991104)scalar2(4377034107126918144))tuple(scalar1(2999893114661602304)scalar2(6902566823332416512))tuple(scalar1(2644063544222680064)scalar2(8464938477609747456))tuple(scalar1(7917295925596062720)scalar2(8249747420484517888))tuple(scalar1(8857820961998926848)scalar2(3853489608928849920))tuple(scalar1(9101567316512181248)scalar2(1436250664923058176))tuple(scalar1(2749804841767357440)scalar2(1639272380571231232))tuple(scalar1(2890179049166573568)scalar2(9201641286491277312))tuple(scalar1(7527895991161937920)scalar2(2352210696771914752))tuple(scalar1(7537665703473103872)scalar2(6590411717869082624))tuple(scalar1(1124035049269420032)scalar2(1304373431862165504))tuple(scalar1(226539755578638336)scalar2(5149286515458604032))tuple(scalar1(5166936398938707968)scalar2(6601362877151111168))tuple(scalar1(8340505209504527360)scalar2(3663456583542519808))tuple(scalar1(5855211497759197184)scalar2(4804855139172660224))tuple(scalar1(868702307109987328)scalar2(2390199329152312320))tuple(scalar1(3284208260436160512)scalar2(4087601936922529792))tuple(scalar1(7283330766787479552)scalar2(47381296006519808))tuple(scalar1(7254406617214494720)scalar2(7165361975002775552))tuple(scalar1(3564503214324713472)scalar2(5089074459898866688))tuple(scalar1(6493170770346796032)scalar2(3224601180193059840))tuple(scalar1(7000094387373906944)scalar2(4755151386929081344))tuple(scalar1(4451607186658970624)scalar2(7833662929844932608))tuple(scalar1(8083292791926346752)scalar2(8184835650896994304))tuple(scalar1(43588915993777152)scalar2(6895891301309954048))tuple(scalar1(2883146515185592320)scalar2(3336151002850896896))tuple(scalar1(6074357799902622720)scalar2(2265191113367219200))tuple(scalar1(809913441700385792)scalar2(2241795008603814912))tuple(scalar1(2334641008141454336)scalar2(4435997882404886528))tuple(scalar1(1817232585599538176)scalar2(3985102272250365952))tuple(scalar1(9080007710877841408)scalar2(7672454707087022080))tuple(scalar1(1151347274458776576)scalar2(7863004077434644480))tuple(scalar1(3942379704231855104)scalar2(4856109497947064320))tuple(scalar1(5763460665969634304)scalar2(7594753923672136704))tuple(scalar1(8235515753790431232)scalar2(8547885592092649472))tuple(scalar1(465521394931107840)scalar2(2792395175278815232))tuple(scalar1(3605754308251572224)scalar2(7299134727956585472))tuple(scalar1(5193201029320435712)scalar2(5839538014587920384))tuple(scalar1(8034264257013900288)scalar2(5022445558416125952))tuple(scalar1(5685856827678173184)scalar2(3743154355685913600))tuple(scalar1(3433100627699860480)scalar2(705670995146034176))tuple(scalar1(2007618503158538240)scalar2(3002767833927958528))tuple(scalar1(1921808274420502528)scalar2(8163384796388957184))tuple(scalar1(5515991971165804544)scalar2(4669916845203678208))tuple(scalar1(3140919847916764160)scalar2(3967897355580588032))tuple(scalar1(874021877233328128)scalar2(4225557977448237056))tuple(scalar1(5912158146507713536)scalar2(3864458701810058240))tuple(scalar1(2192975388310596608)scalar2(1240420413159028736))tuple(scalar1(7772494267283361792)scalar2(3356920277660664832))tuple(scalar1(2449784113513993216)scalar2(7395217329411633152))tuple(scalar1(5397744871731633152)scalar2(1521475050216286208))tuple(scalar1(5092022851887950848)scalar2(1526708719922847744))tuple(scalar1(1086125560323586048)scalar2(6026462171478051840))tuple(scalar1(6600314859292545024)scalar2(1303215357535245312))tuple(scalar1(8303443556004819968)scalar2(67350747842360320))tuple(scalar1(4655610062221376512)scalar2(8252160643262066688))tuple(scalar1(5129323004280741888)scalar2(6426501333489726464))tuple(scalar1(8353287924895634432)scalar2(2678782931561381888))tuple(scalar1(3435886524811404288)scalar2(1394606826733777920))tuple(scalar1(2775749368541556736)scalar2(6353331957055510528))tuple(scalar1(7556343348714736640)scalar2(6031087937796162560))tuple(scalar1(8530664038111297536)scalar2(989356767825615872))tuple(scalar1(3343384616284868608)scalar2(584888034488902656))tuple(scalar1(2820073993370059776)scalar2(1144803395374679040))tuple(scalar1(1720932055074223104)scalar2(7729471428395885568))tuple(scalar1(7965655199518190592)scalar2(5022936125322560512))tuple(scalar1(2819488375828235264)scalar2(4574773304108753920))tuple(scalar1(3148773694581741568)scalar2(7107126873092161536))tuple(scalar1(8723704890847522816)scalar2(769238216348199936))tuple(scalar1(2634483351848076288)scalar2(191646533096894464))tuple(scalar1(83706434983519232)scalar2(4065778879112297472))tuple(scalar1(3381785643756532736)scalar2(304263210136171520))tuple(scalar1(8239680691624495104)scalar2(562864424963414016))tuple(scalar1(8561998820478380032)scalar2(5959891163168083968))tuple(scalar1(8617818975946937344)scalar2(1036363902037449728))tuple(scalar1(7311365047687498752)scalar2(6540076774660802560))tuple(scalar1(2405228313057387520)scalar2(7060741298789092352))tuple(scalar1(92114848365453312)scalar2(831207782910241792))tuple(scalar1(8388806764923833344)scalar2(2828783766751387648))tuple(scalar1(8661007618970957824)scalar2(1607200016258970624))tuple(scalar1(5851047144035032064)scalar2(5953997839615677440))tuple(scalar1(7131370328173795328)scalar2(1142623716909382656))tuple(scalar1(8856188303044360192)scalar2(6769939347900072960))tuple(scalar1(3537771953501304832)scalar2(3263706401462872064))tuple(scalar1(6304686117135935488)scalar2(925700301773137920))tuple(scalar1(1313842674151203840)scalar2(1148704320775397376))tuple(scalar1(1862406400913843200)scalar2(1591215875740464128))tuple(scalar1(1943909612041780224)scalar2(8232475111558312960))tuple(scalar1(7055555790444914688)scalar2(2911254936039596032))tuple(scalar1(5774849210991659008)scalar2(692171150239767552))tuple(scalar1(9085859610424805376)scalar2(4994775681561705472))tuple(scalar1(3796192429999442944)scalar2(1673043489843745792))tuple(scalar1(6626814911091339264)scalar2(6091766474610033664))tuple(scalar1(7753117423739576320)scalar2(7799039153331298304))tuple(scalar1(6766901234127046656)scalar2(2222286218993277952))tuple(scalar1(8664251308270234624)scalar2(1403798162322417664))tuple(scalar1(3888653949591842816)scalar2(1096701999899738112))tuple(scalar1(2640077906113904640)scalar2(7299161923005662208))tuple(scalar1(1561695951520588800)scalar2(3276047684454133760))tuple(scalar1(1617882275013161984)scalar2(1102958013120512))tuple(scalar1(8472877382591284224)scalar2(4411067930038330368))tuple(scalar1(2338696518772776960)scalar2(8782750684072051712))tuple(scalar1(7952454172539851776)scalar2(5249838847738871808))tuple(scalar1(7453068630122427392)scalar2(2249201836262116352))tuple(scalar1(1761043734212242432)scalar2(2277808200787751936))tuple(scalar1(9120790018809911296)scalar2(3584743963725154304))tuple(scalar1(2766432960034482176)scalar2(8244154108792012800))tuple(scalar1(3501035048482675712)scalar2(7232437510434859008))tuple(scalar1(8161819940994422784)scalar2(4839875685936271360))tuple(scalar1(4594482270347997184)scalar2(4059512340118118400))tuple(scalar1(8448908128051161088)scalar2(5062047056364438528))tuple(scalar1(39323601876486144)scalar2(8028100447038460928))tuple(scalar1(5200564466560112640)scalar2(2743908367497857024))tuple(scalar1(5699298028571792384)scalar2(8672833204847412224))tuple(scalar1(7095941820040885248)scalar2(5538217613934744576))tuple(scalar1(110545605961085952)scalar2(1253718043523184640))tuple(scalar1(2769178206641990656)scalar2(8114900875232447488))tuple(scalar1(2144556152212707328)scalar2(6221702037826587648))tuple(scalar1(7524528801160273920)scalar2(1862500062026862592))tuple(scalar1(4805535635871878144)scalar2(1028432021221288960))tuple(scalar1(6224181548192084992)scalar2(4405606341478235136))tuple(scalar1(7064321171040796672)scalar2(5671181632949404672))tuple(scalar1(8891120827991089152)scalar2(4925679779753872384))tuple(scalar1(1789173289996362752)scalar2(8097103450396224512))tuple(scalar1(4601928287137315840)scalar2(865119926153255936))tuple(scalar1(3022769429690888192)scalar2(6616355949849483264))tuple(scalar1(3280360566115883008)scalar2(7320250410493378560))tuple(scalar1(6280193139537228800)scalar2(7075454863772914688))tuple(scalar1(7621877796976983040)scalar2(2295315061479708672))tuple(scalar1(1308169098548654080)scalar2(2927369897095880704))tuple(scalar1(5194379203637447680)scalar2(7635722770331111424))tuple(scalar1(4641215536396853248)scalar2(2516804984774390784))tuple(scalar1(657363333314463744)scalar2(2217556361835086848))tuple(scalar1(1261021033094642688)scalar2(3760911517506246656))tuple(scalar1(5945133209365916672)scalar2(2409647323889583104))tuple(scalar1(3529212495481973760)scalar2(5349698386570230784))tuple(scalar1(2753785968856443904)scalar2(8420853749261508608))tuple(scalar1(7622637478426882048)scalar2(3087106617483078656))tuple(scalar1(2289144960000300032)scalar2(1975295865658492928))tuple(scalar1(2480838576493775872)scalar2(3445412745361523712))tuple(scalar1(28265588277300224)scalar2(1488011116963302400))tuple(scalar1(7941857779031706624)scalar2(6430706114264262656))tuple(scalar1(1918804923884452864)scalar2(8848967253788637184))tuple(scalar1(5260807249657076736)scalar2(7720403127857633280))tuple(scalar1(8705971806269244416)scalar2(5903322054537304064))tuple(scalar1(8074259095053142016)scalar2(4470360259160014848))tuple(scalar1(2963967496154960896)scalar2(1062806634609710080))tuple(scalar1(3139893474735922176)scalar2(6791779882637312))tuple(scalar1(7845360192173949952)scalar2(3705978396369713152))tuple(scalar1(4753132636102537216)scalar2(6806546785009047552))tuple(scalar1(2303632451637683200)scalar2(2048366483706333184))tuple(scalar1(3925567781150651392)scalar2(7834861170032221184))tuple(scalar1(619225500442213376)scalar2(4031636521034434560))tuple(scalar1(7101639613715105792)scalar2(2483518624337081344))tuple(scalar1(6783014636648802304)scalar2(7387325807461637120))tuple(scalar1(7630041755222079488)scalar2(7845134814670397440))tuple(scalar1(4155714361642299392)scalar2(3118000809416068096))tuple(scalar1(9123848271546232832)scalar2(2081009869676396544))tuple(scalar1(5290388922190987264)scalar2(2220234645164971008))tuple(scalar1(7210415209993085952)scalar2(7489524555178329088))tuple(scalar1(833594024163087360)scalar2(5154597464182681600))tuple(scalar1(1985636858191510528)scalar2(4902636148867896320))tuple(scalar1(304534918764688384)scalar2(1038710104637375488))tuple(scalar1(2887738675298341888)scalar2(2127444788182093824))tuple(scalar1(6135743913594750976)scalar2(9184979062157970432))tuple(scalar1(6521825046757858304)scalar2(4571555776383741952))tuple(scalar1(6138622066425491456)scalar2(6998870832918904832))tuple(scalar1(2410906152079004672)scalar2(4990733780287323136))tuple(scalar1(4642318719948147712)scalar2(7926015836078169088))tuple(scalar1(7254648455312519168)scalar2(1075848633044596736))tuple(scalar1(6422578633856977920)scalar2(2337192866504373248))tuple(scalar1(383873457713453056)scalar2(8532291082702348288))tuple(scalar1(6112956785146121216)scalar2(557916527248293888))tuple(scalar1(3555925505975648256)scalar2(8058655744276873216))tuple(scalar1(4022406946260225024)scalar2(765467403712657408))tuple(scalar1(5867527135468303360)scalar2(5456983306048667648))tuple(scalar1(5521283049391627264)scalar2(5397718833769778176))tuple(scalar1(8509485829996246016)scalar2(337108547450846208))tuple(scalar1(3752843376814248960)scalar2(1336568012862884864))tuple(scalar1(5305918838146052096)scalar2(6348389102969619456))tuple(scalar1(2145676484491376640)scalar2(5334598927066786816))tuple(scalar1(3580336909357803520)scalar2(7194334303007557632))tuple(scalar1(1129907937866740736)scalar2(8396602009639475200))tuple(scalar1(8386852541018632192)scalar2(2334178632425210880))tuple(scalar1(4541816126002021376)scalar2(1018870184160560128))tuple(scalar1(7076846776267985920)scalar2(5892343287101860864))tuple(scalar1(6598872679142466560)scalar2(7843701300568617984))tuple(scalar1(3934622972554120192)scalar2(8006200238038119424))tuple(scalar1(5868593156622649344)scalar2(7837613877846529024))tuple(scalar1(1646317304070823936)scalar2(805842993586771968))tuple(scalar1(7851806580549339136)scalar2(4357108018200989696))tuple(scalar1(5726691654641137664)scalar2(8522545948608247808))tuple(scalar1(8578542241840757760)scalar2(1036426198033746944))tuple(scalar1(3305745453537713152)scalar2(2576701916952469504))tuple(scalar1(5739007937953816576)scalar2(5205124020337495040))tuple(scalar1(1497045214863054848)scalar2(6059586016802642944))tuple(scalar1(4545715676441902080)scalar2(120050995125664768))tuple(scalar1(3413092045169965056)scalar2(2152888639522293760))tuple(scalar1(3330050119381785600)scalar2(4567033719788943360))tuple(scalar1(8076447300702729216)scalar2(3376302503017698304))tuple(scalar1(3477215102865672192)scalar2(6355161877228382208))tuple(scalar1(6128936013682087936)scalar2(9211432969342185472))tuple(scalar1(5230087796203019264)scalar2(6163208681024472064))tuple(scalar1(4427159334027280384)scalar2(4366762278211058688))tuple(scalar1(1846242937481678848)scalar2(7566494449872399360))tuple(scalar1(8065982183118389248)scalar2(5409874707183266816))tuple(scalar1(3552560243057530880)scalar2(4389608022452207616))tuple(scalar1(5474256445474280448)scalar2(3101954193252814848))tuple(scalar1(8251318289185645568)scalar2(8468949451259698176))tuple(scalar1(8937410588582778880)scalar2(6481270729742478336))tuple(scalar1(3042249425400199168)scalar2(3256056333180269568))tuple(scalar1(6985940417156608000)scalar2(8955027903687458816))tuple(scalar1(3604464543483592704)scalar2(967277542173059072))tuple(scalar1(5970309614976220160)scalar2(5218561798769514496))tuple(scalar1(1797911847341215744)scalar2(7159574015782291456))tuple(scalar1(4453060551249854464)scalar2(912495066203660288))tuple(scalar1(2781557056544835584)scalar2(3298349803848085504))tuple(scalar1(943263082763020288)scalar2(3198429831351955456))tuple(scalar1(3146872589270946816)scalar2(2840221256616807424))tuple(scalar1(5299365619563763712)scalar2(1627701708596257792))tuple(scalar1(8515604538185648128)scalar2(4048960534253384704))tuple(scalar1(4896139734601269248)scalar2(135852672147743744))tuple(scalar1(7402601331268445184)scalar2(289623489070969856))tuple(scalar1(2176715613508710400)scalar2(2910117377792979968))tuple(scalar1(1107721307896280064)scalar2(9099458390477104128))tuple(scalar1(195859410170188800)scalar2(5757220737706313728))tuple(scalar1(8329115544018422784)scalar2(8997379096062339072))tuple(scalar1(6532529037923050496)scalar2(2382041862127998976))tuple(scalar1(8379297696439101440)scalar2(4467721069858280448))tuple(scalar1(6415197962925758464)scalar2(3035138820358725632))tuple(scalar1(2995145103220732928)scalar2(3470451808903031808))tuple(scalar1(4134916250500858880)scalar2(7511798620766471168))tuple(scalar1(7446811943059858432)scalar2(821969578873257984))tuple(scalar1(2182535957432904704)scalar2(6071442140265402368))tuple(scalar1(7560103373090307072)scalar2(8053484441449165824))tuple(scalar1(918065485171983360)scalar2(3888909298846700544))tuple(scalar1(2502382402217417728)scalar2(4918736044152999936))tuple(scalar1(1645248166977146880)scalar2(7732655879743907840))tuple(scalar1(52766245359164416)scalar2(9108683728915731456))tuple(scalar1(6998273112538575872)scalar2(6816426115810117632))tuple(scalar1(7123073798773364736)scalar2(5335821069118671872))tuple(scalar1(5422838224221288448)scalar2(1829599324008078336))tuple(scalar1(8657314203237613568)scalar2(4438965361205220352))tuple(scalar1(2707663171533773824)scalar2(4006786107830552576))tuple(scalar1(3202581327050447872)scalar2(6835683201560112128))tuple(scalar1(176995352252249088)scalar2(8684258582993618944))tuple(scalar1(3701541824979629056)scalar2(4081792420481864704))tuple(scalar1(6585462194147256320)scalar2(5301771429580288000))tuple(scalar1(6244989179969719296)scalar2(2426592569306122240))tuple(scalar1(7987519911210403840)scalar2(7562783200000883712))tuple(scalar1(941012085266428928)scalar2(1821172410270492672))tuple(scalar1(7861027027154265088)scalar2(2591256082998652928))tuple(scalar1(131265649588334592)scalar2(5079028966685928448))tuple(scalar1(4561475460825732096)scalar2(4577322300646481920))tuple(scalar1(2052159732926357504)scalar2(3634723578209421312))tuple(scalar1(7884015338463415296)scalar2(5122771509321790464))tuple(scalar1(4837083926777313280)scalar2(5106227662463859712))tuple(scalar1(7224104241041205248)scalar2(5796658098522704896))tuple(scalar1(72366590695390208)scalar2(7907751229332084736))tuple(scalar1(2211186169955385344)scalar2(4105123455896125440))tuple(scalar1(7930829093405820928)scalar2(7448153073195586560))tuple(scalar1(8756594657178056704)scalar2(8876204355553393664))tuple(scalar1(3129717821260281856)scalar2(572817869685301248))tuple(scalar1(4842950973119204352)scalar2(8739660056715544576))tuple(scalar1(271952198060204032)scalar2(1032743799418874880))tuple(scalar1(7300695111254352896)scalar2(8919942722545670144))tuple(scalar1(4440875411713387520)scalar2(2969012455543065600))tuple(scalar1(6271087807020377088)scalar2(2970735939229476864))tuple(scalar1(8147540423319153664)scalar2(618655854988930048))tuple(scalar1(6697760390058095616)scalar2(7369341579350356992))tuple(scalar1(4105412061998996480)scalar2(383413792801126400))tuple(scalar1(8335904848258407424)scalar2(6594149279706898432))tuple(scalar1(7167440885423833088)scalar2(8681658751045360640))tuple(scalar1(2286235056851980288)scalar2(5796770251983503360))tuple(scalar1(6063357291600783360)scalar2(5818200832103392256))tuple(scalar1(4495840129638070272)scalar2(2393060414157234176))tuple(scalar1(2149120908435035136)scalar2(5467108380014868480))tuple(scalar1(6380919929939938304)scalar2(5680258035173170176))tuple(scalar1(8122266317916775424)scalar2(8547237711936993280))tuple(scalar1(7002612446302986240)scalar2(562205407517307904))tuple(scalar1(6126960338358063104)scalar2(3849779559768609792))tuple(scalar1(3942499542983979008)scalar2(648796984830743552))tuple(scalar1(5265967502364888064)scalar2(2053671697823270912))tuple(scalar1(3419960636037147648)scalar2(6701594190010915840))tuple(scalar1(4414662352131390464)scalar2(5034006615086118912))tuple(scalar1(7952828848973060096)scalar2(5333465320988265472))tuple(scalar1(1092869306564817920)scalar2(2321381209130027008))tuple(scalar1(3931010802950327296)scalar2(3231503371415599104))tuple(scalar1(1178674676076645376)scalar2(7027567035216352256))tuple(scalar1(8159050744476865536)scalar2(1244794249613894656))tuple(scalar1(6090808732390273024)scalar2(6652451661871750144))tuple(scalar1(1920389146026928128)scalar2(1046166799352058880))tuple(scalar1(8478688161559027712)scalar2(7991030404312710144))tuple(scalar1(5760470775358314496)scalar2(5220665757525006336))tuple(scalar1(3761266538136807424)scalar2(2286018341216225280))tuple(scalar1(4664432637656747008)scalar2(8391871540444979200))tuple(scalar1(6057819922322488320)scalar2(4210374326828525568))tuple(scalar1(6099927655487162368)scalar2(7126267936429886464))tuple(scalar1(6262191797253813248)scalar2(7272452793801606144))tuple(scalar1(7344160660414226432)scalar2(6068669083667347456))tuple(scalar1(3928019701210317824)scalar2(3193249452733774848))tuple(scalar1(524568648880710656)scalar2(5408827337880359936))tuple(scalar1(726512626690200576)scalar2(8458875107234571264))tuple(scalar1(7262444700025112576)scalar2(1914017681869808640))tuple(scalar1(837320349413986304)scalar2(908146854195497984))))
Reply   : 
Request : commit
Reply   : 

Comment : change the page size of one of the upgsz files
Request : update dbmsfile,dbmsfile(tuple(filename(dbmfil1a.spdb)pagesize(8192))),(pagesize(int(16384)))
Reply   : 

Comment : relations should both be empty
Request : inquire minus(dbmfil1a,dbmfil1b)
Reply   : RELATION(HEADING(SCALAR2(LONG)SCALAR1(LONG))BODY())
Request : inquire minus(dbmfil1b,dbmfil1a)
Reply   : RELATION(HEADING(SCALAR2(LONG)SCALAR1(LONG))BODY())

Comment : should not fail
Request : delete dbmfil1a,dbmfil1a
Reply   : 
Request : delete dbmfil1b,dbmfil1b
Reply   : 

Request : commit
Reply   : 

Comment : relations should all be empty and no error should occur
Request : inquire dbmfil1a
Reply   : RELATION(HEADING(SCALAR2(LONG)SCALAR1(LONG))BODY())
Request : inquire dbmfil1b
Reply   : RELATION(HEADING(SCALAR2(LONG)SCALAR1(LONG))BODY())
Request : inquire minus(dbmfil1a,dbmfil1b)
Reply   : RELATION(HEADING(SCALAR2(LONG)SCALAR1(LONG))BODY())
Request : inquire minus(dbmfil1b,dbmfil1a)
Reply   : RELATION(HEADING(SCALAR2(LONG)SCALAR1(LONG))BODY())

Comment : remove the physical design so the test can be run again and again and again

Request : cmd(unassert recordtype,recordtype(tuple(filename(dbmfil1a.spdb)storagespaceid(1)recordtypename(r_dbmfil1a_1)indexname(l_r_dbmfil1a_1)relvarname(dbmfil1a))tuple(filename(dbmfil1b.spdb)storagespaceid(1)recordtypename(r_dbmfil1b_1)indexname(l_r_dbmfil1b_1)relvarname(dbmfil1b))))cmd(unassert index,index(tuple(filename(dbmfil1a.spdb)storagespaceid(2)recordtypename(r_dbmfil1a_1)relvarname(dbmfil1a)indexname(l_r_dbmfil1a_1))tuple(filename(dbmfil1b.spdb)storagespaceid(2)recordtypename(r_dbmfil1b_1)relvarname(dbmfil1b)indexname(l_r_dbmfil1b_1))tuple(filename(dbmfil1a.spdb)storagespaceid(3)recordtypename(r_dbmfil1a_1)relvarname(dbmfil1a)indexname(dbmfil1a_12))tuple(filename(dbmfil1b.spdb)storagespaceid(3)recordtypename(r_dbmfil1b_1)relvarname(dbmfil1b)indexname(dbmfil1b_12))tuple(filename(dbmfil1a.spdb)storagespaceid(3)recordtypename(r_dbmfil1a_1)relvarname(dbmfil1a)indexname(dbmfil1a_21))tuple(filename(dbmfil1b.spdb)storagespaceid(3)recordtypename(r_dbmfil1b_1)relvarname(dbmfil1b)indexname(dbmfil1b_21))tuple(filename(dbmfil1a.spdb)storagespaceid(4)recordtypename(r_dbmfil1a_1)relvarname(dbmfil1a)indexname(dbmfil1a_1))tuple(filename(dbmfil1b.spdb)storagespaceid(4)recordtypename(r_dbmfil1b_1)relvarname(dbmfil1b)indexname(dbmfil1b_1))))cmd(unassert recordattribute,recordattribute(tuple(recordtypename(r_dbmfil1a_1)relvarname(dbmfil1a)attributename(scalar1)ordinal(20))tuple(recordtypename(r_dbmfil1a_1)relvarname(dbmfil1a)attributename(scalar2)ordinal(30))tuple(recordtypename(r_dbmfil1b_1)relvarname(dbmfil1b)attributename(scalar1)ordinal(10))tuple(recordtypename(r_dbmfil1b_1)relvarname(dbmfil1b)attributename(scalar2)ordinal(30))))cmd(unassert indexcomponent,indexcomponent(tuple(relvarname(dbmfil1a)indexname(l_r_dbmfil1a_1)ordinal(10)sp_expression(scalar1))tuple(relvarname(dbmfil1b)indexname(l_r_dbmfil1b_1)ordinal(10)sp_expression(scalar2))tuple(relvarname(dbmfil1a)indexname(dbmfil1a_12)ordinal(10)sp_expression(scalar1))tuple(relvarname(dbmfil1a)indexname(dbmfil1a_12)ordinal(20)sp_expression(scalar2))tuple(relvarname(dbmfil1b)indexname(dbmfil1b_12)ordinal(10)sp_expression(scalar1))tuple(relvarname(dbmfil1b)indexname(dbmfil1b_12)ordinal(20)sp_expression(scalar2))tuple(relvarname(dbmfil1a)indexname(dbmfil1a_21)ordinal(20)sp_expression(scalar1))tuple(relvarname(dbmfil1a)indexname(dbmfil1a_21)ordinal(10)sp_expression(scalar2))tuple(relvarname(dbmfil1b)indexname(dbmfil1b_21)ordinal(20)sp_expression(scalar1))tuple(relvarname(dbmfil1b)indexname(dbmfil1b_21)ordinal(10)sp_expression(scalar2))tuple(relvarname(dbmfil1a)indexname(dbmfil1a_1)ordinal(10)sp_expression(scalar2))tuple(relvarname(dbmfil1b)indexname(dbmfil1b_1)ordinal(10)sp_expression(scalar1))))
Reply   : 

Request : cmd(unassert dbmsfile,dbmsfile(tuple(filename(dbmfil1a.spdb)pagesize(16384))))cmd(unassert storagespace,restrict(storagespace,eq(filename,filename(dbmfil1a.spdb))))cmd(unassert dataspace,restrict(dataspace,eq(filename,filename(dbmfil1a.spdb))))cmd(unassert hashingindexspace,restrict(hashingindexspace,eq(filename,filename(dbmfil1a.spdb))))cmd(unassert multihashingindexspace,restrict(multihashingindexspace,eq(filename,filename(dbmfil1a.spdb))))cmd(unassert treeindexspace,restrict(treeindexspace,eq(filename,filename(dbmfil1a.spdb))))cmd(unassert dbmsfile,dbmsfile(tuple(filename(dbmfil1b.spdb)pagesize(8192))))cmd(unassert storagespace,restrict(storagespace,eq(filename,filename(dbmfil1b.spdb))))cmd(unassert dataspace,restrict(dataspace,eq(filename,filename(dbmfil1b.spdb))))cmd(unassert hashingindexspace,restrict(hashingindexspace,eq(filename,filename(dbmfil1b.spdb))))cmd(unassert multihashingindexspace,restrict(multihashingindexspace,eq(filename,filename(dbmfil1b.spdb))))cmd(unassert treeindexspace,restrict(treeindexspace,eq(filename,filename(dbmfil1b.spdb))))
Reply   : 

Request : cmd(unassert relvar,relvar(tuple(relvarname(dbmfil1b)relvarpredicate(fullkey scalar1.))tuple(relvarname(dbmfil1a)relvarpredicate(singleton scalar1.))))cmd(unassert relvarattribute,relvarattribute(tuple(relvarname(dbmfil1b)attributename(scalar1))tuple(relvarname(dbmfil1b)attributename(scalar2))tuple(relvarname(dbmfil1a)attributename(scalar1))tuple(relvarname(dbmfil1a)attributename(scalar2))))
Reply   :

Request : unassert attribute,semiminus(attribute(tuple(attributename(scalar1)typename(long))tuple(attributename(scalar2)typename(long))),relvarattribute)
Reply   :

END
