cpraa/.git/COMMIT_EDITMSG,sha256=ZB03StFInES4efBj5I8n2oHlvcIEhhIfy1njOsBM5ks,14
cpraa/.git/HEAD,sha256=9vK5RfbEEbAro9qces6I3PcbavZbouDYmqgpAAQrWhA,23
cpraa/.git/config,sha256=phSsmjPfVjDSxmnm0lrRkieSq9jTh8oS0fYeVlREWEg,346
cpraa/.git/description,sha256=hatsFj1DoX6pz3eIMIvKFGbxsKjRzJLibpv2PaQGKu4,73
cpraa/.git/hooks/applypatch-msg.sample,sha256=AiNJeguLAzqlijpSG4YphpOGz3qw4vEBlj0yiqYhk_c,478
cpraa/.git/hooks/commit-msg.sample,sha256=H3TV6SkpebVz69WXQdRsuT_zkazdCD00C5Q3B1PZJDc,896
cpraa/.git/hooks/post-update.sample,sha256=gXZa8trvMjBh3LxeYfwWSBy3SzusmtihdLGGUjWG9sU,189
cpraa/.git/hooks/pre-applypatch.sample,sha256=4VxbRp6j4KaVvqbyyCvPjmKCEHSTnd2Ft34AB_8WVHU,424
cpraa/.git/hooks/pre-commit.sample,sha256=EscjI1Ex8cVXbGUqwqCgB_JhqTwN3ERbHc7mzZjjB4g,1642
cpraa/.git/hooks/pre-push.sample,sha256=SxEZ4eE6ISVxl29K7neEfNvUCXhUbWJzpVfiOJgaQNE,1348
cpraa/.git/hooks/pre-rebase.sample,sha256=0kux7F1K1w_BtRv0x5JXlfyVJvUzh7oyzBHKL9l1Wlk,4951
cpraa/.git/hooks/prepare-commit-msg.sample,sha256=9-Vie1om0AJu9QNS9zkzUO5YzBAfXoM3-US1elA5low,1239
cpraa/.git/hooks/update.sample,sha256=dRwDcyACTsLuJ1fz_64LEK0slGNnaE5wWdTcl-rH5DE,3610
cpraa/.git/index,sha256=WRt0nm74--wA8rxtyhZDonvmKsqMDzkO5KBNPaNRl94,3144
cpraa/.git/info/exclude,sha256=ZnH-g7egfIky7okWTR8nk7IxgFjri5jcXAbuClo7DsE,240
cpraa/.git/logs/HEAD,sha256=ERByP7jI2WFsxLzthU9M-2ozoOUy2rgQ8wBPlb6y1UU,382
cpraa/.git/logs/refs/heads/master,sha256=ERByP7jI2WFsxLzthU9M-2ozoOUy2rgQ8wBPlb6y1UU,382
cpraa/.git/logs/refs/remotes/origin/HEAD,sha256=PQCWCWLldUVD9OKbgXC510vR0na61zBr4MtBjxCIXU0,215
cpraa/.git/logs/refs/remotes/origin/master,sha256=MhbZ4793L2NA8sXfjOooyJb4eflOuODaIH9QYWpIpYg,160
cpraa/.git/objects/03/d794af89c1553775e93d0a22851ac4aeaa96ca,sha256=gSkE-xt8ubrOqxiXw3naJUdmeVqn8x2e2h8HmBb-098,2411
cpraa/.git/objects/21/d3ca2a62284c7ee9ef8fe4dee91161c5a64151,sha256=soSQ1Ptjb1c63n126opSuqMmq7dAKWPEGgUAZCQqnsM,949
cpraa/.git/objects/2d/a7baea713fe3e70375fabbf2428518231bae51,sha256=jSrI5XELGdawIMzRFTK2M1dFdpEbnjnJBHbN6WF_u-E,1162
cpraa/.git/objects/39/e0f81ab691543d6d4ab6a29b673ab6ff86a878,sha256=vnIl3W4jTtVVlcQqiHjobkck0vGhOTdymucwYJEman4,2141
cpraa/.git/objects/4d/893ab23f87dbaaf1a5790b7173c724ee56d240,sha256=atARpU2wnFOISWd5RHmyz8uUjBgj7K8iCzsu4Udbc9g,1739
cpraa/.git/objects/50/867042e1be15f9ec951afee8e9af7fcd088f01,sha256=sioG-eSqO8T4Rrff2N9KREZcCAzQKEg5NA7TpQBUMGg,808
cpraa/.git/objects/67/1a11db2346741877e5de45395c14e7cb15cd15,sha256=ZCt1HIk9-CVN_ulBrMZSJhnchUIM_mlC2weQn3TeFBM,1218
cpraa/.git/objects/67/83593a665d5e75cc8785829863abae2f83ace7,sha256=E7qwqWC62K056ulYAHRbHadx9IcehRMvHpdfD9U9gHE,174
cpraa/.git/objects/7b/46aa296ba77362fbda542d06084d0ef7791174,sha256=H-tS_Gl3pGHxgwBqOnTCPf5tU7IedXDhv_EFFrJM8tk,2016
cpraa/.git/objects/7f/d229a32b5eefeffa54b9c187302d2c03a0a680,sha256=x30gDwGCDe4SVZTwDgv5LxkUI2BVHQFdajRhSnWBprQ,38
cpraa/.git/objects/9e/7ecd3d8f97530e290799e9a1aaf28190df42bf,sha256=DoZgtvvwVGGmu2Fjje5LGp3iJIpY_CKzpeAB4fu9SQI,2535
cpraa/.git/objects/af/519a5dc343da8d2359dcc260c1cd1fa60c53ac,sha256=H4c06GlCdvK33oobShOk2617M3b7T8tKiuFWGv5go44,4151
cpraa/.git/objects/b2/9094e54835b7c766c9cec1662d2021e71d0f19,sha256=XdQD9KSnRTHg5BwQTlPbPtGjrGVZcjRgRcHZAAmuR5c,374
cpraa/.git/objects/bd/bd0c892a9dd0312dbebc4a1c191fe63fe3b616,sha256=BnNn_ifUJ7Mv2eBhDJZDjsmj7jS4O51y2odXX84Yt3I,3965
cpraa/.git/objects/c9/382652585f5b51bcc43a9ad13d6b0a5acec2fb,sha256=LH5giphwtvu6smV65nSc_oSz4tK6Ua3fT3re7YAT5xM,8289
cpraa/.git/objects/cc/1e5acd7aaaeaaffedd7b9612a5dec922880c15,sha256=eIgjW2AeMpSDI6h0mUhdsRcgS0PCDjgSQfcs6j8r15E,73
cpraa/.git/objects/d5/802745068f1a98aad3cd67e65ec129284db25e,sha256=E6VCt5vgJej6ud8X1Yge5qzG6jVOQM8WcXtziqzQNUU,439
cpraa/.git/objects/d9/443da913e64f8a07e835e0ddff4d259fe8fa01,sha256=YrrlmOXy-Hu6XROhXYmkzyNAFethXMK9t3DIcN579k0,439
cpraa/.git/objects/f3/3d6d76ea6f38905790a9642b844cacffc3bf64,sha256=-rM0ym6sdGWQhwjx4q6MgA0qxZbncw7pdcajfuxqU8E,680
cpraa/.git/objects/pack/pack-0c4de3059d8e474faf0b30d088ea6e644bc831b5.idx,sha256=Fy4FnA-wNBuS8kH99zSAciHbo2fcEywszq7-pNy-f1A,1996
cpraa/.git/objects/pack/pack-0c4de3059d8e474faf0b30d088ea6e644bc831b5.pack,sha256=KNpFpvTez550MszBFJqelQ2z3-k_xZgGHvnoLcUBzBg,17774
cpraa/.git/packed-refs,sha256=2NfM-Fg_MtC3EOVn15Ur4m2tjvD5rPqqRKOCGlX4mhA,107
cpraa/.git/refs/heads/master,sha256=5Hkh7qajwugU23RtzK_8DiMIQAra5jdeH2O8IMM4y8U,41
cpraa/.git/refs/remotes/origin/HEAD,sha256=zcZeZ2kMTGR1F05exmK3BlUkai85JDVHeINas75wqnY,32
cpraa/.git/refs/remotes/origin/master,sha256=5Hkh7qajwugU23RtzK_8DiMIQAra5jdeH2O8IMM4y8U,41
cpraa/.gitignore,sha256=ZEzVQgM9oVtOoZrk5pcRUJqsBUN_K2wK9VMK1nXt1K8,3787
cpraa/.idea/.gitignore,sha256=4uN-1gxQ2OQcQqqfNQVkKl8WieZ_trx_6KBtqwmg-pY,50
cpraa/.idea/code.iml,sha256=5AVeJD4yS5a9-Yu1ullSYIBoY2GdiLaWdMb2hQOQdh0,361
cpraa/.idea/inspectionProfiles/profiles_settings.xml,sha256=AVZznobTk8uQX1ggX2YWCr1UJ0mRdBWsO1FVJhUorgs,179
cpraa/.idea/misc.xml,sha256=kPLUq0-py2JyMclNADVC1pJda96uSDsOPavokxPl4Gg,195
cpraa/.idea/modules.xml,sha256=iD4LALCehP38iB2iy29bkh9U630fiq36H_FQsfjxxgk,267
cpraa/.idea/vcs.xml,sha256=E2-LCiDj4W9bYOhQUhnDR0bh7GLGhDP0-OyX7v46oDg,185
cpraa/AFs/af01.tgf,sha256=YIpBK1uo4yIzuFl0mj02uS_DLDlwJ4PfHcupMRFJ5LI,37
cpraa/AFs/af01_init-probs.tgf,sha256=E1wJLHOr2yjRKCwQytrW5O4GFdm0TE13uyriAv3HfgI,63
cpraa/AFs/af01_probs.tgf,sha256=PTmDqR9UsGgyRKxWdPwAfPOjiS3AZmc3bT6Jlq85nkk,54
cpraa/AFs/af02.tgf,sha256=4gFvDiQcrtksNk2hFgT342rfViXt6KoKxniSdkP6_Vs,27
cpraa/AFs/af02_init-probs.tgf,sha256=mxxVKRvi4VsO6KODUdLK3RO90rV2lY_LKc4PSNp0qvQ,51
cpraa/AFs/af02_probs.tgf,sha256=s7PpOig4ssku2tE18RfPX_ZWl8YjnGHmUDnyWtdjE_c,33
cpraa/AFs/af03.tgf,sha256=iWTcSk1dW_0T-l2Fs8FtsYV25T8v0N799IGSL8vIiHM,31
cpraa/AFs/af_odd_cycle.tgf,sha256=UIEpo2I-5nJXEpFyCL9km4sFXDB6MBj5X7j5wpI22pY,57
cpraa/AFs/af_one_attack.tgf,sha256=c4XEZuBOlOmwFHzk1FR78fzdyTSH24xxa0nchMzXQa8,16
cpraa/AFs/af_references.tgf,sha256=2LJlHN-wPl8utvtmbpWo3oAoTjv6MbjYDi0Iy4HhOI4,36
cpraa/AFs/af_references_noisy.tgf,sha256=HLo1LYhoy7qyPGmbvXIEN8ex8lSUDmGHIS1HiXvAvoc,86
cpraa/AFs/af_references_noisy02.tgf,sha256=92mbaBAUtsnX1fjI6xSDql8qq3aACIWYHXfrkRvBkrU,152
cpraa/DPGM.py,sha256=NpHOP6LTAY1WviPi-_ipdWU_vE3nbrWzh74GBjinAaA,6877
cpraa/README.md,sha256=ICUi2yeNZYWLZU-g14GV8xaiQdbPiJQZ5tsKzLSqJLg,60
cpraa/__init__.py,sha256=FVHPBGkfhbQDi_z3v0PiKJrXXqXOx0vGW_1VaqNJi7U,22
cpraa/af_parser.py,sha256=TcoZE7_nMb84Gl3Un0uKMCkCmVm1xmBAbq4Q9GCZIDQ,3442
cpraa/assignments.py,sha256=Z562VWY6kbOwFJ4tndN1oM_oQkR-9hFEueJ034DG8zc,7229
cpraa/classical_semantics.py,sha256=zqiFRFkemjOHe_0GDB2UqTr8teftWobxEQy4P_dSOv0,4103
cpraa/convex.py,sha256=w-HETiqFYXnEZ1FpTeu7YghKaW_bvZEEFChV41RA_Fw,1738
cpraa/distribution.py,sha256=C04cMw8FMIppa1-uudny2ovGCPK2mXP22oSZ9vRwqsE,2611
cpraa/example_queries.txt,sha256=hh4eOikRWEe-oHsOufKj_EpfXFo0Z9ckZyebAhOYDF8,1158
cpraa/labeling.py,sha256=5CmqTcKGaTVapFVo-pPS_MLMjXVTSuYAFTNw1YbTGeQ,3003
cpraa/labeling_scheme.py,sha256=rFzDJtw8T965m-dFKfGRSJ_klFHSSEtzIbhgo3wyvik,9999
cpraa/linear_solver.py,sha256=sjvW8Q5w974fEeC9QOXKly-kAa3gf-eciFc4QZE7lMk,7662
cpraa/main.py,sha256=K_eQAyKmFAeE3ScdPYHzxRBpMfGOc28YHpj3EokFJQg,18530
cpraa/semantics.py,sha256=dM8W2ixJI__v-fLbliw2fqbP9sai0oFMWjYX9NEiAq4,52041
cpraa/tasks.py,sha256=g25U7UcKqSe6fMfPDeQMhddX0E-ftnqfPp4XtkhVEiM,9623
cpraa/timer.py,sha256=kDMDraQ3RBc_FYZEuJjSQDEevwADW3NlLe8GVXbdUlo,1263
cpraa/z3_instance.py,sha256=tiKCIHBoOx9nVbRli9Z8OvF2uHDv0-IcakxzcBzDFak,13482
cpraa-0.3.1.dist-info/WHEEL,sha256=SrtnPGVTMeYWttls9xnWA01eUhCZ3ufFdJUYb1J3r-U,83
cpraa-0.3.1.dist-info/METADATA,sha256=PSg3Sfyu8GoZZYtTspHqb697rGb_RB3KqTQUTznSqnY,773
cpraa-0.3.1.dist-info/RECORD,,
