From owner-sc35wg2+sc35wg2-domo2=www.open-std.org@open-std.org  Wed Apr  9 03:30:08 2014
Return-Path: <owner-sc35wg2+sc35wg2-domo2=www.open-std.org@open-std.org>
X-Original-To: sc35wg2-domo2
Delivered-To: sc35wg2-domo2@www.open-std.org
Received: by www.open-std.org (Postfix, from userid 521)
	id 230F5358553; Wed,  9 Apr 2014 03:30:08 +0200 (CEST)
Delivered-To: sc35wg2@open-std.org
X-Greylist: delayed 1025 seconds by postgrey-1.34 at www5.open-std.org; Wed, 09 Apr 2014 03:30:06 CEST
Received: from mailxx.hitachi.co.jp (mailxx.hitachi.co.jp [133.145.228.50])
	by www.open-std.org (Postfix) with ESMTP id EFD34356D97
	for <sc35wg2@open-std.org>; Wed,  9 Apr 2014 03:30:04 +0200 (CEST)
Received: from mail9.hitachi.co.jp by mailxx.hitachi.co.jp (8.9.3p3/3.7W-mailx) id KAA09779; Wed, 9 Apr 2014 10:13:02 +0900
From: shigetoyo.nomura.kp@hitachi.com
Received: from mlsv8.hitachi.co.jp (unknown [133.144.234.166])
	by mail9.hitachi.co.jp (Postfix) with ESMTP id A785837C8A;
	Wed,  9 Apr 2014 10:12:55 +0900 (JST)
Received: from mfilter06.hitachi.co.jp by mlsv8.hitachi.co.jp (8.13.1/8.13.1) id s391CtNW008356; Wed, 9 Apr 2014 10:12:55 +0900
Received: from vshuts01.hitachi.co.jp (vshuts01.hitachi.co.jp [10.201.6.83])
	by mfilter06.hitachi.co.jp (Switch-3.3.4/Switch-3.3.4) with ESMTP id s391CsdA004300;
	Wed, 9 Apr 2014 10:12:55 +0900
Received: from gxml03a.ad.clb.hitachi.co.jp (unknown [158.213.157.66])
	by vshuts01.hitachi.co.jp (Postfix) with ESMTP id 4F66A2F0038;
	Wed,  9 Apr 2014 10:12:54 +0900 (JST)
Received: from [127.0.0.1] by gxml03a.ad.clb.hitachi.co.jp (Switch-3.1.10/Switch-3.1.9) id 63911CGSC0000C274; Wed, 09 Apr 2014 10:12:53 +0900
Message-Type: Multiple Part
MIME-Version: 1.0
Message-ID: <XNM1$7$0$8$$2$3$9$A$4028242U53449e8a@hitachi.com>
Content-Type: multipart/mixed; boundary="GMAILSMTPBOUND01140409101249"
To: <philippe.magnabosco@afnor.org>
Cc: <carter@cs.usask.ca>, <sc35wg2@open-std.org>, <choukri@elda.org>
Date: Wed, 9 Apr 2014 10:12:42 +0900
References: <20140408110822.4A62235862C@www.open-std.org>
Importance: normal
Subject: Re:(SC35WG2.58) Proof for checking PRF TS 11581-41
X400-Content-Identifier: X53449E8A00000M
X400-MTS-Identifier: [/C=JP/ADMD=GMGROUP/PRMD=GMGROUP/;mta4140409101242CCA]
Content-Transfer-Encoding: 7bit
Sender: owner-sc35wg2@open-std.org
Precedence: bulk


--GMAILSMTPBOUND01140409101249
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: base64

RGVhciBQaGlsaXBwZSwNCg0KSSBkbyBub3Qga25vdyB3aGljaCBpcyBjb3JyZWN0IGluIHRo
ZSBmb2xsb3dpbmcgY2FzZS4NCg0KNC4yIGgpICwgNC4zLjEgZCkgJiA0LjMuMiBjKQ0KICJv
bmUgb3IgbW9yZSBleGFtcGxlKHMpIiBvciAgIm9uZSBvciBtb3JlIGV4YW1wbGVzIg0KDQpJ
ZiAib25lIG9yIG1vcmUgZXhhbXBsZShzKSIgaXMgY29ycmVjdCwNCmNoYW5nZSAicmVjb3Jk
cyIgdG8gInJlY29yZChzKSIgaW4gNC4yLCA0LjMuMSAmIDQuMy4yLg0KDQoNCiANCkJlc3Qg
UmVnYXJkcywNCg0KDQpTaGlnZXRveW8gTm9tdXJhDQoNCiANCj5EZWFyIGFsbA0KPg0KPlBs
ZWFzZSBmaW5kIHRoZSBwcm9vZiBmb3IgY2hlY2tpbmcgZG9jdW1lbnQgZm9yIFRTIDExNTgx
LTQxLCB3aGljaCBtZWFucyBpdCBzaG91bGQgYmUgZmluYWxseSBwdWJsaXNoZWQgdmVyeSBz
b29uLg0KPlNob3VsZCB5b3Ugc3BvdCBhbnkgaXNzdWUgcGxlYXNlIHNlbmQgbWUgYSBsaXN0
IG9mIGVkaXRzIGluIGEgc2VwYXJhdGUgZG9jdW1lbnQuDQo+DQo+QmVzdCByZWdhcmRzLA0K
Pg0KPlBoaWxpcHBlIE1BR05BQk9TQ08NCj5TZWNy6XRhaXJlL1NlY3JldGFyeQ0KPglDRU4v
V1MgSUNUIFNraWxscw0KPglJU08vSUVDIEpUQyAxL1NDIDM1DQo+CUlTTyBUQyA0Ni9XRyAy
DQo+QUZOT1IgTm9ybWFsaXNhdGlvbiAtIERURUMNCj4xMSBydWUgRnJhbmNpcyBkZSBQcmVz
c2Vuc+kNCj45MzU3MSBMYSBQbGFpbmUtU2FpbnQgRGVuaXMNCj4rMzMgKDApMSA0MSA2MiA4
NSAwMg0KPg0KPg0KPg0KPg0KPiJBVFRFTlRJT04uDQo+DQo+Q2UgbWVzc2FnZSBldCBsZXMg
cGnoY2VzIGpvaW50ZXMgc29udCBjb25maWRlbnRpZWxzIGV0IOl0YWJsaXMg4CBsJ2F0dGVu
dGlvbiBleGNsdXNpdmUgZGUgbGV1ciBkZXN0aW5hdGFpcmUgKGF1eCBhZHJlc3NlcyBzcOlj
aWZpcXVlcyBhdXhxdWVsbGVzIGlsIGEg6XTpIGFkcmVzc+kpLiBTaSB2b3VzIG4n6nRlcyBw
YXMgbGUgZGVzdGluYXRhaXJlIGRlIGNlIG1lc3NhZ2UsIHZvdXMgZGV2ZXogaW1t6WRpYXRl
bWVudCBlbiBhdmVydGlyIGwnZXhw6WRpdGV1ciBldCBzdXBwcmltZXIgY2UgbWVzc2FnZSBl
dCBsZXMgcGnoY2VzIGpvaW50ZXMgZGUgdm90cmUgc3lzdOhtZS4gDQo+DQo+VGhpcyBtZXNz
YWdlIGFuZCBhbnkgYXR0YWNobWVudHMgYXJlIGNvbmZpZGVudGlhbCBhbmQgaW50ZW5kZWQg
dG8gYmUgcmVjZWl2ZWQgb25seSBieSB0aGUgYWRkcmVzc2VlLiBJZiB5b3UgYXJlIG5vdCB0
aGUgaW50ZW5kZWQgcmVjaXBpZW50LCBwbGVhc2Ugbm90aWZ5IGltbWVkaWF0ZWx5IHRoZSBz
ZW5kZXIgYnkgcmVwbHkgYW5kIGRlbGV0ZSB0aGUgbWVzc2FnZSBhbmQgYW55IGF0dGFjaG1l
bnRzIGZyb20geW91ciBzeXN0ZW0uICINCj4NCg==

--GMAILSMTPBOUND01140409101249--