Sha256: 2304da942f4ba8eb3a2d14ae280337ebd52757f0e1af12df2d4d5eac0aabaa8d

Contents?: true

Size: 593 Bytes

Versions: 0

Compression:

Stored size: 593 Bytes

Contents

xTn0-hdM֎1
!4YynWGLAE!ib)
HOIԵb˜s|sQMH9BM9lTg"!$g7)J4O [&ARbh_*fXnwl}`D2e$qw5`oo3p7^%v\[,/O@28>sH\/<Z0%OיR3hS:	1
?+D=6H0.jW&V;٫! "WvIs툛ӆq.׫{K+psٍ26|5o#.Ias&"s7ж)zM
ϯW:ф$cy<ޞ?9-nFfBb<x1
Yg*d)d(@4l83z(Yȴ	l9j"5*34Qޝ"
RTJs\~n$RPRnq͉BVkL$'Ξ_ݻ/TuL[

Quick Spec version

pronto-infer-0.1.1