%   ActiveGroup  GroupToCork    State
%   ------------------------------------
cork( navigator  , alwayson   , uncorked).
cork( navigator  , nonsilent  , uncorked).
cork( navigator  , cstone     , uncorked).
cork( navigator  , navigator  , uncorked).
cork( navigator  , call       , uncorked).
cork( navigator  , videoeditor, uncorked).
cork( navigator  , camera     , uncorked).
cork( navigator  , ringtone   , uncorked).
cork( navigator  , alarm      , uncorked).
cork( navigator  , game       , uncorked).
cork( navigator  , player     , uncorked).
cork( navigator  , flash      , uncorked).
cork( navigator  , event      , uncorked).
cork( navigator  , systemsound, uncorked).
cork( navigator  , feedbacksound, uncorked).
cork( navigator  , inputsound , uncorked).
cork( navigator  , othermedia , corked  ).
cork( navigator  , background , uncorked).
cork( navigator  , idle       , uncorked).

cork( call       , alwayson   , uncorked).
cork( call       , nonsilent  , uncorked).
cork( call       , cstone     , uncorked).
cork( call       , navigator  , uncorked).
cork( call       , call       , uncorked).
cork( call       , videoeditor, uncorked).
cork( call       , camera     , uncorked).
cork( call       , ringtone   , uncorked).
cork( call       , alarm      , uncorked).
cork( call       , game       , uncorked).
cork( call       , player     , uncorked).
cork( call       , flash      , uncorked).
cork( call       , event      , uncorked).
cork( call       , systemsound, uncorked).
cork( call       , feedbacksound, uncorked).
cork( call       , inputsound , uncorked).
cork( call       , othermedia , corked  ).
cork( call       , background , uncorked).
cork( call       , idle       , uncorked).

cork( videoeditor, alwayson   , uncorked).
cork( videoeditor, nonsilent  , uncorked).
cork( videoeditor, cstone     , uncorked).
cork( videoeditor, navigator  , uncorked).
cork( videoeditor, call       , uncorked).
cork( videoeditor, videoeditor, uncorked).
cork( videoeditor, camera     , uncorked).
cork( videoeditor, ringtone   , uncorked).
cork( videoeditor, alarm      , uncorked).
cork( videoeditor, game       , uncorked).
cork( videoeditor, player     , uncorked).
cork( videoeditor, flash      , uncorked).
cork( videoeditor, event      , uncorked).
cork( videoeditor, systemsound, uncorked).
cork( videoeditor, feedbacksound, uncorked).
cork( videoeditor, inputsound , uncorked).
cork( videoeditor, othermedia , corked  ).
cork( videoeditor, background , uncorked).
cork( videoeditor, idle       , uncorked).

cork( camera     , alwayson   , uncorked).
cork( camera     , nonsilent  , uncorked).
cork( camera     , cstone     , uncorked).
cork( camera     , navigator  , uncorked).
cork( camera     , call       , uncorked).
cork( camera     , videoeditor, uncorked).
cork( camera     , camera     , uncorked).
cork( camera     , ringtone   , uncorked).
cork( camera     , alarm      , uncorked).
cork( camera     , game       , uncorked).
cork( camera     , player     , uncorked).
cork( camera     , flash      , uncorked).
cork( camera     , event      , uncorked).
cork( camera     , systemsound, uncorked).
cork( camera     , feedbacksound, uncorked).
cork( camera     , inputsound , uncorked).
cork( camera     , othermedia , corked  ).
cork( camera     , background , uncorked).
cork( camera     , idle       , uncorked).

cork( ringtone   , alwayson   , uncorked).
cork( ringtone   , nonsilent  , uncorked).
cork( ringtone   , cstone     , uncorked).
cork( ringtone   , navigator  , uncorked).
cork( ringtone   , call       , uncorked).
cork( ringtone   , videoeditor, uncorked).
cork( ringtone   , camera     , uncorked).
cork( ringtone   , ringtone   , uncorked).
cork( ringtone   , alarm      , uncorked).
cork( ringtone   , game       , uncorked).
cork( ringtone   , player     , corked  ).
cork( ringtone   , flash      , uncorked).
cork( ringtone   , event      , uncorked).
cork( ringtone   , systemsound, uncorked).
cork( ringtone   , feedbacksound, uncorked).
cork( ringtone   , inputsound , uncorked).
cork( ringtone   , othermedia , corked  ).
cork( ringtone   , background , uncorked).
cork( ringtone   , idle       , uncorked).

cork( alarm      , alwayson   , uncorked).
cork( alarm      , nonsilent  , uncorked).
cork( alarm      , cstone     , uncorked).
cork( alarm      , navigator  , uncorked).
cork( alarm      , call       , uncorked).
cork( alarm      , videoeditor, uncorked).
cork( alarm      , camera     , uncorked).
cork( alarm      , ringtone   , uncorked).
cork( alarm      , alarm      , uncorked).
cork( alarm      , game       , uncorked).
cork( alarm      , player     , uncorked).
cork( alarm      , flash      , uncorked).
cork( alarm      , event      , uncorked).
cork( alarm      , systemsound, uncorked).
cork( alarm      , feedbacksound, uncorked).
cork( alarm      , inputsound , uncorked).
cork( alarm      , othermedia , corked  ).
cork( alarm      , background , uncorked).
cork( alarm      , idle       , uncorked).

cork( game       , alwayson   , uncorked).
cork( game       , nonsilent  , uncorked).
cork( game       , cstone     , uncorked).
cork( game       , navigator  , uncorked).
cork( game       , call       , uncorked).
cork( game       , videoeditor, uncorked).
cork( game       , camera     , uncorked).
cork( game       , ringtone   , uncorked).
cork( game       , alarm      , uncorked).
cork( game       , game       , uncorked).
cork( game       , player     , uncorked).
cork( game       , flash      , uncorked).
cork( game       , event      , uncorked).
cork( game       , systemsound, uncorked).
cork( game       , feedbacksound, uncorked).
cork( game       , inputsound , uncorked).
cork( game       , othermedia , corked  ).
cork( game       , background , uncorked).
cork( game       , idle       , uncorked).

cork( player     , alwayson   , uncorked).
cork( player     , nonsilent  , uncorked).
cork( player     , cstone     , uncorked).
cork( player     , navigator  , uncorked).
cork( player     , call       , uncorked).
cork( player     , videoeditor, uncorked).
cork( player     , camera     , uncorked).
cork( player     , ringtone   , uncorked).
cork( player     , alarm      , uncorked).
cork( player     , game       , uncorked).
cork( player     , player     , uncorked).
cork( player     , flash      , uncorked).
cork( player     , event      , uncorked).
cork( player     , systemsound, uncorked).
cork( player     , feedbacksound, uncorked).
cork( player     , inputsound , uncorked).
cork( player     , othermedia , corked  ).
cork( player     , background , uncorked).
cork( player     , idle       , uncorked).

cork( flash      , alwayson   , uncorked).
cork( flash      , nonsilent  , uncorked).
cork( flash      , cstone     , uncorked).
cork( flash      , navigator  , uncorked).
cork( flash      , call       , uncorked).
cork( flash      , videoeditor, uncorked).
cork( flash      , camera     , uncorked).
cork( flash      , ringtone   , uncorked).
cork( flash      , alarm      , uncorked).
cork( flash      , game       , uncorked).
cork( flash      , player     , uncorked).
cork( flash      , flash      , uncorked).
cork( flash      , event      , uncorked).
cork( flash      , systemsound, uncorked).
cork( flash      , feedbacksound, uncorked).
cork( flash      , inputsound , uncorked).
cork( flash      , othermedia , corked  ).
cork( flash      , background , uncorked).
cork( flash      , idle       , uncorked).

cork( othermedia , alwayson   , uncorked).
cork( othermedia , nonsilent  , uncorked).
cork( othermedia , cstone     , uncorked).
cork( othermedia , navigator  , uncorked).
cork( othermedia , call       , uncorked).
cork( othermedia , videoeditor, uncorked).
cork( othermedia , camera     , uncorked).
cork( othermedia , ringtone   , uncorked).
cork( othermedia , alarm      , uncorked).
cork( othermedia , game       , uncorked).
cork( othermedia , player     , uncorked).
cork( othermedia , flash      , uncorked).
cork( othermedia , event      , uncorked).
cork( othermedia , systemsound, uncorked).
cork( othermedia , feedbacksound, uncorked).
cork( othermedia , inputsound , uncorked).
cork( othermedia , othermedia , corked  ).
cork( othermedia , background , uncorked).
cork( othermedia , idle       , uncorked).

cork( event      , alwayson   , uncorked).
cork( event      , nonsilent  , uncorked).
cork( event      , cstone     , uncorked).
cork( event      , navigator  , uncorked).
cork( event      , call       , uncorked).
cork( event      , videoeditor, uncorked).
cork( event      , camera     , uncorked).
cork( event      , ringtone   , uncorked).
cork( event      , alarm      , uncorked).
cork( event      , game       , uncorked).
cork( event      , player     , uncorked).
cork( event      , flash      , uncorked).
cork( event      , event      , uncorked).
cork( event      , systemsound, uncorked).
cork( event      , feedbacksound, uncorked).
cork( event      , inputsound , uncorked).
cork( event      , othermedia , corked  ).
cork( event      , background , uncorked).
cork( event      , idle       , uncorked).

cork( background , alwayson   , uncorked).
cork( background , nonsilent  , uncorked).
cork( background , cstone     , uncorked).
cork( background , navigator  , uncorked).
cork( background , call       , uncorked).
cork( background , videoeditor, uncorked).
cork( background , camera     , uncorked).
cork( background , ringtone   , uncorked).
cork( background , alarm      , uncorked).
cork( background , game       , uncorked).
cork( background , player     , uncorked).
cork( background , flash      , uncorked).
cork( background , event      , uncorked).
cork( background , systemsound, uncorked).
cork( background , feedbacksound, uncorked).
cork( background , inputsound , uncorked).
cork( background , othermedia , corked  ).
cork( background , background , uncorked).
cork( background , idle       , uncorked).

cork( idle       , alwayson   , uncorked).
cork( idle       , nonsilent  , uncorked).
cork( idle       , cstone     , uncorked).
cork( idle       , navigator  , uncorked).
cork( idle       , call       , uncorked).
cork( idle       , videoeditor, uncorked).
cork( idle       , camera     , uncorked).
cork( idle       , ringtone   , uncorked).
cork( idle       , alarm      , uncorked).
cork( idle       , game       , uncorked).
cork( idle       , player     , uncorked).
cork( idle       , flash      , uncorked).
cork( idle       , event      , uncorked).
cork( idle       , systemsound, uncorked).
cork( idle       , feedbacksound, uncorked).
cork( idle       , inputsound , uncorked).
cork( idle       , othermedia , corked  ).
cork( idle       , background , uncorked).
cork( idle       , idle       , uncorked).
