cpraa/.git/COMMIT_EDITMSG,sha256=LvFrtYIGujPDZd0WWaMbVmeXMRS4UKytF65-k37pXvg,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=83PweVuJuS2CjEJgdn9iSqP6pujwk5fgkQVF_TRxO8A,3072
cpraa/.git/info/exclude,sha256=ZnH-g7egfIky7okWTR8nk7IxgFjri5jcXAbuClo7DsE,240
cpraa/.git/logs/HEAD,sha256=YBic_ptocawVh9tGcCJtyr7jgvVhMl0h1OcFW6oHmW4,716
cpraa/.git/logs/refs/heads/master,sha256=YBic_ptocawVh9tGcCJtyr7jgvVhMl0h1OcFW6oHmW4,716
cpraa/.git/logs/refs/remotes/origin/HEAD,sha256=PQCWCWLldUVD9OKbgXC510vR0na61zBr4MtBjxCIXU0,215
cpraa/.git/logs/refs/remotes/origin/master,sha256=lqcEQXINcmRHMpYTlqCXwDvV8hu4CP1PBKGQe9Ef8kk,480
cpraa/.git/objects/03/d794af89c1553775e93d0a22851ac4aeaa96ca,sha256=gSkE-xt8ubrOqxiXw3naJUdmeVqn8x2e2h8HmBb-098,2411
cpraa/.git/objects/0d/bf5302494bbc5f06ed712fdd3e515b4e5f42ed,sha256=ywrdCoY1FuGO6qSpBMC-9KKkcm20WluNjaFJpx_jJWc,679
cpraa/.git/objects/12/9e14681acd0d23548913c9089e202c8a2bb911,sha256=021-ikbqTLnTpPC8f03ykJjmi4Ha4Kbwd0Hf58ow9jc,3091
cpraa/.git/objects/17/01fe9a1d3f7dccef51c183adf81a35cdcf7720,sha256=V_sBd8UhTTifJPywZauTTsV4b5nVTFi0o8sneqMXu9A,4771
cpraa/.git/objects/1b/a340088c03e05f6cf5de90e98ef65e30aea06c,sha256=opuPVsTJL0U6nyLVISIauu4dRhbnApJnhsGc1dcv56A,2902
cpraa/.git/objects/21/7f355ca7bf0521b80d19f67c43dda7be25da7a,sha256=h0dQ72urYWEq9ClwEz5Bq_AxT4Tk5X8y4DWutiI4L4o,648
cpraa/.git/objects/21/d3ca2a62284c7ee9ef8fe4dee91161c5a64151,sha256=soSQ1Ptjb1c63n126opSuqMmq7dAKWPEGgUAZCQqnsM,949
cpraa/.git/objects/2d/a7baea713fe3e70375fabbf2428518231bae51,sha256=jSrI5XELGdawIMzRFTK2M1dFdpEbnjnJBHbN6WF_u-E,1162
cpraa/.git/objects/35/c180e8eba6389c93aacb1d6cbbefc8123a643f,sha256=zCDiEWoEoPjEpcyMAvHCdeWJ8LiYYtuiUHonEJTGBls,1785
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/52/9e1968af6e69f08904b77b4b1503b9c09493fb,sha256=_mwEdmYDkWGbUUpULVRdRfMss1QYyQfzXBh-LslOmK0,3723
cpraa/.git/objects/67/1a11db2346741877e5de45395c14e7cb15cd15,sha256=ZCt1HIk9-CVN_ulBrMZSJhnchUIM_mlC2weQn3TeFBM,1218
cpraa/.git/objects/67/83593a665d5e75cc8785829863abae2f83ace7,sha256=E7qwqWC62K056ulYAHRbHadx9IcehRMvHpdfD9U9gHE,174
cpraa/.git/objects/76/696ac38318678aca096b2caa4f31d1bc8dd891,sha256=Er5Z3YAf0lo_dDp5PrB_2cWIJVRA0IFctlhKJWT1sTc,176
cpraa/.git/objects/7b/46aa296ba77362fbda542d06084d0ef7791174,sha256=H-tS_Gl3pGHxgwBqOnTCPf5tU7IedXDhv_EFFrJM8tk,2016
cpraa/.git/objects/7f/d229a32b5eefeffa54b9c187302d2c03a0a680,sha256=x30gDwGCDe4SVZTwDgv5LxkUI2BVHQFdajRhSnWBprQ,38
cpraa/.git/objects/83/e50dd715b01e5ed05abd81d810fc7b6b69e931,sha256=q1WvP6b18znYxFKYz6ZnSLzPDGUWQ18nJrIeAUY_ZmU,174
cpraa/.git/objects/8d/012e19b906ea8a5c3d0d97d8b2afbd4e99ee7c,sha256=xvmfBhpP-CrBOrjvEtJGp-1kIHSLoKtkqrBGQ0SkgJU,1704
cpraa/.git/objects/9e/7ecd3d8f97530e290799e9a1aaf28190df42bf,sha256=DoZgtvvwVGGmu2Fjje5LGp3iJIpY_CKzpeAB4fu9SQI,2535
cpraa/.git/objects/a8/049c5bd62f08704f8a106938b3215c4b791180,sha256=kWIuFe4wpMRBTuugLV6Wjpga-ARvVKttbdq9_xMZIG4,8550
cpraa/.git/objects/a9/01103482e98b223ebeab5666f39171cc61cb3e,sha256=UfC6UdTwTU_OISqjXjGJIyVWdWJYqTsbZWxEDzClZ5Q,2258
cpraa/.git/objects/af/519a5dc343da8d2359dcc260c1cd1fa60c53ac,sha256=H4c06GlCdvK33oobShOk2617M3b7T8tKiuFWGv5go44,4151
cpraa/.git/objects/b0/bf9b6b275d221c57f7307a2e87fc3bd15b4c27,sha256=O6AWK4khgtfTW5k_8GkkTisbx3JCPhleCmBsDK8cHKg,965
cpraa/.git/objects/b2/9094e54835b7c766c9cec1662d2021e71d0f19,sha256=XdQD9KSnRTHg5BwQTlPbPtGjrGVZcjRgRcHZAAmuR5c,374
cpraa/.git/objects/b8/4d53f29210344388a4641c50422e8d39cf3b25,sha256=Pjx7vuWcjwwIjz1wGpe3j4a-kL2gIUEdWTyRplalDFQ,2435
cpraa/.git/objects/bd/bd0c892a9dd0312dbebc4a1c191fe63fe3b616,sha256=BnNn_ifUJ7Mv2eBhDJZDjsmj7jS4O51y2odXX84Yt3I,3965
cpraa/.git/objects/c9/382652585f5b51bcc43a9ad13d6b0a5acec2fb,sha256=LH5giphwtvu6smV65nSc_oSz4tK6Ua3fT3re7YAT5xM,8289
cpraa/.git/objects/c9/75fdf13a65ec40701a8f88e7b428907f37065d,sha256=hgZtg9DP_-K69I93CorGHl_mL-Bd-LEpf_RWQp9CnhY,803
cpraa/.git/objects/cc/1e5acd7aaaeaaffedd7b9612a5dec922880c15,sha256=eIgjW2AeMpSDI6h0mUhdsRcgS0PCDjgSQfcs6j8r15E,73
cpraa/.git/objects/d1/3089f65787157b114098a7f12a5622495c9841,sha256=37Gow_rxMQ5AV_35PXKLavbMnHCGMLIbVn35o-E2jOY,8602
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/f3/cfed78e56fa8c61ab06f80059f6ee478df249a,sha256=9a3wl-LgT6e9cf1I9pNlvqEv_mMG033exSa4ZTe270Q,403
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=J75zD-g6Gwbl7Ks6fFr0lCgbL9ID9cUcg-exNoSSU2E,41
cpraa/.git/refs/remotes/origin/HEAD,sha256=zcZeZ2kMTGR1F05exmK3BlUkai85JDVHeINas75wqnY,32
cpraa/.git/refs/remotes/origin/master,sha256=J75zD-g6Gwbl7Ks6fFr0lCgbL9ID9cUcg-exNoSSU2E,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=8GTpza2qsCZHFKN4d443JhGWHoXVCKc7ykrE2mKYACk,5988
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=2wa9ddYClvXuxqaCJUsvldLP_Am1aFnXelUjptfbHHI,6756
cpraa/classical_semantics.py,sha256=zqiFRFkemjOHe_0GDB2UqTr8teftWobxEQy4P_dSOv0,4103
cpraa/distribution.py,sha256=JrDArSqwNlkxwsNQyb9fwyKRZl9iz8AAfttPt_N3RI0,3840
cpraa/example_queries.txt,sha256=X0ZRaqeA60-aAJ-QY-DzlPoKPYMsQ1N52NwgMY49NOw,1244
cpraa/labeling.py,sha256=5CmqTcKGaTVapFVo-pPS_MLMjXVTSuYAFTNw1YbTGeQ,3003
cpraa/labeling_scheme.py,sha256=rFzDJtw8T965m-dFKfGRSJ_klFHSSEtzIbhgo3wyvik,9999
cpraa/linear_solver.py,sha256=K2Ba4voh6XDo6hK5f4f8vxkiO-Ik7svnTC_nTGPU7j0,13314
cpraa/main.py,sha256=SCQAx726R4R5lM30e8ABvlL_8y3VUN1avBSCcG8HVb0,24240
cpraa/semantics.py,sha256=4nPX5iSyjGLnENoi7ZB9OOnIykEr6y-cfFjEdgMuC0c,53013
cpraa/tasks.py,sha256=4xlT1PXZtLIM7j01fTcV70qyRrzE4dslaa_1T7RKDOI,11165
cpraa/timer.py,sha256=kDMDraQ3RBc_FYZEuJjSQDEevwADW3NlLe8GVXbdUlo,1263
cpraa/z3_instance.py,sha256=MgB6R_K83UZqB5WeqYd7kp0KHVrTfHxfTKWt0CwOc24,12572
cpraa-0.5.0.dist-info/WHEEL,sha256=SrtnPGVTMeYWttls9xnWA01eUhCZ3ufFdJUYb1J3r-U,83
cpraa-0.5.0.dist-info/METADATA,sha256=q35JEMbvZnKr5JCToNSei_SKjm4uQc_S3EA_Vi_pReo,773
cpraa-0.5.0.dist-info/RECORD,,
