div class=ts-pagebuttonPage 1button div class=ts-image amp-img class=ts-thumb alt=Page 1: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails1jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 2button div class=ts-image amp-img class=ts-thumb alt=Page 2: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails2jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 3button div class=ts-image amp-img class=ts-thumb alt=Page 3: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails3jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 4button div class=ts-image amp-img class=ts-thumb alt=Page 4: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails4jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 5button div class=ts-image amp-img class=ts-thumb alt=Page 5: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails5jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 6button div class=ts-image amp-img class=ts-thumb alt=Page 6: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails6jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 7button div class=ts-image amp-img class=ts-thumb alt=Page 7: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails7jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 8button div class=ts-image amp-img class=ts-thumb alt=Page 8: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails8jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 9button div class=ts-image amp-img class=ts-thumb alt=Page 9: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails9jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 10button div class=ts-image amp-img class=ts-thumb alt=Page 10: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails10jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 11button div class=ts-image amp-img class=ts-thumb alt=Page 11: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails11jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 12button div class=ts-image amp-img class=ts-thumb alt=Page 12: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails12jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 13button div class=ts-image amp-img class=ts-thumb alt=Page 13: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails13jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 14button div class=ts-image amp-img class=ts-thumb alt=Page 14: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails14jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 15button div class=ts-image amp-img class=ts-thumb alt=Page 15: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails15jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 16button div class=ts-image amp-img class=ts-thumb alt=Page 16: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails16jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 17button div class=ts-image amp-img class=ts-thumb alt=Page 17: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails17jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 18button div class=ts-image amp-img class=ts-thumb alt=Page 18: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails18jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 19button div class=ts-image amp-img class=ts-thumb alt=Page 19: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails19jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 20button div class=ts-image amp-img class=ts-thumb alt=Page 20: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails20jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 21button div class=ts-image amp-img class=ts-thumb alt=Page 21: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails21jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 22button div class=ts-image amp-img class=ts-thumb alt=Page 22: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails22jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 23button div class=ts-image amp-img class=ts-thumb alt=Page 23: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails23jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 24button div class=ts-image amp-img class=ts-thumb alt=Page 24: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails24jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 25button div class=ts-image amp-img class=ts-thumb alt=Page 25: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails25jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 26button div class=ts-image amp-img class=ts-thumb alt=Page 26: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails26jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 27button div class=ts-image amp-img class=ts-thumb alt=Page 27: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails27jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 28button div class=ts-image amp-img class=ts-thumb alt=Page 28: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails28jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 29button div class=ts-image amp-img class=ts-thumb alt=Page 29: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails29jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 30button div class=ts-image amp-img class=ts-thumb alt=Page 30: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails30jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 31button div class=ts-image amp-img class=ts-thumb alt=Page 31: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails31jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 32button div class=ts-image amp-img class=ts-thumb alt=Page 32: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails32jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 33button div class=ts-image amp-img class=ts-thumb alt=Page 33: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails33jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 34button div class=ts-image amp-img class=ts-thumb alt=Page 34: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails34jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 35button div class=ts-image amp-img class=ts-thumb alt=Page 35: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails35jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 36button div class=ts-image amp-img class=ts-thumb alt=Page 36: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails36jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 37button div class=ts-image amp-img class=ts-thumb alt=Page 37: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails37jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 38button div class=ts-image amp-img class=ts-thumb alt=Page 38: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails38jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 39button div class=ts-image amp-img class=ts-thumb alt=Page 39: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails39jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 40button div class=ts-image amp-img class=ts-thumb alt=Page 40: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails40jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 41button div class=ts-image amp-img class=ts-thumb alt=Page 41: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails41jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 42button div class=ts-image amp-img class=ts-thumb alt=Page 42: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails42jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 43button div class=ts-image amp-img class=ts-thumb alt=Page 43: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails43jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 44button div class=ts-image amp-img class=ts-thumb alt=Page 44: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails44jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 45button div class=ts-image amp-img class=ts-thumb alt=Page 45: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails45jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 46button div class=ts-image amp-img class=ts-thumb alt=Page 46: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails46jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 47button div class=ts-image amp-img class=ts-thumb alt=Page 47: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails47jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 48button div class=ts-image amp-img class=ts-thumb alt=Page 48: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails48jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 49button div class=ts-image amp-img class=ts-thumb alt=Page 49: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails49jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 50button div class=ts-image amp-img class=ts-thumb alt=Page 50: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails50jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 51button div class=ts-image amp-img class=ts-thumb alt=Page 51: mafaldafdiucmesmafaldafdiucmesconcur2015docsmousavipdf · Input-Output Labeled Transition Systems bt !cf Inputcutgut Model snd pos_resp snd core re pass Test Case -Based src=https:reader031vdocumentinreader031viewer20220202165c699fb109d3f2e4258d23bbhtml5thumbnails51jpg width=142 height=106 layout=responsive amp-img divdiv