#10000=@"/text-examples.html;sourcefile" files(#10000,"/text-examples.html") #10001=@"/;folder" folders(#10001,"/") containerparent(#10001,#10000) #10002=@"loc,{#10000},0,0,0,0" locations_default(#10002,#10000,0,0,0,0) hasLocation(#10000,#10002) #20000=@"global_scope" scopes(#20000,0) #20001=* xmlChars(#20001," ",#10000,1,0,#10000) #20002=@"loc,{#10000},25,8,25,8" locations_default(#20002,#10000,25,8,25,8) xmllocations(#20001,#20002) #20003=* xmlElements(#20003,"html",#10000,0,#10000) #20004=@"loc,{#10000},1,1,25,7" locations_default(#20004,#10000,1,1,25,7) xmllocations(#20003,#20004) #20005=* xmlChars(#20005," ",#20003,0,0,#10000) #20006=@"loc,{#10000},1,7,2,3" locations_default(#20006,#10000,1,7,2,3) xmllocations(#20005,#20006) #20007=* xmlChars(#20007," ",#20003,2,0,#10000) #20008=@"loc,{#10000},4,11,5,3" locations_default(#20008,#10000,4,11,5,3) xmllocations(#20007,#20008) #20009=* xmlChars(#20009," ",#20003,4,0,#10000) #20010=@"loc,{#10000},24,11,24,11" locations_default(#20010,#10000,24,11,24,11) xmllocations(#20009,#20010) #20011=* xmlElements(#20011,"body",#20003,3,#10000) #20012=@"loc,{#10000},5,4,24,10" locations_default(#20012,#10000,5,4,24,10) xmllocations(#20011,#20012) #20013=* xmlChars(#20013," text1 ",#20011,0,0,#10000) #20014=@"loc,{#10000},5,10,7,6" locations_default(#20014,#10000,5,10,7,6) xmllocations(#20013,#20014) #20015=* xmlChars(#20015," text2 ",#20011,2,0,#10000) #20016=@"loc,{#10000},7,13,9,6" locations_default(#20016,#10000,7,13,9,6) xmllocations(#20015,#20016) #20017=* xmlChars(#20017," text3 ",#20011,4,0,#10000) #20018=@"loc,{#10000},9,12,11,6" locations_default(#20018,#10000,9,12,11,6) xmllocations(#20017,#20018) #20019=* xmlChars(#20019," text5 ",#20011,6,0,#10000) #20020=@"loc,{#10000},11,23,13,6" locations_default(#20020,#10000,11,23,13,6) xmllocations(#20019,#20020) #20021=* xmlChars(#20021," text6 ",#20011,8,0,#10000) #20022=@"loc,{#10000},13,13,15,6" locations_default(#20022,#10000,13,13,15,6) xmllocations(#20021,#20022) #20023=* xmlChars(#20023," text8",#20011,10,0,#10000) #20024=@"loc,{#10000},15,24,16,11" locations_default(#20024,#10000,15,24,16,11) xmllocations(#20023,#20024) #20025=* xmlChars(#20025,"text10",#20011,12,0,#10000) #20026=@"loc,{#10000},16,29,16,34" locations_default(#20026,#10000,16,29,16,34) xmllocations(#20025,#20026) #20027=* xmlChars(#20027,"text13 ",#20011,15,0,#10000) #20028=@"loc,{#10000},16,71,17,6" locations_default(#20028,#10000,16,71,17,6) xmllocations(#20027,#20028) #20029=* xmlChars(#20029," ",#20011,17,0,#10000) #20030=@"loc,{#10000},17,13,18,6" locations_default(#20030,#10000,17,13,18,6) xmllocations(#20029,#20030) #20031=* xmlChars(#20031," ",#20011,19,0,#10000) #20032=@"loc,{#10000},18,13,19,6" locations_default(#20032,#10000,18,13,19,6) xmllocations(#20031,#20032) #20033=* xmlChars(#20033," ",#20011,20,0,#10000) #20034=@"loc,{#10000},19,33,20,6" locations_default(#20034,#10000,19,33,20,6) xmllocations(#20033,#20034) #20035=* xmlChars(#20035," text14 ",#20011,22,0,#10000) #20036=@"loc,{#10000},20,13,22,6" locations_default(#20036,#10000,20,13,22,6) xmllocations(#20035,#20036) #20037=* xmlChars(#20037," ",#20011,24,0,#10000) #20038=@"loc,{#10000},22,105,23,6" locations_default(#20038,#10000,22,105,23,6) xmllocations(#20037,#20038) #20039=* xmlChars(#20039," ",#20011,26,0,#10000) #20040=@"loc,{#10000},23,73,24,3" locations_default(#20040,#10000,23,73,24,3) xmllocations(#20039,#20040) #20041=* xmlChars(#20041,"non-entity1: & non-entity2: > non-entity3: <",#20011,25,1,#10000) #20042=@"loc,{#10000},23,16,23,69" locations_default(#20042,#10000,23,16,23,69) xmllocations(#20041,#20042) #20043=* xmlElements(#20043,"div",#20011,23,#10000) #20044=@"loc,{#10000},22,7,22,104" locations_default(#20044,#10000,22,7,22,104) xmllocations(#20043,#20044) #20045=* xmlChars(#20045,"entity1: & entity2: > entity3: < entity4: & entity5: > entity6: <",#20043,0,0,#10000) #20046=@"loc,{#10000},22,12,22,98" locations_default(#20046,#10000,22,12,22,98) xmllocations(#20045,#20046) #20047=* xmlElements(#20047,"div",#20011,21,#10000) #20048=@"loc,{#10000},20,7,20,12" locations_default(#20048,#10000,20,7,20,12) xmllocations(#20047,#20048) #20049=* xmlComments(#20049,"",#20011,#10000) #20050=@"loc,{#10000},19,7,19,32" locations_default(#20050,#10000,19,7,19,32) xmllocations(#20049,#20050) #20051=* xmlElements(#20051,"div",#20011,18,#10000) #20052=@"loc,{#10000},18,7,18,12" locations_default(#20052,#10000,18,7,18,12) xmllocations(#20051,#20052) #20053=* xmlElements(#20053,"div",#20011,16,#10000) #20054=@"loc,{#10000},17,7,17,12" locations_default(#20054,#10000,17,7,17,12) xmllocations(#20053,#20054) #20055=* xmlChars(#20055,"text12",#20011,14,1,#10000) #20056=@"loc,{#10000},16,62,16,67" locations_default(#20056,#10000,16,62,16,67) xmllocations(#20055,#20056) #20057=* xmlChars(#20057,"text11",#20011,13,1,#10000) #20058=@"loc,{#10000},16,44,16,49" locations_default(#20058,#10000,16,44,16,49) xmllocations(#20057,#20058) #20059=* xmlChars(#20059,"text9",#20011,11,1,#10000) #20060=@"loc,{#10000},16,21,16,25" locations_default(#20060,#10000,16,21,16,25) xmllocations(#20059,#20060) #20061=* xmlElements(#20061,"div",#20011,9,#10000) #20062=@"loc,{#10000},15,7,15,23" locations_default(#20062,#10000,15,7,15,23) xmllocations(#20061,#20062) #20063=* xmlChars(#20063,"text7",#20061,0,0,#10000) #20064=@"loc,{#10000},15,13,15,17" locations_default(#20064,#10000,15,13,15,17) xmllocations(#20063,#20064) #20065=* xmlElements(#20065,"div",#20011,7,#10000) #20066=@"loc,{#10000},13,7,13,12" locations_default(#20066,#10000,13,7,13,12) xmllocations(#20065,#20066) #20067=* xmlElements(#20067,"div",#20011,5,#10000) #20068=@"loc,{#10000},11,7,11,22" locations_default(#20068,#10000,11,7,11,22) xmllocations(#20067,#20068) #20069=* xmlChars(#20069,"text4",#20067,0,0,#10000) #20070=@"loc,{#10000},11,12,11,16" locations_default(#20070,#10000,11,12,11,16) xmllocations(#20069,#20070) #20071=* xmlElements(#20071,"div",#20011,3,#10000) #20072=@"loc,{#10000},9,7,9,11" locations_default(#20072,#10000,9,7,9,11) xmllocations(#20071,#20072) #20073=* xmlElements(#20073,"div",#20011,1,#10000) #20074=@"loc,{#10000},7,7,7,12" locations_default(#20074,#10000,7,7,7,12) xmllocations(#20073,#20074) #20075=* xmlElements(#20075,"head",#20003,1,#10000) #20076=@"loc,{#10000},2,4,4,10" locations_default(#20076,#10000,2,4,4,10) xmllocations(#20075,#20076) #20077=* xmlChars(#20077," ",#20075,0,0,#10000) #20078=@"loc,{#10000},2,10,3,6" locations_default(#20078,#10000,2,10,3,6) xmllocations(#20077,#20078) #20079=* xmlChars(#20079," ",#20075,2,0,#10000) #20080=@"loc,{#10000},3,22,4,3" locations_default(#20080,#10000,3,22,4,3) xmllocations(#20079,#20080) #20081=* xmlElements(#20081,"title",#20075,1,#10000) #20082=@"loc,{#10000},3,7,3,21" locations_default(#20082,#10000,3,7,3,21) xmllocations(#20081,#20082) numlines(#10000,25,0,0) filetype(#10000,"html")