https://github.com/EasyCrypt/easycrypt
Revision 6df81b68bb7fb2010d10043e5c11e4401cf56d37 authored by Benjamin Gregoire on 01 April 2014, 07:58:40 UTC, committed by Benjamin Gregoire on 01 April 2014, 07:58:40 UTC
1 parent e43821c
Raw File
Tip revision: 6df81b68bb7fb2010d10043e5c11e4401cf56d37 authored by Benjamin Gregoire on 01 April 2014, 07:58:40 UTC
add product of two and 3 sets
Tip revision: 6df81b6
ecCoreFortune.ml
let value = [
  "Q2h1Y2sgTm9ycmlzIFdvbiBhY3RvciBvZiB0aGUgeWVhciwgZm9yIGEgbW92aWUgdGhhdCBoZSB3YXRjaGVk";
  "V2hlbiBBbGV4YW5kZXIgQmVsbCBpbnZlbnRlZCB0aGUgdGVsZXBob25lIGhlIGhhZCAzIG1pc3NlZCBjYWxscyBmcm9tIENodWNrIE5vcnJpcw==";
  "RmVhciBvZiBzcGlkZXJzIGlzIGFyYWNuYXBob2JpYSwgZmVhciBvZiB0aWdodCBzcGFjZXMgaXMgY2hsYXVzdHJhcGhvYmlhLCBmZWFyIG9mIENodWNrIE5vcnJpcyBpcyBjYWxsZWQgTG9naWM=";
  "Q2h1Y2sgTm9ycmlzIGRvZXNuJ3QgY2FsbCB0aGUgd3JvbmcgbnVtYmVyLiBZb3UgYW5zd2VyIHRoZSB3cm9uZyBwaG9uZS4=";
  "Q2h1Y2sgTm9ycmlzIGhhcyBhIGdyaXp6bHkgYmVhciBjYXJwZXQgaW4gaGlzIHJvb20uIFRoZSBiZWFyIGlzbid0IGRlYWQgaXQgaXMganVzdCBhZnJpYWQgdG8gbW92ZS4=";
  "VGhlcmUgdXNlZCB0byBiZSBhIHN0cmVldCBuYW1lZCBhZnRlciBDaHVjayBOb3JyaXMsIGJ1dCBpdCB3YXMgY2hhbmdlZCBiZWNhdXNlIG5vYm9keSBjcm9zc2VzIENodWNrIE5vcnJpcyBhbmQgbGl2ZXMu";
  "Q2h1Y2sgTm9ycmlzIGRpZWQgMjAgeWVhcnMgYWdvLCBEZWF0aCBqdXN0IGhhc24ndCBidWlsdCB1cCB0aGUgY291cmFnZSB0byB0ZWxsIGhpbSB5ZXQu";
  "Q2h1Y2sgTm9ycmlzIGhhcyBhbHJlYWR5IGJlZW4gdG8gTWFyczsgdGhhdCdzIHdoeSB0aGVyZSBhcmUgbm8gc2lnbnMgb2YgbGlmZS4=";
  "U29tZSBtYWdpY2FucyBjYW4gd2FsayBvbiB3YXRlciwgQ2h1Y2sgTm9ycmlzIGNhbiBzd2ltIHRocm91Z2ggbGFuZC4=";
  "Q2h1Y2sgTm9ycmlzIGNhbiBjdXQgdGhyb3VnaCBhIGhvdCBrbmlmZSB3aXRoIGJ1dHRlcg==";
  "Q2h1Y2sgTm9ycmlzIGNvdW50ZWQgdG8gaW5maW5pdHkgLSB0d2ljZS4=";
  "Q2h1Y2sgTm9ycmlzIGlzIHRoZSByZWFzb24gd2h5IFdhbGRvIGlzIGhpZGluZy4=";
  "RGVhdGggb25jZSBoYWQgYSBuZWFyLUNodWNrIE5vcnJpcyBleHBlcmllbmNl";
  "Q2h1Y2sgTm9ycmlzIGNhbiBzbGFtIGEgcmV2b2x2aW5nIGRvb3Iu";
  "Q2h1Y2sgTm9ycmlzIHdpbGwgbmV2ZXIgaGF2ZSBhIGhlYXJ0IGF0dGFjay4gSGlzIGhlYXJ0IGlzbid0IG5lYXJseSBmb29saXNoIGVub3VnaCB0byBhdHRhY2sgaGltLg==";
  "Q2h1Y2sgTm9ycmlzIGNhbiB3aW4gYSBnYW1lIG9mIENvbm5lY3QgRm91ciBpbiBvbmx5IHRocmVlIG1vdmVzLg==";
  "Q2h1Y2sgTm9ycmlzIG9uY2Uga2lja2VkIGEgaG9yc2UgaW4gdGhlIGNoaW4uIEl0cyBkZWNlbmRhbnRzIGFyZSBrbm93biB0b2RheSBhcyBHaXJhZmZlcy4=";
  "VGhlcmUgaXMgbm8gdGhlb3J5IG9mIGV2b2x1dGlvbi4gSnVzdCBhIGxpc3Qgb2YgYW5pbWFscyBDaHVjayBOb3JyaXMgYWxsb3dzIHRvIGxpdmUu";
  "Q2h1Y2sgTm9ycmlzIGNhbiBsaWdodCBhIGZpcmUgYnkgcnViYmluZyB0d28gaWNlLWN1YmVzIHRvZ2V0aGVyLg==";
  "Q2h1Y2sgTm9ycmlzIGRvZXNuJ3QgcmVhZCBib29rcy4gSGUgc3RhcmVzIHRoZW0gZG93biB1bnRpbCBoZSBnZXRzIHRoZSBpbmZvcm1hdGlvbiBoZSB3YW50cy4=";
  "Q2h1Y2sgTm9ycmlzIGRvZXMgbm90IHNsZWVwLiBIZSB3YWl0cy4=";
  "Q2h1Y2sgTm9ycmlzJyBoYW5kIGlzIHRoZSBvbmx5IGhhbmQgdGhhdCBjYW4gYmVhdCBhIFJveWFsIEZsdXNoLg==";
  "VGhlcmUgaXMgbm8gdGhlb3J5IG9mIGV2b2x1dGlvbi4gSnVzdCBhIGxpc3Qgb2YgY3JlYXR1cmVzIENodWNrIE5vcnJpcyBoYXMgYWxsb3dlZCB0byBsaXZlLg==";
  "Q2h1Y2sgTm9ycmlzIGNhbiBwYXNzIGFuIGV5ZSBleGFtLi4uLi5ibGluZGZvbGRlZCE=";
  "T3V0ZXIgc3BhY2UgZXhpc3RzIGJlY2F1c2UgaXQncyBhZnJhaWQgdG8gYmUgb24gdGhlIHNhbWUgcGxhbmV0IHdpdGggQ2h1Y2sgTm9ycmlzLg==";
  "U29tZSBwZW9wbGUgd2VhciBTdXBlcm1hbiBwYWphbWFzLiBTdXBlcm1hbiB3ZWFycyBDaHVjayBOb3JyaXMgcGFqYW1hcy4=";
  "SWYgeW91IHNwZWxsIENodWNrIE5vcnJpcyBpbiBTY3JhYmJsZSwgeW91IHdpbi4gRm9yZXZlci4=";
  "Q2h1Y2sgTm9ycmlzIG9uY2UgcmFuIGEgbWFyYXRob24gYmFja3dhcmRzLi4uanVzdCB0byBzZWUgd2hhdCBzZWNvbmQgcGxhY2UgbG9va3MgbGlrZS4=";
  "Q2h1Y2sgTm9ycmlzIGRlc3Ryb3llZCB0aGUgcGVyaW9kaWMgdGFibGUsIGJlY2F1c2UgQ2h1Y2sgTm9ycmlzIG9ubHkgcmVjb2duaXplcyB0aGUgZWxlbWVudCBvZiBzdXJwcmlzZS4=";
  "Q2h1Y2sgTm9ycmlzIHdvbiBhIHN0YXJpbmcgY29udGVzdCBhZ2FpbnN0IHRoZSBNb25hIExpc2Eu";
  "U2hhcmtzIGhhdmUgYSBDaHVjayBOb3JyaXMgd2Vlay4=";
  "Q2h1Y2sgTm9ycmlzIGNhbiBzdHJhbmdsZSB5b3Ugd2l0aCBhIGNvcmRsZXNzIHBob25lLg==";
  "Q2h1Y2sgTm9ycmlzIGlzIHRoZSBvbmx5IG1hbiB0byBwdW5jaCBhIGN5Y2xvcHMgYmV0d2VlbiB0aGUgZXllcw==";
  "Q2h1Y2sgTm9ycmlzIGlzIHRoZSBvbmx5IG1hbiB0byBldmVyIGRlZmVhdCBhIGJyaWNrIHdhbGwgaW4gYSBnYW1lIG9mIHRlbm5pcy4=";
  "Q2h1Y2sgTm9ycmlzIGhhcyB0aGUgZ3JlYXRlc3QgUG9rZXItRmFjZSBvZiBhbGwgdGltZS4=";
  "Q2h1Y2sgTm9ycmlzIG9uY2UgYXRlIGFuIGVudGlyZSBib3R0bGUgb2Ygc2xlZXBpbmcgcGlsbHMuIFRoZXkgbWFkZSBoaW0gYmxpbmsu";
  "Q2h1Y2sgTm9ycmlzIGRvZXNuJ3QgaGF2ZSB0byBob2xkIGhpcyBicmVhdGggdW5kZXIgd2F0ZXIuIFdhdGVyIGtub3dzIGJldHRlciB0aGFuIHRvIHRyeSBhbmQgZHJvd24gQ2h1Y2sgTm9ycmlzLg==";
  "V2hlbiB0aGUgcHJlc2lkZW50IHB1c2hlcyB0aGUgYmlnIHJlZCBidXR0b24gQ2h1Y2sgTm9ycmlzJ3MgY2VsbCBwaG9uZSByaW5ncw==";
]
back to top