idZddlZddlmZddlmcmZddlmZddl m Z m Z ddl Z ddl ZddlmZmZmZmZddlmZddlZdZdZdZd Zd Zd Zd Zd Zd ZdezZ eGddZ!e!Z"GddZ#Gdde Z$GddejJZ&GddejJZ'GddejJZ(GddejJZ)GddejJZ*Gdd ejJZ+Gd!d"Z, d0d#ejJd$e d%e d&e-d'e.d(e/d)e/d*e/fd+Z0d1d,Z1d1d-Z2d.Z3e4d/k(r e3\Z5Z6Z7yy)2a ============================================================= MMA-CCT: Multi-Messenger Astronomy - Conditional Collapse Theory Neutrino Detection System based on CCT-ODE Framework Architecture: Transformer with Cross-Channel Sensitivity Tracking Training: Particle Statistics (Fermi-Dirac) + Sensitivity Amplification Detection: Rare Event Hypersensitivity + Entropic Collapse Author: CCT-ODE Framework Version: 1.0 ============================================================= N)Dataset DataLoader)DictListTupleOptional) dataclassgJxޱAgmjݤ?g?ceZdZUdZeZeed<eZ eed<e Z eed<dZ eed<dZ eed<ejd ej zd z Zeed <d Zeed <dZeed<y)PhysicsConstantsz*Container for physics simulation constantsc mev_to_ev gev_to_evgq= ףp? ice_densitygHzG?refractive_index)cherenkov_angler absorption_lengthg9@scattering_lengthN)__name__ __module__ __qualname____doc__C_LIGHTrfloat__annotations__ MEV_TO_EVr GEV_TO_EVrrrmathcospirrrex01.pyrr.sp4Au Iu  Iu K"e"%TXXb477lS&89OU9$u$#u#r&rc eZdZdZdZdZdZdZdZddZ dde de e d e e d e ejd eeejff d Zde e d e e d e ejd eeejffd Zd eeejffdZd e de de d e fdZde d e d ejde d ejf dZdejd e d ejde de d ejf dZy)NeutrinoSimulatoraF Realistic neutrino detection simulator based on IceCube-like detector. Simulates: - Cherenkov light emission from charged particles - Photon propagation and arrival times - Background noise (cosmic rays, atmospheric muons) - Flavor oscillation effects - Energy-dependent event signatures rc(||_t|_yN)devicePHYSICSphysics)selfr.s r'__init__zNeutrinoSimulator.__init__Vs  r&N is_signalflavorenergy directionreturncT|r|j|||}|S|j}|S)ai Simulate a single neutrino or background event. Returns: Dictionary with: - 'hits': [num_hits, 4] tensor (x, y, z, t) - 'features': [num_features] tensor (energy, direction, time, etc.) - 'label': int (0=background, 1=signal) - 'metadata': dict with event properties )_simulate_neutrino_simulate_background)r1r3r4r5r6events r'simulate_eventz NeutrinoSimulator.simulate_eventZs7 ++FFIFE --/E r&c |%tjdddj}|7tjdj}d|dzz}t |d}|tjdjt j z}tjdjdzt j z}tjt j|t j|zt j|t j|zt j|g}tjdddj}|j|||}|j||||}|j|||||} || tjd|||||dd S) z$Simulate a real neutrino interactionrr*r* r r+)r4r5r6interaction_typenum_hitshitsfeatureslabelmetadata) torchrandintitemrandminr"r$tensorsinr#_calculate_hits_generate_cherenkov_hits_extract_features) r1r4r5r6thetaphirArBrDrEs r'r9z$NeutrinoSimulator._simulate_neutrinoqs >]]1a.335F >ZZ]'')FFQJ'F'F  JJqM&&(4772E**Q-$$&*TWW4C $((3-/$((3-/&I!==At499;''8HI,,Xvy&Q))$ 6K[\ \\!_  &$4$   r&ctjdddj}tj|dz dz}tj|dz dz}tj|dz dz}tj|dz}tj||||gd}tjdjdz}tjdjt j z}tjdjdzt j z} tjt j|t j| zt j|t j| zt j|g} tjd } || d <| | dd |d z | d <|| tjd d |dddS)z(Simulate background event (muons, noise)2r??r*dimr+ rr background)r4r5typerC) rHrIrJrKstackr"r$rMrNr#zeros) r1rBxyztrDr5rRrSr6rEs r'r:z&NeutrinoSimulator._simulate_backgrounds ==B-224ZZ !C '4 / ZZ !C '4 / ZZ !C '4 / JJx 4 '{{Aq!Q{Gz?r*)rLnprandompoissonmax) r1r5r4rAE_leptondNdx track_length num_photons efficiencydetecteds r'rOz!NeutrinoSimulator._calculate_hitss~ %5$94&=s c>Dx!|T2L/D0<?$FKK 99$$[:%=>8Qr&rBcg}||jk(rt|dzd}d|dzz}n>||jk(rt|dzd}d|dzz}nt|dzd }d |dzz}t|D]}t j d j |z} t j d j dztjz} |d t j d j zz} || z} t j|d |d  dg} | t j| dzz } tjj|| }| | | tj| z|tj| zzzz}t j|}|tj z tj"dzz }|t j d j dzz }|j%|d |d |d|gt j|tj&}|j(d d kDr|ddddfdz |ddddf<|S)z&Generate realistic Cherenkov ring hitsr@rXrVrUr+r>i,(r*rWrrgrhg& .>dtypeNg@@) FLAVOR_MUONrLFLAVOR_ELECTRONrangerHrKrJr"r$rMnormlinalgcrossr#rNr/rrappendfloat32shape)r1rBr5r6r4rDrp ring_radiusit_trackrSr_offsetbase_posperp_xperp_yposdisttime hits_tensors r'rPz*NeutrinoSimulator._generate_cherenkov_hitssA  T%% %v{D1Lvz/K t++ +vz3/Lvz/Kvz3/Lvz/Kx 8Ajjm((*\9G**Q-$$&*TWW4C"cEJJqM,>,>,@&@AH!7*H\\9Q<)A,"DEFuzz&1D89F\\'' 6:FX$((3-)?&488TW=BX)XYYC::c?D'111WYY5EFD EJJqM&&(2- -D KKQQQ6 7+ 8.ll4u}}=    Q ! #!,QU!3e!;K2A2 r&rDctjd}tj|dzdz |d<||dd|jddz |d<|jddkDr|d d d dfj d }||d d |d d dfj }|dz |d <|d d d df|z } | j| zt| jddz } tjj| } | d | jdzz } | |d<|dz |d<|dz |d<|Stjd|d d tjd|d d|S)z)Extract physics features from hit patternr[rhg@rr*r\r r>NrYrUr] r@r ) rHrar"log10rmeanstdTrmr~eigvalshsum) r1rDr5r6r4rArEcentroid time_spreadcenteredcov eigenvalues track_scores r'rQz#NeutrinoSimulator._extract_featuressp ;;r?jj$/#5 !1 jjme+ ::a=1 ArrE{''A'.H$HQqMq!t*..*K%-HQKArrE{X-H**x'#hnnQ.?*CCC,,//4K%b/[__->-EFK%HQK"E>HRL+c1HRL "KKNHQqM"[[^HQrNr&)cpu)FNNN)rrrrr{rz FLAVOR_TAUINTERACTION_CCINTERACTION_NCr2boolrintrrHTensorrstrr<r9r:rOrPrQr%r&r'r)r)As| OKJNN05/315;?'}'#+5<<"8EIellIZD[.. #. #+E?. &.u||&<. AEc5<$,/$49LL$r&r)c*eZdZdZddZdZdZdZy)NeutrinoDatasetz'Dataset for neutrino detection trainingc|||_||_||_t||_g|_|j yr-) num_samples signal_ratior.r) simulatordata_generate_data)r1rrr.s r'r2zNeutrinoDataset.__init__Es:&( *62  r&ct|j|jz}|j|z }t|D]9}|jj d}|j j|;t|D]}tjdddj}dtjdjdzz}t|d}tjdjtjz}tjdjd ztjz}tjtj |tj"|ztj |tj |ztj"|g} |jj d ||| }|j j|tj$t'|j j)} | D cgc]} |j | c} |_y cc} w) z2Generate dataset with realistic event distributionF)r3rr>r?r@r*r r+T)r3r4r5r6N)rrrr|rr<rrrHrIrJrKrLr"r$rMrNr#randpermlentolist) r1 num_signalsnum_background_r;r4r5rRrSr6indicesrs r'rzNeutrinoDataset._generate_dataOs$**T->->>? ))K7~& $ANN11E1BE II  U # $ {# $A]]1a.335FEJJqM..0145F'FJJqM&&(4772E**Q-$$&*TWW4C $((3-/$((3-/&I NN11# 2E II  U #) $...TYY0779+23aTYYq\3 3sI c|jSr-)rr1s r'__len__zNeutrinoDataset.__len__usr&c|j|}d}|d}|jd|kr@tj||jdz d}tj||gd}n|d|}||d|ddS) NrurDrr\rYrErF)rDrErF)rrrHracat)r1idxr;max_hitsrDpaddings r' __getitem__zNeutrinoDataset.__getitem__xs #V} ::a=8 #kk(TZZ]":A>G99dG_!4D ?Dj)7^  r&N)'r r)rrrrr2rrrr%r&r'rrBs1$4L  r&rc4eZdZdZddedeffd ZdZxZS)PositionalEncodingz#Positional encoding for transformerd_modelmax_lenc&t|tj||}tjd|tj j d}tjtjd|dj tjd |z z}tj||z|dddddf<tj||z|dddddf<|jd|j dy)Nrrxr*r+g@pe) superr2rHraaranger unsqueezeexpr"logrNr#register_buffer)r1rrrpositiondiv_term __class__s r'r2zPositionalEncoding.__init__s  [[' *<<7%++>HHK99U\\!Wa8>>@TXXgEVDVY`D`abii8 341add7 ii8 341add7  T2<<?3r&cP||jddd|jdfzS)Nr*)rsizer1rbs r'forwardzPositionalEncoding.forwards&4771jqvvayj=)))r&)i)rrrrrr2r __classcell__rs@r'rrs-44c4*r&rc:eZdZdZddededeffd ZddZxZS) MultiHeadAttentionzg Multi-head attention with sensitivity tracking. Implements the CCT-ODE collapse operator. rn_headsdropoutct|||zdk(sJ||_||_||z|_t j |||_t j |||_t j |||_ t j |||_ t j||_ t j||_g|_g|_y)Nr)rr2rrd_knnLinearW_qW_kW_vW_oDropoutr LayerNorm layer_normsensitivity_historycollapse_history)r1rrrrs r'r2zMultiHeadAttention.__init__s  A%%%  g%99Wg.99Wg.99Wg.99Wg.zz'* ,,w/$& "r&c&|jd}|jd}|j|}|j|} |j|} |j |||j |j jdd}| j |d|j |j jdd} | j |d|j |j jdd} tj|| jddtj|j z } || j|dk(d} tj| d} |j| } |r:| j!} |j"j%| j'nd} tj| | }|jddj)j |||j*}|j-|}|rj| htj.| tj0| d zzdj3 }|j4j%|j7|| fS) z Forward pass with optional sensitivity tracking. Returns: - output: [batch, seq, d_model] - sensitivity: [batch, n_heads, seq, seq] (optional) rr*r+r]NgerY绽|=)rrrrviewrr transposerHmatmulr"sqrt masked_fillFsoftmaxrclonerrdetach contiguousrrrrrrrJ)r1querykeyvaluemaskreturn_sensitivity batch_sizeseq_lenQKVscoresattention_weights sensitivitycontextoutputentropy_befores r'rzMultiHeadAttention.forwards!ZZ] **Q- HHUO HHSM HHUO FF:w dhh ? I I!Q O FF:r4<< : D DQ J FF:r4<< : D DQ JaR!45 $((8KK  '' 48FIIf"5 LL):; +113K  $ $ + +K,>,>,@ AK,,0!4##Aq)446;;JQUQ]Q]^'" "3"?#ii(9EIIFWZ_F_<`(`fhinnppN  ! ! ( ()<)<)> ?{""r&r NF rrrrrrr2rrrs@r'rrs' ##c#E#(3#r&rc8eZdZdZddededeffd ZdZxZS)CCTODEFeedForwardz&Feed-forward network with ODE dynamicsrd_ffrct|tj|||_tj|||_tj ||_tj|_ yr-) rr2rrlinear1linear2rrGELU activation)r1rrrrs r'r2zCCTODEFeedForward.__init__sO yy$/ yyw/ zz'* '')r&c ~|j|j|j|j|Sr-)r rr r rs r'rzCCTODEFeedForward.forwards+||DLLa)IJKKr&ir rrs@r'rrs&0$$3$$Lr&rc >eZdZdZddedededeffd Zd dZxZS) CCTODELayerzf Single CCT-ODE layer combining attention and FFN. Tracks sensitivity matrices per layer. rrrrcRt|t||||_t ||||_t j||_t j||_ t j||_ t j||_ ddddd|_ y)N)r5rr6r4)rr2r attentionr feedforwardrrnorm1norm2rdropout1dropout2layer_sensitivity)r1rrrrrs r'r2zCCTODELayer.__init__s +GWgF,WdGD\\'* \\'*  7+  7+  " r&c\|j|j||j||j|||\}}||j|z}|r||jd<|j |j |}||j |z}||jfS)aJ Forward pass with optional sensitivity tracking. Args: x: [batch, seq, d_model] track_sensitivity: Whether to store sensitivity matrices Returns: - output: [batch, seq, d_model] - sensitivity_dict: dict of sensitivity matrices )rr)rrrrrrr)r1rbrtrack_sensitivityattn_outrff_outs r'rzCCTODELayer.forwards!% JJqM4::a=$**Q- %6!/! +  h' ' 2=D " "; /!!$**Q-0  f% %$((((r&rrrrs@r'rrs.   c  e ()r&rcpeZdZdZ ddededededededed effd Zdd Zd Zd Z dZ xZ S)NeutrinoTransformera* CCT-ODE Transformer for Neutrino Detection. Implements: - Hit-based processing (Transformer on hit coordinates) - Feature-based processing (MLP on physics features) - Sensitivity matrix tracking - Entropic collapse detection - Hypersensitivity for rare events rrn_layersrr n_features n_classesrc t |||_||_||_||_||_tjtjd|dztj|dztjtj|dz|tj|tj|_ t|||_tjt!|D cgc]} t#||||c} |_tjtj||tj|tjtj||tj|tj|_tj(|||d|_tj||_ggggd|_tjtj|dz|tj|tjtj0|tj||dztj|dztjtj0|tj|dz| |_tjtj||dztj|dztjtj|dzdtj4|_ycc} w)Nr\r+T) batch_first hit_attentionfeature_attentioncross_attentionlayer_entropiesr*)rr2rrr rr"r Sequentialrrr  hit_embeddingrhit_positional_encoding ModuleListr|rhit_transformer_layersfeature_encoderMultiheadAttentionfusion fusion_normsensitivity_matricesr classifierSigmoidrare_event_detector) r1rrr rrr!r"rrrs r'r2zNeutrinoTransformer.__init__Fsm       " ]] IIaA & LLA & GGI IIglG , LL ! GGI  (:'8'L$&(mm8_5  $ 85 ' # "}} IIj' * LL ! GGI IIgw ' LL ! GGI  ++ Wg4  <<0 !#!! % !-- IIgk7 + LL ! GGI JJw  IIgw!| , LLA & GGI JJw  IIglI .   $&== IIgw!| , LLA & GGI IIglA & JJL $  w5 s:Mc,|jd}|jjddkDj}|j |}|j |}|}t |jD]u\}} | ||jdjd|\}} |s5| jdG|jd j| djw|j||} |j|} |j| jd|||dk( \} }| j!d} |j#| | z} |r,|jd j|jt%j&| | gd}|j)|}|j+| }|r.|j-}|jd j||| | | ||r|jdSd dS)a Forward pass of the neutrino transformer. Args: hits: [batch, max_hits, 4] - Hit coordinates features: [batch, n_features] - Physics features track_sensitivity: Whether to compute sensitivity matrices Returns: - logits: [batch, n_classes] - sensitivity_dict: dict of sensitivity matrices - rare_event_prob: [batch, 1] rr]rYrhr*r+)rrrNr&)rrrkey_padding_maskr(r))logitshit_representationfeature_representationfused_representationrare_event_probr3)rabsrrr+r, enumerater.rgetr3rr_attention_poolr/r1squeezer2rHrr4r6_compute_entropy)r1rDrErrhit_mask hits_embeddedr: layer_idxlayerr hit_pooledr;fused cross_attnjoint_representationr9r= total_entropys r'rzNeutrinoTransformer.forwards6ZZ] HHJNNrN*T188:**40 44]C + )$*E*E F  Iu49"''*44Q7"35 1  1 !%6%:%:;%G%S))/:AA%k299; ))* $&   +#==>RS 77@ *_t'>'>AQ'QQTX[eTee  WWY * 1;EFVX]XdXd;e 0 5 5 7k{$.OO$5__&  9$$r&c |jdsyd}d}|dD]e}tj|d}tj|tj |dzzd }|j }||z }|dz }g|dkDr| |z Sy)z)Encourage high sensitivity to rare eventsr&rgrr]rYrr*)r@rrrHrrr)r1r3total_concentrationcountrrSrT concentrations r'rhz$CCTODELoss._compute_sensitivity_lossys$''8"/@ K99[b1Dyy $,(?!?RHHG%\\^OM = 0  QJE  19''%/ /r&c|d}tj|d}tj|\}}|dd|ddz }tj|dd|ddz j }|S)z Fermi-Dirac inspired regularization. Encourages weight distribution to follow quantum statistics. r<r]rYr*N)rHr}sortrrelur)r1rk fused_repr5 energy_sortedr energy_diffrps r'riz(CCTODELoss._compute_fermi_regularizations 23 I2.!::f- q#AB'-*<< VVK,{12>?DDF r&)@r r r-) rrrrr2rrhrirrs@r'r[r[=s-(%T4r&r[ceZdZdZddZdZy)AdaptiveSensitivityCallbackz Callback for adaptive sensitivity adjustment during training. Monitors entropy evolution and adjusts training parameters accordingly. c<||_||_g|_d|_y)Nnormal)modelsensitivity_targetentropy_historyphase)r1rrs r'r2z$AdaptiveSensitivityCallback.__init__s  "4! r&c|r;d|vr7|djdg}|r |d}|jj|t|jdkDrjt j |jdd}||j dzkDr d|_d d d S||j d zkr d |_d d d Sd|_ddd Sddd S)z Called after each training batchr3r)r]r@iNr+ sensitiveg@g?)sensitivity_scalelearning_rate_factorrWperiodicrr )r@rrrrjrrr)r1 batch_idxrrrk entropiescurrent_entropy recent_avgs r' on_batch_endz(AdaptiveSensitivityCallback.on_batch_ends -8 67;;?I E,,.2LQI""44Yf4MI7u= G%LMvWH    ), 7 / Iu=##F+DZ(++F3H7^&&v.F    !D(dCG(AW9XYOD) MMO HHNN * *5+;+;+= * L NN *66y)WUF    ,H%,,,3E evo22499; ;M 6;;q> )K  , , .? /B WW\* !K/      ]]_ ,# ,V}''/ ,//7w**62h%H#GVT:a!!$))+.)00Q07446;;== V[[^+  , ,77:& )  $$Z0 ""8, ##I. !!'* %%&:&@&@A uQwiq)* z#.nYsOLM XcN,wsmDE %&:&@&@%ABC y,,.q1#678  m #$M JJu'')+G H 6xnAF GoWHr NM , ,s !CQ88R c  |j|j|}g}g}g}g}g}tj5|D]7}|dj|} |dj|} |dj|} || | d} | dj d} | d j }|j | jj|j | jj|j |jj|j | j|j | j: d d d tj|}tj|}tj|}||k(j}|dk(|dk(zj}|d k(|d k(zj}|dk(|d k(zj}|d k(|dk(zj}|||zd zz }|||zd zz }d |z|z||zd zz } d dl m}m}|||}|||\}}}t#dt#dt#dt#dt#d|dt#d|dt#d|dt#d|dt#d|dt#dt#d|d|t#d|d|t#dt#d |jt#d!d|z jt#d"|t#d#|t#d$d%D]}|d&k(r*tj|Dcgc] }|d d'k c}}nb|d(k(r4tj|Dcgc]}|d d'k\xr|d dkc}}n)tj|Dcgc] }|d dk\ c}}|jd kDs||||k(j} t#d)|j%d*| dd+|jd,t#d|||||||||d-|||||d. S#1swY,xYw#t $r d}d\}}}YGwxYwcc}wcc}wcc}w)/z Comprehensive evaluation of neutrino detector. Computes: - Accuracy, Precision, Recall, F1 - ROC-AUC (important for rare event detection) - Confusion matrix - Sensitivity analysis per event type rDrErFFrr9r*rYr=Nrrhr+) roc_auc_score roc_curverW)NNN<============================================================z$NEUTRINO DETECTOR EVALUATION RESULTSz Overall Metrics:z Accuracy: rz Precision: z Recall: z F1 Score: z ROC-AUC (Rare Event): z Confusion Matrix:z True Positives: z | False Negatives: z False Positives: z | True Negatives: z Rare Event Detection:z Signal events: z Background events: z Detected signals: z Missed signals: z Per-Energy Analysis:)lowmediumhighrgr z energy: Accuracy = z (n=r)tptnfpfn) accuracy precisionrecallf1aucconfusion_matrix predictionsr rare_probsfprtpr)rrrHrrrBextendrrrjarrayrrsklearn.metricsrr ImportErrorr capitalize)!r test_loaderr. all_preds all_labelsall_rare_probsall_hits all_featuresrrDrErrkrrrrrrrrrrrrrrr thresholds energy_binfrbin_accs! r'evaluate_neutrino_detectorrfs JJL HHV EIJNHL 0  0E=##F+DZ(++F3H7^&&v.FD(eDGH%,,,3E !23;;=J   UYY[//1 2   fjjl113 4  ! !*.."2"9"9"; < OODHHJ '     / 00$#I*%JXXn-NZ'--/H >jAo . 3 3 5B >jAo . 3 3 5B >jAo . 3 3 5B >jAo . 3 3 5Bb2gn%I 27T> "F Y 9v#5#< =B0<J7(^DS*  (O 01 (O   L# '( M)C )* Jvcl #$ LC !" $SI ./ ! rd"6rd ;< t#6rd ;< #% jnn./ 01 !1z>"6"6"8!9 :;  %& rd #$ "$/ d  88,?QQqTD[?@D 8 #88,OQQqTT\8adSj8OPD88,?QQqTS[?@D 88:> *T*::@@BG Bz,,.//CGC=PTUYU]U]U_T``ab c d (O#%RrD $  a00P 0/S*08@O?s1D>R)%R61S S S )R36S  S c J|j|j|}g}tj5|D]r}|dj|}|dj|}|dj|}|||d}|dr|j |d|j t dddt dt d t dt d t d |r|D cgc] } d | vs| d } } | rwt d t dt| t dtj| D cgc]'} | D] } | jj")c} } dt dy#1swYxYwcc} wcc} } w)z Analyze the sensitivity matrices learned by the model. This reveals which aspects of the neutrino detection the model is most sensitive to, validating the CCT-ODE framework. rDrErFTrr3NrzSENSITIVITY MATRIX ANALYSISz( Analyzing layer-by-layer sensitivity...ztd?t| |||d|d!|d|d|d@} td?tdA| jtjdBtdCtdDt| ||d!E} tdFt| ||d!EtdGtdHtd$tdIt!| dJdKtdL| dMdKtdN| dOdKtdP| | | fS)QzD Main function to train and evaluate the neutrino detector. rrWrrr rXrrYrrur!r[r"r+rr train_samplesiP val_samplesr test_samplesrrrvr@r-C6?rrir]r}r.cudarrz@MMA-CCT: Multi-Messenger Astronomy - Conditional Collapse TheoryzNeutrino Detection Systemz Configuration:rz: z Device: z [1/6] Generating datasets...)rrr.Tr)rshuffle num_workersFz Train: z samplesz Val: z Test: z Signal ratio: dz.1f%z [2/6] Creating model...)rrr rrr!r"rc3VK|]!}|js|j#ywr-) requires_gradnumel).0ps r' zmain..ZsN1aooQWWYNs))z Model parameters: ,z [3/6] Training model...z<------------------------------------------------------------)rrrrr.rrr]z [4/6] Loading best model...rz Best model loaded.z [5/6] Evaluating model...)r.z( [6/6] Analyzing sensitivity matrices...z= ============================================================zTRAINING COMPLETEzBest validation loss: rrzFinal test accuracy: rzFinal test AUC: rz+ Model saved to: best_neutrino_cct_model.pt)rHr is_availableritemsrrrrrrrload_state_dictloadrrrL) CONFIGrr train_dataset val_dataset test_datasetrrrr num_paramsrresultss r'mainr s5 31 A   C  b  Q 3  u   " b!" d#$ %& S'* EJJ335&5+F0 (O LM %& (O lln# U 3%r%!"# Jvh'( )* *+#?+N+hM "=)N+hK #>*N+hL m|8LVZhijLKF<4HRWefgJ\f\6JTYghiK Ic-() 23 GC $%X ./ HS&'x 01 VN3C7? %& y!y! # F^ #,'%y! EN(8(8(:NNJ A /0 %& (O !hh $<N+ !45 G (O )* %**%ABC ! '(( F8DTUG 56  F8r&s  0 ..!    %W}   $ $  $   ~~BG gG \ * * M#M#` L L5)"))5)x| "))| Fii`'G'G\"H 99HHH  H  H  HHH^od*bx#v z"fE7Gr&